- let num = 100 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 num = 1000 in
+ (*let complex = 100 in
+ let no_bound_vars = 10 in*)
+ let file = Filename.temp_file ~temp_dir:"./problems/" "simple.constants.auto." "" in
+ let oc = open_out file in
+ print_endline ("\n\n---- <TESTS> " ^ file) ;
+ repeat (fun x ->
+ let complex = 100 + x / 10 in
+ let no_bound_vars = Random.int 20 + 1 in
+ let vars = Array.to_list
+ (Array.init no_bound_vars (fun x -> "x" ^ string_of_int x)) in