aboutsummaryrefslogtreecommitdiffstats
path: root/tests/Properties (follow)
Commit message (Collapse)AuthorAgeFilesLines
* make the check for overflow cleanerAdam Vogt2014-05-072-10/+9
| | | | | | Ignore-this: c12448f9219c8a29f2707526691acfda darcs-hash:20140507024930-1499c-52860fb59794c3f370f27158b0936f845fce6ded.gz
* run more tests (and add a couple)Adam Vogt2014-05-031-2/+36
| | | | | | Ignore-this: 7b76bd48a7c7d6998505d0503b9d58a1 darcs-hash:20140503021103-1499c-c4f74fe49e61fced376890057daf51609bf6b24b.gz
* update testsuite (mostly due Jesper Reenberg)Adam Vogt2014-05-0215-0/+907
Ignore-this: a5e926aa4e397e70d56e3c9db7108d5b * use quickcheck2 * run them using cabal's test-suite field * split up Properties into separate files darcs-hash:20140502180146-1499c-dc8c09c3ec76a42a0e146925adce960435dc81db.gz