From: acondolu <andrea.condoluci@unibo.it>
Date: Thu, 13 Jul 2017 16:53:50 +0000 (+0200)
Subject: More problems
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=27e8f9b4f265ad98e19f85f24d576ed2c6dbf5c1;p=fireball-separation.git

More problems
---

diff --git a/ocaml/problems.ml b/ocaml/problems.ml
index 8a1915c..f586c5d 100644
--- a/ocaml/problems.ml
+++ b/ocaml/problems.ml
@@ -352,9 +352,9 @@ solve_many (List.map ((|>) ()) [
  o1; o2; o3; o4; o5; o6
 ]);;
 
-(*should_fail(fun () -> problem_of None ["BOT"] []);;
+should_fail(fun () -> problem_of None ["BOT"] []);;
 should_fail(fun () -> problem_of (Some"x y") ["x BOMB"] []);;
-should_fail(fun () -> problem_of (Some"x y z") ["x BOMB z"; "x y y"] []);;*)
+should_fail(fun () -> problem_of (Some"x y z") ["x BOMB z"; "x y y"] []);;
 
 solve_many [
  problem_of