迅捷检查 快速检查Swift。 对于那些已经熟悉Haskell库的人，请查看源代码。 对于其他所有人，请参见，以初学者级介绍该库的主要概念和用例。 介绍 SwiftCheck是一个测试库，可自动生成随机数据以测试程序属性。 属性是算法或数据结构的特定方面，必须在给定的一组输入数据下基本不变，基本上是对类固醇的XCTAssert 。 在我们只能定义以test和assert前缀的方法之前，SwiftCheck允许将程序属性和测试视为data对待。 为了定义程序属性，将forAll量词与类型签名一