Unverified Commit 40ea0cfa authored by Merlin's avatar Merlin 💧
Browse files

More auto tests by default as 100 is too few to catch rare bugs

parent 2c8322c1
...@@ -89,7 +89,7 @@ let make_sorted (list:(F.formula list)) = ...@@ -89,7 +89,7 @@ let make_sorted (list:(F.formula list)) =
List.map (fun (f:F.formula) -> (0, f)) list List.map (fun (f:F.formula) -> (0, f)) list
(* Needs the formula as a sortedTable, sort set to 0 as by default. To be checked what's up with that. *) (* Needs the formula as a sortedTable, sort set to 0 as by default. To be checked what's up with that. *)
let onestepFunc_equals_tableau ?(num_runs = 100) name sized_formula_gen logic = let onestepFunc_equals_tableau ?(num_runs = 1000) name sized_formula_gen logic =
"onestep func = tableau" >: to_ounit2_test ~rand: (Random.State.make_self_init ()) (Test.make ~count:num_runs ~name:name ~max_fail:1 "onestep func = tableau" >: to_ounit2_test ~rand: (Random.State.make_self_init ()) (Test.make ~count:num_runs ~name:name ~max_fail:1
( make ~print:F.string_of_formula ~shrink:QCheck.Shrink.nil (sized_formula_gen 2)) (fun (formula) -> ( make ~print:F.string_of_formula ~shrink:QCheck.Shrink.nil (sized_formula_gen 2)) (fun (formula) ->
(onestepFunc_equals_tableau_predicate logic (0, formula)) )) (onestepFunc_equals_tableau_predicate logic (0, formula)) ))
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment