Test Summary
|
97%
successful |
Failed tests
Packages
| Package | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| de.uka.ilkd.key.proof_references.testcase | 9 | 0 | 0 | 31.492s | 100% |
| de.uka.ilkd.key.proof_references.testcase.analyst | 80 | 2 | 0 | 3m21.29s | 97% |
Classes
| Class | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| de.uka.ilkd.key.proof_references.testcase.TestKeYTypeUtil | 4 | 0 | 0 | 16.109s | 100% |
| de.uka.ilkd.key.proof_references.testcase.TestProofReferenceUtil | 5 | 0 | 0 | 15.383s | 100% |
| de.uka.ilkd.key.proof_references.testcase.analyst.TestClassAxiomAndInvariantProofReferencesAnalyst | 5 | 2 | 0 | 12.754s | 60% |
| de.uka.ilkd.key.proof_references.testcase.analyst.TestContractProofReferencesAnalyst | 1 | 0 | 0 | 2.474s | 100% |
| de.uka.ilkd.key.proof_references.testcase.analyst.TestMethodBodyExpandProofReferencesAnalyst | 1 | 0 | 0 | 2.462s | 100% |
| de.uka.ilkd.key.proof_references.testcase.analyst.TestMethodCallProofReferencesAnalyst | 10 | 0 | 0 | 24.879s | 100% |
| de.uka.ilkd.key.proof_references.testcase.analyst.TestProgramVariableReferencesAnalyst | 63 | 0 | 0 | 2m38.72s | 100% |