Module Tjr_exhaustive_testing

Exhaustive state-space exploration for testing

val dest_Some : 'a option -> 'a
type ('op, 't) test_ops = {
step : 't -> 'op -> 't list;
check_state : 't -> unit;
check_step : 't -> 'op -> 't -> unit;
}
type 'set test_state = {
todo : 'set;
done_ : 'set;
}
val test : set_ops:('a, 'b) Tjr_set.set_ops -> test_ops:('c, 'a) test_ops -> ops:'c list -> init_states:'a list -> unit
val test_till_no_successor_states : test_ops:('a, 'b) test_ops -> ops:'a list -> init_states:'b list -> unit