
10 Oct
2006
10 Oct
'06
7:32 a.m.
Tue Jan 17 08:25:29 PST 2006 tatd2 * Added QuickCheck to the standard libraries installed with Hat. Hat version runs all tests, even if one fails to provide more data for hat-delta. hat-delta updated with -q option to debug a program tested with QuickCheck M ./configure +11 M ./script/confhat -1 +1 M ./src/hatlib/Makefile -1 +2 A ./src/hatlib/Test/ A ./src/hatlib/Test/QuickCheck.hs M ./src/hatlib/hat.cabal +1 M ./src/hattools/HatDelta.hs -12 +55