Module 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.