Changes between Version 11 and Version 12 of Development/Testing

Timestamp:

07/23/09 08:25:16 (4 years ago)

Author:

benl (IP: 150.203.160.45)

Comment:

--

Development/Testing

@@ -21 +21 @@
 {{{
 $ bin/ddc -O -make library/Prelude.ds
+}}}
+
+== Quick Checking ==
+
+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.
+
+You can run the tests with:
+{{{
+$ bin/ddc --test
 }}}