Changes between Version 17 and Version 18 of Development/Testing

Show
Ignore:
Timestamp:
07/31/09 17:22:13 (5 years ago)
Author:
benl (IP: 202.46.143.74)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Development/Testing

    v17 v18  
    2424== Quick Checking == 
    2525 
    26 We've started to add Quick Check style properties to the DDC Compiler code. There are some examples in {{{src/Util/Data/List/Split.hs}}}. We're using {{{src/Util/Test/Check.hs}}} as a wrapper around the standard Quick Check library. 
     26We've started to add Quick Check style properties to the DDC code. There are some examples in {{{src/Util/Data/List/Split.hs}}}. We're using {{{src/Util/Test/Check.hs}}} as a wrapper around the standard Quick Check library. 
    2727 
    2828You can run the tests with: