0

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
AJF
  • 11,767
  • 2
  • 37
  • 64
JeanJouX
  • 2,555
  • 1
  • 25
  • 37
  • 1
    What do you mean with “making a benchmark”? Do you want your quickcheck test to fail if the runtime of the functions is not the expected? – Joachim Breitner Jun 14 '15 at 08:56
  • I would like to validate 2-3 versions of a function with the same list of value and in the wake, comparing the speed of these differents version. To be accurate and strict, I would like to use the same list of values. – JeanJouX Jun 20 '15 at 13:25

1 Answers1

0

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).

lodrik
  • 472
  • 4
  • 8