From 3c42e3f1ac1180c05c1e23343a10a049cce694bb Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Wed, 7 Dec 2016 01:24:59 +0100
Subject: [PATCH] Fix testsuite for K
R and B are now keywords and were used as identifiers. Now, r and
b (lowercase) is used instead in the testcases. For consistency, all
other identifiers were lowercased, too.
---
src/testsuite/cool-testsuite.ml | 30 +++++++++++++++---------------
1 file changed, 15 insertions(+), 15 deletions(-)
diff --git a/src/testsuite/cool-testsuite.ml b/src/testsuite/cool-testsuite.ml
index 0fdc0fb..0295d64 100644
--- a/src/testsuite/cool-testsuite.ml
+++ b/src/testsuite/cool-testsuite.ml
@@ -31,21 +31,21 @@ let k_testcases: satCheck list =
; c Unsat "False"
; c ParseError "{Fsdf"
(*; c ParseError "Fsdf}" *)
- ; c Unsat "<R> True & [R] False"
- ; c Unsat "C |- <R> ~C"
- ; c Sat "C |- [R] ~C"
- ; c Unsat "<R> ((<R> C) & (<S> False))"
- ; c Unsat "<X> (<S> False) | <R> ((<R> C) & (<S> False))"
- ; c Unsat "<X> (<S> False) | <R> ((<R> C) & (<S> False))"
- ; c Sat "<R> a & <R> B |- [R] C"
- ; c Unsat "<R> a & <R> B |- [R] (~a & ~B)"
- ; c Unsat "<R> a & <R> B |- [R] ~B"
- ; c Sat "<R> a & <R> ~a |- [R] B"
- ; c Unsat "<R> a & <R> ~a & (B => [R] ~a) |- [R] B"
- ; c Sat "<R> a & <R> ~a & (B => [R] ~a) & (C => ~D) & (D => ~e) & <R> C & <R> D & <R> e |- True"
- ; c Unsat "<R> D & <R> e & ((<R> D & <R> e) => [R] e) & ~(D & e) |- True"
- ; c Sat "(<R> D | <R> e) & ((<R> D & <R> e) => [R] e) & ~(D & e) |- True"
- ; c Sat "<R> D & <R> e & ((<R> D & <R> e) => [R] e) & (D & e => <R> ~(D&e)) |- True"
+ ; c Unsat "<r> True & [r] False"
+ ; c Unsat "c |- <r> ~c"
+ ; c Sat "c |- [r] ~c"
+ ; c Unsat "<r> ((<r> c) & (<s> False))"
+ ; c Unsat "<x> (<s> False) | <r> ((<r> c) & (<s> False))"
+ ; c Unsat "<x> (<s> False) | <r> ((<r> c) & (<s> False))"
+ ; c Sat "<r> a & <r> b |- [r] c"
+ ; c Unsat "<r> a & <r> b |- [r] (~a & ~b)"
+ ; c Unsat "<r> a & <r> b |- [r] ~b"
+ ; c Sat "<r> a & <r> ~a |- [r] b"
+ ; c Unsat "<r> a & <r> ~a & (b => [r] ~a) |- [r] b"
+ ; c Sat "<r> a & <r> ~a & (b => [r] ~a) & (c => ~d) & (d => ~e) & <r> c & <r> d & <r> e |- True"
+ ; c Unsat "<r> d & <r> e & ((<r> d & <r> e) => [r] e) & ~(d & e) |- True"
+ ; c Sat "(<r> d | <r> e) & ((<r> d & <r> e) => [r] e) & ~(d & e) |- True"
+ ; c Sat "<r> d & <r> e & ((<r> d & <r> e) => [r] e) & (d & e => <r> ~(d&e)) |- True"
]
--
GitLab