Verifying and Testing with IOSim

Example code for the Well-Typed blog post on testing concurrent Haskell programs with IOSim.

Building

cabal build

cabal run verifying-and-testing-with-iosim

cabal test

For details on how this works, see the Well-Typed blog post).

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
app		app
src		src
test		test
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
cabal.project		cabal.project
verifying-and-testing-with-iosim.cabal		verifying-and-testing-with-iosim.cabal