Unverified Commit efa16205 authored by Merlin's avatar Merlin 💧
Browse files

Reenabled DL98 tests

parent 1ed47632
......@@ -129,8 +129,8 @@ let ctl_fast_testcases =
use_functor "KD" nop CTL.fastTests
let testcases =
[ (*"DL98" >::: dl98_testcases;*)
"CTL" >::: ctl_fast_testcases
[ "DL98" >::: dl98_testcases
; "CTL" >::: ctl_fast_testcases
; "K" >::: k_testcases
; "KD" >::: kd_testcases
; "K*K" >::: kAndK_testcases
......@@ -139,8 +139,8 @@ let testcases =
(*;"Nominals" >::: nominal_testcases*)
; "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 *)
(* ; "PML" >::: pml_testcases (\* PML is currently disabled. *\) *)
(* ; "PML+K" >::: pmlOrK_testcases (\* PML is currently disabled. *\) *)
; "K-mu (aconjunctive fragment)" >::: aconjunctive_testcases
]
;;
......
Supports Markdown
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