Changes between Version 11 and Version 12 of Development/Testing

Show
Ignore:
Timestamp:
07/23/09 08:25:16 (5 years ago)
Author:
benl (IP: 150.203.160.45)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Development/Testing

    v11 v12  
    2121{{{ 
    2222$ bin/ddc -O -make library/Prelude.ds 
     23}}} 
     24 
     25== Quick Checking == 
     26 
     27We'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. 
     28 
     29You can run the tests with: 
     30{{{ 
     31$ bin/ddc --test 
    2332}}} 
    2433