aboutsummaryrefslogtreecommitdiffstats
path: root/tests/Catch.hs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Delete the Catch wrapper, no longer required by the latest version of CatchNeil Mitchell2007-05-241-72/+0
* Update the Catch checking to the new interface for StackSetNeil Mitchell2007-05-221-3/+15
* Add the initial Catch testing framework for StackSetNeil Mitchell http://www.cs.york.ac.uk/~ndm/2007-05-081-0/+60