From 1f4a4fb9ab5f503457b0c1403c53ed84fb9031ac Mon Sep 17 00:00:00 2001
From: acondolu <andrea.condoluci@unibo.it>
Date: Fri, 25 May 2018 17:03:18 +0200
Subject: [PATCH] Added a couple of tests which MUST fail

---
 ocaml/problems/should_fail | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 ocaml/problems/should_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))
-- 
2.39.2