quickcheck-state-machine-distributed

Please see the README on Github at https://github.com/advancedtelematic/quickcheck-state-machine-distributed#readme


Keywords
library, testing, Propose Tags , Linearisability, QuickCheckHelpers, Scheduler, StateMachine, Utils, Test.QuickCheck.Monadic, quickcheck-state-machine, test/TicketDispenser.hs, PDF, video, haskell, haskell-library, linearizability, quickcheck, race-conditions, state-machine
License
BSD-2-Clause
Install
cabal install quickcheck-state-machine-distributed-0.0.0

Documentation

quickcheck-state-machine-distributed