Test several functions with the same list of value with quickCheck

124 views Asked by At

Is it possible with quickCheck to perform tests on several function with the same list of value with the aim of making a benchmark on these function ?

For example, I would like prop_test1 prop_test2 prop_test3 to be checked with the same list of arbitrary values.

quickCheckWithResult args prop_test1
quickCheckWithResult args prop_test2
quickCheckWithResult args prop_test3
1

There are 1 answers

0
lodrik On BEST ANSWER

If you don't insist on using QuickCheck, SmallCheck might be your way to go. It's the QuickCheck for (bounded) exhaustive checks and will always produce the same test values (when used with same parameters).