summaryrefslogtreecommitdiff
path: root/src/test/run_tests.ml
blob: ddad139a3e22e5428567779717286144e5dbd365 (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 () ;;