| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
adapting quickcheck examples
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
improving presentation of quickcheck reports
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
declaring quickcheck testers as default after their setup
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
activating construction of exhaustive testing combinators
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
renamed generator into exhaustive
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
checking if parameter is name of a tester which allows e.g. quickcheck[random]
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
moving iteration of tests to the testers in quickcheck
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
removed dead test_term_small function in quickcheck
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
renamed parameter from generator to tester; quickcheck only applies one tester on invocation
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
adding configuration quickcheck_tester
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
adding smart quantifiers to exhaustive testing
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
adapting mutabelle
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
only handle TimeOut exception if used interactively
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
removed interrupt handling that violates Isabelle/ML exception model
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
corrected indentation
|
changeset |
files
|