From 68faf7143a934aa2a68477671e78625ec217a4b9 Mon Sep 17 00:00:00 2001 From: acondolu Date: Thu, 13 Jul 2017 18:08:35 +0200 Subject: [PATCH] New tests --- ocaml/problems.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ocaml/problems.ml b/ocaml/problems.ml index 6df0181..f1b0b9f 100644 --- a/ocaml/problems.ml +++ b/ocaml/problems.ml @@ -349,7 +349,7 @@ let o5 () = problem_of (Some"BOT") [] [] ;; let o6 () = problem_of (Some"x BOMB") ["x y"] [];; solve_many (List.map ((|>) ()) [ - o1; o2; o3; o4; o5; o6 + o1; o2; o3; o4; (*o5; o6*) ]);; should_fail(fun () -> problem_of None ["BOT"] []);; -- 2.39.2