> > I guess what I would like is to reuse most of the mechanisms in
> > QuickCheck to have it say one of these two things:
> >
> > 1. Found an satisfying instance after 73 tries: [gives instance]
> >
> > 2. After 100 tries, could not find a satisfying instance.
> >
> > Like failure,
Norman,
I guess what I would like is to reuse most of the mechanisms in
QuickCheck to have it say one of these two things:
1. Found an satisfying instance after 73 tries: [gives instance]
2. After 100 tries, could not find a satisfying instance.
Like failure, the first tells you something