David Herman <[email protected]> writes: > I got to have lunch with Jacob last week and he was talking about how > QuickCheck really opened his eyes about the value of randomized > testing. In particular, he described how it lifts your thinking out of > the realm of individual cases to general properties, since you let the > engine to the dirty work of generating the cases. IOW, it makes it > easier to think about invariants.
I'll point out that a quite complete port of the original QuickCheck is sitting in the deinprogramm/quickcheck collection. I wrote it for our teaching languages (where feedback indicates it's a success), but it's by no means restricted to that. -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
