Module TestgenIO

type _ t

Stores IO things to log testcases to xml.

val mk : 'a InputSystem.t -> TransSys.t -> string -> string -> string -> 'a t
val rm : 'a t -> unit

Closes internal file descriptors.

val testcase_count : 'a t -> int

The number of testcases generated.

val error_count : 'a t -> int

The number of errors generated.

val log_testcase : 'a t -> Scope.t list list -> Model.t -> Numeral.t -> unit

log_testcase t modes model k logs a test case of length k represented by model model and activating modes modes using the info in t.

val log_deadlock : 'a t -> Scope.t list list -> Model.t -> Numeral.t -> unit

log_deadlock t modes model k logs a deadlock trace of length k represented by model model and activating modes modes using the info in t.