Module Flags.Testgen

module Testgen: sig .. end

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.