From: acondolu <andrea.condoluci@unibo.it>
Date: Thu, 13 Jul 2017 16:08:35 +0000 (+0200)
Subject: New tests
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=68faf7143a934aa2a68477671e78625ec217a4b9;p=fireball-separation.git

New tests
---

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"] []);;