Number of Classes | Line Coverage | Mutation Coverage | Test Strength |
---|---|---|---|
2 | 100% | 100% | 100% |
Name | Line Coverage | Mutation Coverage | Test Strength |
---|---|---|---|
ProofErrVisitor.java | 100% |
100% |
100% |
RemoveProofErrors.java | 100% |
100% |
100% |