[prev in list] [next in list] [prev in thread] [next in thread]
List: nhc-cvs
Subject: [cvs-nhc98] cvs commit: hat/src/hattools HatDelta.hs
From: Thomas Davie <tatd2 () kent ! ac ! uk>
Date: 2006-01-17 16:25:29
Message-ID: 200601171625.k0HGPTU9027410 () monk ! galois ! com
[Download RAW message or body]
tatd2 2006/01/17 08:25:29 PST
Modified files:
src/hattools HatDelta.hs
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.13 +55 -12 hat/src/hattools/HatDelta.hs
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic