advancedtelematic/quickcheck-state-machine

Test monadic programs using state machine based models

语言：Haskell · GitHub 星标：205 · Fork：27

话题：haskell · haskell-library · property-based-testing · quickcheck · testing

在 GitHub 上查看原仓库