From: acondolu <andrea.condoluci@unibo.it>
Date: Fri, 25 May 2018 15:03:18 +0000 (+0200)
Subject: Added a couple of tests which MUST fail
X-Git-Tag: weak-reduction-separation~13
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1f4a4fb9ab5f503457b0c1403c53ed84fb9031ac;p=fireball-separation.git

Added a couple of tests which MUST fail
---

diff --git a/ocaml/problems/should_fail b/ocaml/problems/should_fail
new file mode 100644
index 0000000..bd90c62
--- /dev/null
+++ b/ocaml/problems/should_fail
@@ -0,0 +1,8 @@
+# $? fail1
+# D x
+# C y
+# N z
+
+$! fail2
+D x x
+C y (_. x (a. x a))