Refactor test framework

[tiger.ml.git] / compiler / src / exe / tigert.mli

diff --git a/compiler/src/exe/tiger_tests.mli b/compiler/src/exe/tigert.mli
similarity index 100%
rename from compiler/src/exe/tiger_tests.mli
rename to compiler/src/exe/tigert.mli