(* Twelf.chatter := 0; *)
(* Twelf.chatter := 1; *)
(* Twelf.chatter := 2; *)
(* Twelf.chatter := 5; *)
Twelf.doubleCheck := true;

fun test (file) =
    case Twelf.Config.load (Twelf.Config.read file)
      of Twelf.OK => Twelf.OK
       | Twelf.ABORT => raise Domain;

(* Examples, part of the distribution *)
(* test "examples/arith/test.cfg"; *)
test "examples/ccc/test.cfg";
test "examples/church-rosser/test.cfg";
test "examples/compile/cls/test.cfg";
test "examples/compile/cpm/test.cfg";
test "examples/compile/cps/test.cfg";
test "examples/compile/cxm/test.cfg";
test "examples/compile/debruijn/test.cfg";
test "examples/compile/debruijn1/test.cfg";
(* cpsocc not in original test suite *)
test "examples/cpsocc/test.cfg";
(* cut-elim not in original test suite, ~1 secs more *)
test "examples/cut-elim/test.cfg";
(* fol not in original test suite, ~14 secs more *)
test "examples/fol/test.cfg";
(* guide not in test suite, ~.05 secs more *)
test "examples/guide/test.cfg";
test "examples/handbook/test.cfg";
(* incll not in original test suite, ~55secs more *)
(*test "examples/incll/test.cfg"; *)
(* kolm not in original test suite *)
test "examples/kolm/test.cfg";
test "examples/lp/test.cfg";
test "examples/lp-horn/test.cfg";
test "examples/mini-ml/test.cfg";
test "examples/polylam/test.cfg";
test "examples/prop-calc/test.cfg";

(* Exercises, not part of the distribution *)
(*test "exercises/units/test.cfg";
test "exercises/opt-eval/test.cfg";
*)