On Monday, July 15, 2013 9:41:03 AM UTC-5, Andreas Liljeqvist wrote:
>
> Hi, I have taken a look at simple-check.
>
> Seems promising, but I have a few reservations:
>
> I want to constrain the generation of two vectors to always have the same
> number of elements as the other one.
> From what I
Hi, I have taken a look at simple-check.
Seems promising, but I have a few reservations:
I want to constrain the generation of two vectors to always have the same
number of elements as the other one.
>From what I can understand simple-check always uses the same max-size in a
property and have no
Shrinking is a key requirement for me as well (1000-line-long data literals
that produce a failure are better than nothing, but not quite as nice as its
shrunken 40-character literal that provokes the same failure). You might be
interested in simple-check, which is a "Clojure property-based tes
