Commit af57e84e authored by Oliver Grosch's avatar Oliver Grosch
Browse files

Limit tests to K

parent 8a3171bf
Pipeline #12377 failed with stages
in 5 minutes and 49 seconds
......@@ -129,16 +129,16 @@ let ctl_fast_testcases =
use_functor "KD" nop CTL.fastTests
let testcases =
[ "DL98" >::: dl98_testcases
; "CTL" >::: ctl_fast_testcases
; "K" >::: k_testcases
; "KD" >::: kd_testcases
; "K*K" >::: kAndK_testcases
; "K*KD" >::: kAndKd_testcases
; "K+KD" >::: kOrKd_testcases
[ (* "DL98" >::: dl98_testcases *)
(*; "CTL" >::: ctl_fast_testcases *)
"K" >::: k_testcases
(*; "KD" >::: kd_testcases *)
(*; "K*K" >::: kAndK_testcases *)
(*; "K*KD" >::: kAndKd_testcases *)
(*; "K+KD" >::: kOrKd_testcases *)
(* ; "Nominals" >::: nominal_testcases *)
; "CL" >::: cl_testcases
; "CL" >::: cl_testcases_2agents
(*; "CL" >::: cl_testcases *)
(*; "CL" >::: cl_testcases_2agents *)
(* ; "PML" >::: pml_testcases (\* PML is currently disabled. See CoAlgLogics.ml *\) *)
(* ; "PML+K" >::: pmlOrK_testcases (\* PML is currently disabled. See CoAlgLogics.ml *\) *)
; "K-mu (aconjunctive fragment)" >::: aconjunctive_testcases
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment