From c1916445ec467d94925778e953ab191db3ea9f44 Mon Sep 17 00:00:00 2001 From: acondolu Date: Sat, 22 Jul 2017 20:59:55 +0200 Subject: [PATCH] Simplified not-working example (cherry picked from commit 180710db0f9d6f81edd7a5cc1bfce41e3b3e620a) --- ocaml/problems/bugs | 13 ++----------- 1 file changed, 2 insertions(+), 11 deletions(-) diff --git a/ocaml/problems/bugs b/ocaml/problems/bugs index 2cea8d3..b9bb726 100644 --- a/ocaml/problems/bugs +++ b/ocaml/problems/bugs @@ -1,12 +1,3 @@ $! randomly generated test -D ((((z b) (w v)) (v. (v z))) (a. (v y))) -C (((((((b b) (a. (y v))) (a. (b. (b b)))) (w. (x. (a (y v))))) (((w v) z) (v. (((y v) v) ((z b) (w v)))))) ((((y v) v) (z. (y. (w. (b b))))) (y. (w. (b b))))) ((y (y. (c v))) w)) -C ((((((b b) (a. (y v))) (a. (b. (b b)))) ((((w v) z) (v. (((y v) v) ((z b) (w v))))) (y (y. (c v))))) (b. a)) (((z b) (w v)) y)) -C ((((((b b) (a. (y v))) (a. (b. (b b)))) (w. (x. (a (y v))))) (((w v) z) (v. (((y v) v) ((z b) (w v)))))) ((((y v) v) (z. (y. (w. (b b))))) (y. (w. (b b))))) -C ((((((y v) v) ((z b) (w v))) c) c) (((((z b) (w v)) (v. (v z))) (a. (v x))) v)) -C (((((b b) (a. (y v))) (a. (b. (b b)))) ((((w v) z) (v. (((y v) v) ((z b) (w v))))) (y (y. (c v))))) (b. a)) -N ((((((b b) (a. (y v))) (a. (b. (b b)))) ((((w v) z) (v. (((y v) v) ((z b) (w v))))) (y (y. (c v))))) (b. a)) (((c (w v)) ((w v) z)) (c w))) Z -N ((((((b b) (a. (y v))) (a. (b. (b b)))) ((((w v) z) (v. (((y v) v) ((z b) (w v))))) (y (y. (c v))))) (b. a)) (c. (((c v) ((c w) (b. a))) (v. (c. (w. b)))))) Z -N ((((((w v) z) (v. (((y v) v) ((z b) (w v))))) (y (y. (c v)))) (y. (c. ((((y v) v) (z. (y. (w. (b b))))) (((z b) (w v)) (v. (v z))))))) (z. (y. (b. a)))) Z -N (((((b b) (a. (y v))) (a. (b. (b b)))) ((((w v) z) (v. (((y v) v) ((z b) (w v))))) (y (y. (c v))))) (((y v) v) ((z b) (w v)))) Z -N (((((b b) (a. (y v))) (a. (b. (b b)))) (((w v) z) (y. (c v)))) (y. (c. c))) Z +D z (_. (v y)) +C u (z (_. (v x))) -- 2.39.2