Somebody should tell them about https://en.wikipedia.org/wiki/Code_coverage#Other_coverage_criteria https://en.wikipedia.org/wiki/Code_coverage#Other_coverage_c

Somebody should tell them about https://en.wikipedia.org/wiki/Code_coverage#Other_coverage_criteria https://en.wikipedia.org/wiki/Code_coverage#Other_coverage_c... and mutation testing.