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