Added a couple of tests which MUST fail

[fireball-separation.git] / ocaml / problems / should_fail

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