TestgenDF
val log_prefix : string
Prefix for logging testgen related things.
val main : Analysis.param -> _ InputSystem.t -> TransSys.t -> string -> unit
Entry point.
val on_exit : 'a -> unit
Clean exit.