Add CL testcases

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 =