[cvs-nhc98] patch applied (hat): 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

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:32:51 EDT 2006


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


More information about the Cvs-nhc98 mailing list