From 11118ab13d127a135ef7505909fe0f16740b8ea5 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 15 Jun 2018 15:26:59 +0200
Subject: [PATCH] More diverging examples

---
 ocaml/problems/simple.evil2 | 19 +++++++++++++------
 1 file changed, 13 insertions(+), 6 deletions(-)

diff --git a/ocaml/problems/simple.evil2 b/ocaml/problems/simple.evil2
index 4036412..6bff977 100644
--- a/ocaml/problems/simple.evil2
+++ b/ocaml/problems/simple.evil2
@@ -6,10 +6,17 @@ $! 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 x y x
+C x x x
+C y y y a
+
+$! algorithm diverges reaching the previous configuration!
+D x y
+C x x
+C y y a
 
-$! algorithm diverges!
-D x0 x1
-C x9 (x0 x0) (x1 x1 x8)
+$! stepping on useless arg
+D x y
+C x x
+C y a b
-- 
2.39.2