Module `Tjr_lib_core.Exhaustive_testing`

Exhaustive state-space exploration for testing

module Internal_types : sig ... end

module Internal : functor (T : sig ... end) -> sig ... end

module Internal2 : sig ... end

val test : cmp:('t -> 't -> int) -> step:('t -> 'op -> 't list) -> check_state:('t -> unit) -> check_step:('t -> 'op -> 't -> unit) -> ops:'op list -> init_states:'t list -> unit