tatd2 2006/01/17 08:25:29 PST
Modified files:
script confhat
Log:
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
Revision Changes Path
1.22 +1 -1 hat/script/confhat