scalacheck - 如何从 scalacheck 中的文件生成数据？

Question

我想在文件中的示例数据集上运行 scalacheck。如何创建一个从该文件读取数据并允许我检查其属性的生成器？

Answer 1

您可以提前读入所有数据，然后使用

Gen.oneOf(dataSet)

随机选择集合中的一个值。

但是，如果数据集太大而无法立即读取，您可以使用生成访问索引

Gen.choose(1, setSize)

并只读选定的条目。