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
 0%
0/3
 0%
0/3

Breakdown by Class

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

Report generated by PIT 1.21.0