document the fault-coverage checker