Blog post: Testing in Seqes

I have written a blog post about the test suite which covers this library.

TL;DR:

  • I use GADTs to describe the library API and generate QCheck tests.
  • I manually used mutaml for mutation-testing on the test suite.

https://raphael-proust.gitlab.io/code/testing-seqes.html

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 (dune mostly).

(Also, version 0.2 of Seqes is now available.)

8 Likes