test-check-knossos Example repository demonstrating how to use test.check and knossos together to test concurrent systems. Copyright and License Copyright © 2014 Philip Potter MIT Licence.