Fork me on GitHub

I'm curious what people think about the differences/benefits/relationships between: - Generative Property Based Testing - Pairwise Testing In particular is anyone combining the two... It seems to me that you could/should use generative tests to provide instance data within certain equivalence classes of values and then use pairwise testing to generate arguments as test pairs to apply to the function under test.


hmm... might repost the above to #C1B1BB2Q3


When using test.check, what’s a good way to choose n distinct elements from a set (where the size of the set is guaranteed to exceed n)


Best I’ve been able to figure it to gen/shuffle and take n in an fmap or the like, but it can be slow when the coll is large