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 ----"