X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fproblems%2Fsimple.evil2;fp=ocaml%2Fproblems%2Fsimple.evil2;h=4036412f7279bf448b21b82a9ea177ce99939bfc;hb=ebefdb7061c74f40732633060af05204f519f2d6;hp=0000000000000000000000000000000000000000;hpb=e896eda9771bf0e9fd6cee3c8c9f25314d9d6736;p=fireball-separation.git

diff --git a/ocaml/problems/simple.evil2 b/ocaml/problems/simple.evil2
new file mode 100644
index 0000000..4036412
--- /dev/null
+++ b/ocaml/problems/simple.evil2
@@ -0,0 +1,15 @@
+$! the measure of the divergent is not sufficient
+D x y
+C x (y a)
+
+$! the measure of the divergent is badly not sufficient
+D x y
+C x (a. y (a b))
+
+$! stepping on useless arg
+D x0 x1
+C x9 (x0 x0) (x1 x7 x8)
+
+$! algorithm diverges!
+D x0 x1
+C x9 (x0 x0) (x1 x1 x8)