Add CLI options to execute different test suites
authorSiraaj Khandkar <siraaj@khandkar.net>
Sun, 16 Sep 2018 17:23:19 +0000 (13:23 -0400)
committerSiraaj Khandkar <siraaj@khandkar.net>
Sun, 16 Sep 2018 17:23:19 +0000 (13:23 -0400)
commitfca49f4f3908de86d5895b6a8708216fbb4dd529
tree08d3179c91ac3c471b368d8ffc4f7a0538b15c2a
parent8e47ed20c781e65940089e6f71e9a8ac6ea27d73
Add CLI options to execute different test suites
compiler/Makefile
compiler/src/exe/tigert.ml
This page took 0.017818 seconds and 4 git commands to generate.