returned seed of 'usedSeed'

[Koen Claessen]

Hi!

The easiest way to retrieve the offending value is to use whenFail.
You can use whenFail to write the value (or anything else) to the
screen, to a file, or even an IORef, so that you can read it back
later.

/Koen

On Fri, Oct 15, 2010 at 1:49 AM, Sönke Hahn <soenkehahn at googlemail.com> wrote:
> Hi!
>
> First of all: thanks for developing QuickCheck, it's great!
>
> Secondly: I tried to retrieve the offending value when testing a property. I
> looked around in the haddock docs of QuickCheck and thought the 'usedSeed' and
> 'usedSize' fields were the way to go. However, the correct offending value can
> only be recreated after splitting the returned seed twice. I've attached a
> short example to demonstrate the behaviour.
>
> I doubt, that this is wanted behaviour. Am I wrong?
>
> Cheers,
> Sönke
>
>
>
> --
> http://open-projects.net/~shahn/
> http://joyridelabs.de/
>
> _______________________________________________
> QuickCheck mailing list
> QuickCheck at projects.haskell.org
> http://projects.haskell.org/cgi-bin/mailman/listinfo/quickcheck
>
>