Oddbean new post about | logout
 [$] A new approach to validating test suites


The first program that Martin Pool ever wrote, he said, had bugs; the ones he's writing
now most likely have bugs too. The talk Pool gave at
https://rustconf.com/
 this year was about a way to try
to write programs with fewer bugs. He has developed a tool called
<a href="https://mutants.rs/" rel="nofollow">
cargo-mutants</a> that highlights gaps in test coverage by identifying
functions that can be broken without causing any tests to fail.
This can be a valuable complement to other testing techniques,
he explained.


https://lwn.net/Articles/995276/