Pit Test Coverage Report

Package Summary

pro.verron.officestamper.preset.preprocessors.prooferror

Number of Classes Line Coverage Mutation Coverage Test Strength
2 100%
15/15
 100%
3/3
 100%
3/3

Breakdown by Class

Name Line Coverage Mutation Coverage Test Strength
ProofErrVisitor.java
100%
5/5
100%
1/1
100%
1/1
RemoveProofErrors.java
100%
10/10
100%
2/2
100%
2/2

Report generated by PIT 1.20.0