Suppositions

Rust 的属性测试库，受 Hypothesis、Theft 和 Hedgehog 启发。

组合数据生成器

在常规 quickcheck-alikes 中，你通常为每个类型指定数据生成器。这在大多数情况下都很好，但如果只想检查输入的一部分，就必须告诉库跳过不必要的项目。

与 hypothesis 类似，我们通过采样底层的字节流来生成数据；我们添加的约束是，当流是“较小”的（无论是较小的值还是较短的）时，生成的值也应该相应较小。

这也意味着来自你的第一个失败测试的缩小值将满足你的生成器施加的约束。

集成缩小。

这基本上是上述内容的自然延伸。因为生成是从底层格式进行的；我们不需要为每个单独的类型重新实现缩小。

许可证

在 Apache 2.0 许可证下发布。

版权所有 2017 Ceri Storey, Oliver Wyman。