# Regression test 

# test : file -> Twelf.Status - runs in safe mode, expects success
# testUnsafe : file -> Twelf.Status - runs in unsafe mode, expects success

## 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
test examples/cpsocc/test.cfg
test examples/cut-elim/test.cfg
test examples/fol/test.cfg
test examples/guide/test.cfg
test examples/handbook/test.cfg
test examples/incll/test.cfg
test examples/kolm/test.cfg
testUnsafe 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

# CLP Examples, part of the distribution 
test examples-clp/arith/test.cfg
test examples-clp/base/test.cfg
test examples-clp/crypt/test.cfg
test examples-clp/integers/test.cfg
test examples-clp/laplace/test.cfg
test examples-clp/lists/test.cfg
test examples-clp/mortgage/test.cfg
test examples-clp/pelletier/test.cfg
test examples-clp/sieve/test.cfg

# Exercises, not part of the distribution 
#test "exercises/units/test.cfg";
#The following doesn't terminate, but I don't think that's new -rjs 5/7/2007
#test exercises/opt-eval/test.cfg