Added by Iustin Pop almost 14 years ago
Improve the test driver
The tests are moved to a separate data structure, and we can select asubset of tests to run.
View differences