NEWS
authorbulwahn
Wed, 21 Dec 2011 09:39:14 +0100
changeset 45941 2fd0bbf8be13
parent 45940 71970a26a269
child 45942 4dfb1f6bd99b
NEWS
NEWS
--- a/NEWS	Wed Dec 21 09:21:35 2011 +0100
+++ b/NEWS	Wed Dec 21 09:39:14 2011 +0100
@@ -170,7 +170,12 @@
     By default, Quickcheck shows potentially spurious and genuine
     counterexamples. The option "genuine_only" sets quickcheck to
     only show genuine counterexamples.
- 
+
+  - The command 'quickcheck_generator' creates random and exhaustive
+    value generators for a given type and operations.
+    It generates values by using the operations as if they were
+    constructors of that type. 
+  
 * Nitpick:
   - Fixed infinite loop caused by the 'peephole_optim' option and
     affecting 'rat' and 'real'.