let main =
Random.self_init ();
let num = 100 in
- let complex = 200 in
- let no_bound_vars = 20 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 ----"