+ Random.self_init ();
+ (* num = number of tests to run *)
+ let num = 100 in
+ (* if flag --with-pac active, then more general tests *)
+ let with_pac = List.mem "--with-pac" (Array.to_list Sys.argv) in
+
+ let label, f = if with_pac
+ then (
+ let complex = 10 in
+ let vars = ["x"; "y"; "z"; "v" ; "w"; "a"; "b"; "c"] in
+ "with pacmans & bombs", fun () -> gen_pac complex vars
+ ) else (
+ let complex = 200 in
+ let vars = ["x"; "y"; "z"; "v" ; "w"; "a"; "b"; "c"] in
+ "", fun () -> gen complex vars
+ ) in