Changes between Version 17 and Version 18 of Development/Testing
- Timestamp:
- 07/31/09 17:22:13 (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Development/Testing
v17 v18 24 24 == Quick Checking == 25 25 26 We've started to add Quick Check style properties to the DDC Compilercode. 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.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 27 28 28 You can run the tests with:
