Up
–
goblint
»
Goblint_timing
»
Make
» Name
Parameter
Make.Name
val
name : string
Name of timing hierarchy. Used in
S.print
and TEF track.