文件名称：fsharp-hedgehog：放心发布.NET的最新属性测试
文件大小：225KB
文件格式：ZIP
更新时间：2024-02-26 01:06:20
testing csharp fsharp dotnet test
锋利的刺猬 刺猬会吃掉你所有的虫子。 是本着QuickCheck精神的现代基于属性的测试系统。 刺猬使用综合收缩，因此收缩遵循构造所产生的值的不变性。 产品特点 集成收缩，通过构造收缩服从不变式。 带有gen和property表达式的生成器和property的方便语法。 范围组合器可完全控制生成的数字和集合的范围。 例 根名称空间Hedgehog几乎包含了开始使用Hedgehog编写属性测试所需的所有内容。 open Hedgehog 设置导入声明后，可以编写一个简单的属性： let propReverse : Property < Unit> = property {