使用 quickCheck 测试具有相同值列表的多个函数

Question

是否可以使用 quickCheck 对具有相同值列表的多个函数执行测试，以便对这些函数进行基准测试？

例如，我希望使用相同的任意值列表检查 prop_test1 prop_test2 prop_test3。

quickCheckWithResult args prop_test1
quickCheckWithResult args prop_test2
quickCheckWithResult args prop_test3

Answer 1

如果您不坚持使用 QuickCheck，SmallCheck 可能是您的选择。它是用于（有界）详尽检查的 QuickCheck，并且将始终产生相同的测试值（当使用相同的参数时）。