open Lambda4;;
open Util;;
+(* Syntax for problem files in problem/ folder:
+
+- dollar ($) on newline
+ begin new problem
+ $! means that the problem is expected to be separable,
+ $? means that it is expected to be unseparable
+
+- (#) on new line
+ comment line
+
+- (D) (C) (N) stand respectively for divergent, convergent, numeric
+
+- lines starting with spaces inherit the type from the last line
+
+*)
+
let assert_separable x =
match solve x with
| _, `Separable _ -> ()
let assert_depends x =
let c = String.sub (Lambda4.label_of_problem (fst x)) 0 1 in
- prerr_endline(Lambda4.label_of_problem (fst x)); assert (c = "!" || c="?");
- let q = c = "!" in
- (if q then assert_separable else assert_unseparable) x
+ if c = "!" then assert_separable x
+ else if c = "?" then assert_unseparable x
+ else (solve x; ())
;;
let main () =