[Haskell-cafe] Re: Quickcheck examples and Data.Word32

[Joel Reymont]

Is this gonna be in the next version of QuickCheck? Or can it be  
implemented now?

On Oct 27, 2005, at 3:47 PM, Shae Matijs Erisson wrote:

> You can do that with the model based checking from the QuickCheckST  
> paper.
> You could either generate actions and results and test separately,  
> or you can
> use unsafePerformIO to run IO tests from inside QuickCheckM.
>
> I would very much like to see QuickCheckM extended to handle IO  
> directly.
> I've wanted to use QuickCheck to test TCP/IP stacks for unhandled  
> cases.
> Think of the entertainment value :-)

--
http://wagerlabs.com/