10 Oct
2007
10 Oct
'07
8:59 p.m.
On Wed, Oct 10, 2007 at 11:41:08AM -0400, David Roundy wrote:
On Mon, Oct 08, 2007 at 12:00:37PM -0300, Isaac Dupree wrote:
Can QuickCheck be used to insert bottoms sometimes in Contrib/Config code and see if an exception ever escapes, so it's easier to tell whether catchX is in all the right places?
Quickcheck can't be used with anything in the X monad, so no. At least not the quickcheck I'm familiar with...
Google QuickCheckM. I haven't spent enough time investigating it to see if it would apply.