[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