advancedtelematic/quickcheck-state-machine-distributed

Test monadic programs using state machine based models

语言：Haskell · GitHub 星标：6 · Fork：0

话题：haskell · haskell-library · linearizability · quickcheck · race-conditions · state-machine · testing

在 GitHub 上查看原仓库