scalacheck在quickcheck上添加了哪些特性？

Question

所有的牛角牛都说：

自那时以来，

已经进化并被扩展，其特性在Haskell QuickCheck中找不到。

那么，这些特征是什么？

Answer 1

基本上，它支持有状态测试(状态机测试)。这种功能存在于商业QuickCheck产品中，但不存在于免费的Haskell QuickCheck中。ScalaCheck的API也比QuickCheck的API更丰富一些。