27 Oct
2005
27 Oct
'05
3:38 p.m.
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 :-)