Re: HTF & Quickcheck
<graham <at> fatlazycat.com>
2012-12-18 17:25:41 GMT
Are there any libraries that define various common generators ?
What would be the cleanest way to define two positive integers below
1000 that are different ? Seems relatively easy with conditionals.
On Tue, Dec 18, 2012, at 07:01 AM, graham <at> fatlazycat.com wrote:
> So what use are conditional properties meant to be used for ??
> If you just want 2 integers that are not equal, it would seem a lot
> simpler to do this as a conditional rather than constructing some pair
> in an arbitrary instance ?!?
> On Mon, Dec 17, 2012, at 11:20 PM, Simon Hengel wrote:
> > On Mon, Dec 17, 2012 at 06:04:15PM +0200, Roman Cheplyaka wrote:
> > > Unfortunately, I don't know the answer to your question.
> > >
> > > However, if you don't find a solution, I suggest using SmallCheck
> > > instead of QuickCheck — it works better when you have many unsuitable
> > > cases.
> > > https://github.com/feuerbach/smallcheck/wiki/Comparison-with-QuickCheck
> > >
> > > As far as I know, SmallCheck is not supported by HTF, but it is
> > > supported by test-framework.
> > test-framework also sometimes thinks a "Gave up!" is not a fail, which I
> > think is a bug. But I gave up on trying to get that fixed , e.g.