Diagnostic coverage does not include any faults detected by proof tests.

• 诊断覆盖率不包含由检验测试检测到的任何故障。