Add CLI options to execute different test suites
[tiger.ml.git] / compiler / src / exe / tigert.mli
CommitLineData
This page took 0.031069 seconds and 4 git commands to generate.