NEWS
changeset 45941 2fd0bbf8be13
parent 45874 ab10ce781e34
child 45957 43eac86bf006
     1.1 --- a/NEWS	Wed Dec 21 09:21:35 2011 +0100
     1.2 +++ b/NEWS	Wed Dec 21 09:39:14 2011 +0100
     1.3 @@ -170,7 +170,12 @@
     1.4      By default, Quickcheck shows potentially spurious and genuine
     1.5      counterexamples. The option "genuine_only" sets quickcheck to
     1.6      only show genuine counterexamples.
     1.7 - 
     1.8 +
     1.9 +  - The command 'quickcheck_generator' creates random and exhaustive
    1.10 +    value generators for a given type and operations.
    1.11 +    It generates values by using the operations as if they were
    1.12 +    constructors of that type. 
    1.13 +  
    1.14  * Nitpick:
    1.15    - Fixed infinite loop caused by the 'peephole_optim' option and
    1.16      affecting 'rat' and 'real'.