sig
type data
val prefix : string
val name : string
val out_dir : string
val no_stuttering : bool
val abstract_subsystems : bool
val mk_context :
TestgenLib.sys ->
(TestgenLib.actlit -> unit) ->
(?eq:bool -> (TestgenLib.actlit * TestgenLib.term) list -> unit) ->
(TestgenLib.actlit list ->
TestgenLib.term list -> TestgenLib.values option) ->
(string -> unit) -> TestgenStrategies.Sig.data TestgenStrategies.context
val work :
TestgenStrategies.Sig.data TestgenStrategies.context ->
TestgenLib.k -> bool
val testcase_gen :
string ->
(string -> string -> string -> string list -> unit) ->
TestgenStrategies.Sig.data TestgenStrategies.context ->
(TestgenLib.actlit list -> TestgenLib.model option) -> unit
end