input-output-hk/quickcheck-dynamic

A library for stateful property-based testing

语言：Haskell · GitHub 星标：36 · Fork：10

话题：haskell · model-based-testing · quickcheck · testing-tools

在 GitHub 上查看原仓库