| Sun, 05 Feb 2012 08:57:03 +0100 |
bulwahn |
adding a quickcheck example about functions and sets
|
file |
diff |
annotate
|
| Thu, 02 Feb 2012 10:16:10 +0100 |
bulwahn |
adding an example for finite and cofinite sets
|
file |
diff |
annotate
|
| Fri, 27 Jan 2012 19:08:48 +0100 |
bulwahn |
adding some more examples for quickcheck; replaced FIXME comments
|
file |
diff |
annotate
|
| Fri, 27 Jan 2012 10:31:31 +0100 |
bulwahn |
corrected expectation; added an example for quickcheck
|
file |
diff |
annotate
|
| Thu, 26 Jan 2012 12:04:05 +0100 |
bulwahn |
adding quickcheck example with THE
|
file |
diff |
annotate
|
| Tue, 10 Jan 2012 10:18:08 +0100 |
bulwahn |
adding quickcheck examples with multisets
|
file |
diff |
annotate
|
| Mon, 26 Dec 2011 22:17:10 +0100 |
haftmann |
incorporated More_Set and More_List into the Main body -- to be consolidated later
|
file |
diff |
annotate
|
| Sat, 24 Dec 2011 15:53:11 +0100 |
haftmann |
commented out examples which choke on strict set/pred distinction
|
file |
diff |
annotate
|
| Wed, 21 Dec 2011 09:41:16 +0100 |
bulwahn |
extending quickcheck example
|
file |
diff |
annotate
|
| Tue, 20 Dec 2011 17:40:17 +0100 |
bulwahn |
adding quickcheck generator for distinct lists; adding examples
|
file |
diff |
annotate
|
| Mon, 05 Dec 2011 12:36:22 +0100 |
bulwahn |
making the default behaviour of quickcheck a little bit less verbose;
|
file |
diff |
annotate
|
| Mon, 05 Dec 2011 12:36:19 +0100 |
bulwahn |
the reporting random testing also returns if the counterexample is genuine or potentially spurious
|
file |
diff |
annotate
|
| Thu, 01 Dec 2011 22:14:35 +0100 |
bulwahn |
adding examples for quickcheck-random
|
file |
diff |
annotate
|
| Wed, 30 Nov 2011 10:07:32 +0100 |
bulwahn |
adding examples for the potential counterexamples in the simple scheme
|
file |
diff |
annotate
|
| Wed, 30 Nov 2011 09:21:09 +0100 |
bulwahn |
adding a exception-safe term reification step in quickcheck; adding examples
|
file |
diff |
annotate
|