From 2483bba8fe9a2181ebe36b639e922aa2adc05c95 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <edu@thorsten-wissmann.de>
Date: Fri, 16 May 2014 21:11:36 +0200
Subject: [PATCH] Add CL testcases
---
src/testsuite/cool-testsuite.ml | 11 +++++++++++
1 file changed, 11 insertions(+)
diff --git a/src/testsuite/cool-testsuite.ml b/src/testsuite/cool-testsuite.ml
index a093b05..75371e7 100644
--- a/src/testsuite/cool-testsuite.ml
+++ b/src/testsuite/cool-testsuite.ml
@@ -41,11 +41,22 @@ let kd_testcases =
; c Unsat "C |- [R] ~C"
]
+let cl_testcases =
+ let c a b = (a,cl,b) in
+ [ c Unsat "[{1}] C & [{ 2 }] ~C"
+ ; c Sat "[{1}] C & <{ 2 }> ~C"
+ ; c Unsat "[{1}] C & <{ 1 2 }> ~C"
+ ; c Sat "<{ 1 2 }> C & <{ 1 2 }> ~C"
+ ; c Unsat "<{ 1 2 }> C & [{ 1 2 }] ~C"
+ ; c Sat "([{1 3}] C) & ([{ 2 3 }] ~C )"
+ ]
+
let testcases =
let c name table = (name,table) in
[ c "K" k_testcases
; c "Nominals" nominal_testcases
; c "KD" kd_testcases
+ ; c "CL" cl_testcases
]
let main =
--
GitLab