锋利的刺猬 刺猬会吃掉你所有的虫子。 是本着QuickCheck精神的现代基于属性的测试系统。 刺猬使用综合收缩,因此收缩遵循构造所产生的值的不变性。 产品特点 集成收缩,通过构造收缩服从不变式。 带有gen和property表达式的生成器和property的方便语法。 范围组合器可完全控制生成的数字和集合的范围。 例 根名称空间Hedgehog几乎包含了开始使用Hedgehog编写属性测试所需的所有内容。 open Hedgehog 设置导入声明后,可以编写一个简单的属性: let propReverse : Property < Unit> = property {