Running properties that do not draw any random values only once

[Nick Smallbone]

Hi Simon,

On 11 April 2012 20:58, Simon Hengel <sol at typeful.net> wrote:
> But it does not work for monadic properties, yet.  Do you think it would
> be possible to extend it to that?

A monadic property might be nondeterministic, so by default I would
still like to test it 100 times even if it doesn't do any
quantification. But I have just added a 'once' combinator that should
do what you want. The property 'once x' is like 'x' but will only be
tested once.

Nick