From 9baecd2c43f39dd9c86b5a8f003bda19f821a66a Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 15 Jun 2018 14:10:19 +0200 Subject: [PATCH] Two problems where the measure does not decrease :-( --- ocaml/problems/simple.evil | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/ocaml/problems/simple.evil b/ocaml/problems/simple.evil index 60c3bbf..ddf5718 100644 --- a/ocaml/problems/simple.evil +++ b/ocaml/problems/simple.evil @@ -13,3 +13,11 @@ $! D x (y1. x (y2. x (y3. x (y4. y1 y2 y3 y4)))) C x (y1. x (y2. x (y3. x (y4. y1 y2 y3 y1)))) C x (y1. x (y2. x (y3. x (y4. y1 y2 y1 y4)))) + +$! 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)) -- 2.39.2