summaryrefslogtreecommitdiff
path: root/src/test/run_tests.ml
blob: 3720e5e2fa5590c4bf0acb2ada5468cdb26470f4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
let tests = [
  "test1", Test1.defs;
  "test2", Test2.defs;
  "test3", Test3.defs;
  "pattern", Pattern.defs;
  "vectors", Vectors.defs;
(*  "power", Power.defs;*)
] ;;

let run_all () = List.iter Run_interp.run tests ;;

run_all () ;;