Up – Package index » goblint » Library goblint.timing » Goblint_timing » Make » Name

Parameter `Make.Name`

goblint
- CHANGELOG
- README
- Library goblint.lib
  - Goblint_lib
- Library goblint.sites
  - Goblint_sites
- Library goblint.timing
  - Goblint_timing
    - Name
    - S
    - Make
- Library goblint_sites_dune
  - Goblint_sites
- Library goblint_sites_js
  - Goblint_sites
- Sources

val name : string

Name of timing hierarchy. Used in S.print and TEF track.