Module TestgenDF

module TestgenDF: sig .. end
Prefix for logging testgen related things.

val log_prefix : string
Prefix for logging testgen related things.
val main : Analysis.param -> 'a InputSystem.t -> TransSys.t -> string -> string list
Entry point.
val log_test_glue_file : string ->
string ->
string * (Lib.position * int) list * (string * Lib.position * int) list ->
string -> string list -> unit
Logs the top level XML glue file.
val on_exit : 'a -> unit
Clean exit.