From f2bc82e223757ea40ba639cd521d69affa29b69d Mon Sep 17 00:00:00 2001 From: acondolu Date: Fri, 14 Jul 2017 19:39:42 +0200 Subject: [PATCH] Removed invalid problems --- ocaml/problems.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/ocaml/problems.ml b/ocaml/problems.ml index bb3129d..f073d29 100644 --- a/ocaml/problems.ml +++ b/ocaml/problems.ml @@ -173,14 +173,12 @@ let o3 () = problem_of "y (x a1 BOMB c) (x BOMB b2 d)";] [] ;; let o4 () = problem_of (Some"x BOMB a1 c") [ "x y BOMB d"; "x BOMB a2 c" ] [] ;; -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; o6 ]);; -assert_unseparable(problem_of None ["BOT"] []);; assert_unseparable(problem_of (Some"x y") ["x BOMB"] []);; assert_unseparable(problem_of (Some"x y z") ["x BOMB z"; "x y y"] []);; -- 2.39.2