smallcheck属性测试中的黄金测试

Question

我在一个smallcheck property中有一个手动编写的“黄金测试”(将实际输出写入文件，与“黄金”预期文件比较)，它枚举了给定枚举的所有构造函数。

我想把这个换成金黄色的。有一个名为tasty smallcheck的包，它允许您在一个漂亮的测试套件中运行smallcheck测试。然而，我实际上需要的是相反的:在一个小检查测试中运行一个黄金测试。

这里有没有我遗漏的明显的解决方案？或者，我只需要用美观的行话重写一个列举所有可能性的Test.SmallCheck.forAll版本？

Answer 1

我对此不满意的解决方法是手动使用listSeries 1 :: [MyEnum]，而不是使用实际的smallcheck forAll测试。