scalacheck在quickcheck上添加了哪些功能？

Question

所有scalacheck的东西都说：

  

已经发展并扩展了Haskell QuickCheck中没有的功能

那么，这些功能是什么？

Answer 1

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