I’m happy to announce the release of Mutaml 0.1, a mutation testing tool for OCaml:
Mutaml attempts to make small random changes your code, e.g., turning e+1 into e to see if the off-by-one change is caught by your test suite. By finding examples of uncaught wrong behaviour, it can thereby reveal limitations of a test suite and indirectly suggest improvements.
Overall 0.1 is considered an initial working prototype.
@raphael-proust previously blogged about how he used it while developing Seqes.
Acknowledgements
Mutaml was developed with support from the OCaml Software Foundation.
While developing it, I also benefitted from studying the nice source code of @antron’s bisect_ppx.