Changes between Version 18 and Version 19 of Development/Testing

Timestamp:

02/24/10 03:03:14 (3 years ago)

Author:

benl (IP: 129.94.242.38)

Comment:

--

Development/Testing

@@ -3 +3 @@
 == Regression Testing ==
 
-The {{{war2}}} test driver automates regression testing. 
+The {{{war}}} test driver automates regression testing. 
 {{{
-$ bin/war2 test
+$ make war
+}}}
+
+or
+
+{{{
+$ bin/war test
 }}}
 
@@ -16 +22 @@
  * 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.
 
-Regression tests require the base libraries to be built. So before running them you may need to do a:
-{{{
-$ bin/ddc -O -build library/Prelude.ds
-}}}
 [[br]]
 
-== Quick Checking ==
-
-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.
-
-You can run the tests with:
-{{{
-$ bin/ddc --test
-}}}
-
-[[br]]
 == Demos ==
 
@@ -37 +29 @@
 
 {{{
-$ bin/war2 test/93-Graphics +compway opt -O
+$ bin/war test/93-Graphics +compway opt -O
 $ test/93-Graphics/Styrene/Main.bin -x
 }}}