Changes between Version 18 and Version 19 of Development/Testing

Show
Ignore:
Timestamp:
02/24/10 03:03:14 (5 years ago)
Author:
benl (IP: 129.94.242.38)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Development/Testing

    v18 v19  
    33== Regression Testing == 
    44 
    5 The {{{war2}}} test driver automates regression testing.  
     5The {{{war}}} test driver automates regression testing.  
    66{{{ 
    7 $ bin/war2 test 
     7$ make war 
     8}}} 
     9 
     10or 
     11 
     12{{{ 
     13$ bin/war test 
    814}}} 
    915 
     
    1622 * If a subdirectory contains a {{{Module.error.check}}} file, where {{{Module}}} is some arbitrary module name, then compilation is expected to fail with the error message given by that check file. 
    1723 
    18 Regression tests require the base libraries to be built. So before running them you may need to do a: 
    19 {{{ 
    20 $ bin/ddc -O -build library/Prelude.ds 
    21 }}} 
    2224[[br]] 
    2325 
    24 == Quick Checking == 
    25  
    26 We'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. 
    27  
    28 You can run the tests with: 
    29 {{{ 
    30 $ bin/ddc --test 
    31 }}} 
    32  
    33 [[br]] 
    3426== Demos == 
    3527 
     
    3729 
    3830{{{ 
    39 $ bin/war2 test/93-Graphics +compway opt -O 
     31$ bin/war test/93-Graphics +compway opt -O 
    4032$ test/93-Graphics/Styrene/Main.bin -x 
    4133}}}