From ebefdb7061c74f40732633060af05204f519f2d6 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 15 Jun 2018 15:05:41 +0200 Subject: [PATCH] Diverging problem + variation that steps on irrelevant arg --- ocaml/problems/simple.evil | 8 -------- ocaml/problems/simple.evil2 | 15 +++++++++++++++ 2 files changed, 15 insertions(+), 8 deletions(-) create mode 100644 ocaml/problems/simple.evil2 diff --git a/ocaml/problems/simple.evil b/ocaml/problems/simple.evil index ddf5718..60c3bbf 100644 --- a/ocaml/problems/simple.evil +++ b/ocaml/problems/simple.evil @@ -13,11 +13,3 @@ $! 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)) 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) -- 2.39.2