Use RegTest for running tests. This is a proven system which makes it very easy to add new tests.
Also, in addition to Czech and Praxix, I'd recommend Minizork for authentic Infocom, Advent.z3 for the modern ZILF compiler, and Curses.z3 (first release) for Inform.
And if you come across anything which isn't caught by Praxix, I'd always be happy to accept pull requests for more tests. :)
Use RegTest for running tests. This is a proven system which makes it very easy to add new tests.
Also, in addition to Czech and Praxix, I'd recommend Minizork for authentic Infocom, Advent.z3 for the modern ZILF compiler, and Curses.z3 (first release) for Inform.
And if you come across anything which isn't caught by Praxix, I'd always be happy to accept pull requests for more tests. :)