let rec repeat f n =
- prerr_endline "\n########################### NEW TEST ###########################";
+ print_endline "\n########################### NEW TEST ###########################";
f () ;
if n > 0 then repeat f (n-1)
;;
let main =
Random.self_init ();
let num = 100 in
- let complex = 200 in
- let vars = ["x"; "y"; "z"; "v" ; "w"; "a"; "b"; "c"] in
+ let complex = 100 in
+ let no_bound_vars = 10 in
+ let vars = Array.to_list
+ (Array.init no_bound_vars (fun x -> "x" ^ string_of_int x)) in
repeat (fun _ ->
let div, convs = gen complex vars in
- Simple.run div convs
+ let str = "$ random simple test \nD " ^ div ^ String.concat "\nC " convs ^ "\n" in
+ print_endline str;
+ let open Simple in
+ (solve ++ problem_of ++ Parser.problem_of_string) str
) num ;
- prerr_endline "\n---- ALL TESTS COMPLETED ----"
+ print_endline "\n---- ALL TESTS COMPLETED ----"
;;