hi,

 

On 13 November 2012 21:52, <graham@fatlazycat.com> wrote:

prop_something x y = .......do blah with positive integers

  ==> x > 0 && y > 0

 

quickcheck provides a few nice new types for such cases. try:

 

prop_something (Positive x) (Positive y) = ...

 

this way qc only generates positive numbers, instead of generating and discarding some.

 

hth,

 

--

Ozgur Akgun