@cardano io-sim1.10.1.0
A pure simulator for monadic concurrency with STM.
Categories
License
Apache-2.0
Maintainer
Duncan Coutts duncan@well-typed.com, Marcin Szamotulski coot@coot.me
Links
Versions
Installation
Dependencies (13)
- QuickCheck
- base >=4.16 && <4.23
- containers
- deepseq
- exceptions >=0.10
- hashable Show all…
Dependents (18)
@cardano/ouroboros-network, @cardano/ouroboros-consensus-diffusion, @cardano/typed-protocols-examples, @cardano/ouroboros-consensus-protocol, @cardano/strict-checked-vars, @cardano/cardano-diffusion, Show all…
Package Flags
asserts
(off by default)
Enable assertions
A pure simulator monad with support of concurrency (base & async style), stm, synchronous and asynchronous exceptions, timeouts & delays, dynamic traces, partial order reduction, and more.
Documentation
Documentation is published here.