I have written a blog post about the test suite which covers this library.
- I use GADTs to describe the library API and generate QCheck tests.
- I manually used
mutamlfor mutation-testing on the test suite.
The big takeaway for me is how useful mutation testing is. It gives some confidence in the test coverage not just in terms of what paths are visited but also that modifications are indeed caught by the tests. If you haven’t used
mutaml I’d recommend giving it a go. If you have I’d be interested in ideas for integrating it better with some common build tools (
(Also, version 0.2 of
Seqes is now available.)