Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2011-06-09 | Extend script for generating the code which runs tests | Adam Vogt | 1 | -4/+18 | |
Ignore-this: 44ebbee2683f50bc0728458f4babcce Now the number of runs each can be set, and the failures and successes are summarized in the same way as the core Properties.hs. There is some duplicated code which could be avoided by modifying Properties.hs. darcs-hash:20110609040722-1499c-206640f8199e58688298069c98e373ab82ce3999.gz | |||||
2010-04-19 | Rearrange tests. See test/genMain.hs for instructions. | Adam Vogt | 1 | -0/+52 | |
Ignore-this: 1745e6f1052e84e40153b5b1c0a6e15a darcs-hash:20100419014946-1499c-4705ec3d27ad26df038a7d72e978e5a137d712b5.gz |