-let assert_separable x =
- match solve x with
- | `Separable _ -> ()
- | `Unseparable s ->
- failwith ("assert_separable: unseparable because: " ^ s ^ ".")
-;;
-
-let assert_unseparable x =
- match solve x with
- | `Unseparable _ -> ()
- | `Separable _ ->
- failwith ("assert_unseparable: separable.")
-;;
-
-let assert_depends x =
- let c = String.sub (Lambda4.label_of_problem x) 0 1 in
- if c = "!" then assert_separable x
- else if c = "?" then assert_unseparable x
- else (solve x; ())
-;;
-
-(* TODO *)
-(* div under a lambda in conv *)
-
-if Array.length Sys.argv = 1
- then failwith "no command line args. Please use e.g. ./a.out problems/*"
-else Array.iteri (fun i filename -> if i > 0 then
- List.iter (assert_depends ++ problem_of) (Parser.from_file filename)
- ) Sys.argv
+let main f =
+ print_endline Sys.executable_name;
+ try ignore (Str.search_forward (Str.regexp_string "test") Sys.executable_name 0)
+ with Not_found ->
+ (if Array.length Sys.argv = 1
+ then failwith "no command line args. Please use e.g. ./cmd.out problems/*"
+ else Array.iteri (fun i filename -> if i > 0 then
+ List.iter f (Parser.from_file filename)) Sys.argv)