Adam Vogt 334344b804 Extend script for generating the code which runs tests ...

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.

2011-06-09 04:07:22 +00:00

..

genMain.hs

Extend script for generating the code which runs tests

2011-06-09 04:07:22 +00:00

ManageDocks.hs

Move tests from ManageDocks to tests/

2011-06-09 04:02:20 +00:00

Selective.hs

Rearrange tests. See test/genMain.hs for instructions.

2010-04-19 01:49:46 +00:00

SwapWorkspaces.hs

Rearrange tests. See test/genMain.hs for instructions.

2010-04-19 01:49:46 +00:00

XPrompt.hs

Rearrange tests. See test/genMain.hs for instructions.

2010-04-19 01:49:46 +00:00