quickcheck - scalacheck 添加了哪些功能而不是 quickcheck？

Question

所有 scalacheck 的东西都说：

此后发展并扩展了 Haskell QuickCheck 中没有的功能

那么，这些功能是什么？

Answer 1

基本上，它是对有状态测试（状态机测试）的支持。此功能存在于商业 QuickCheck 产品中，但不存在于免费的 Haskell QuickCheck 中。ScalaCheck 的 API 也比 QuickCheck 的 API 丰富一些。