Flags.Testgen
val active : unit -> bool
Activates test generation.
val graph_only : unit -> bool
Only generate graph of reachable modes, do not log testcases.
val len : unit -> int
Length of the test case generated.