Test Summary
|
98%
successful |
Failed tests
Packages
Package | Tests | Failures | Ignored | Duration | Success rate |
---|---|---|---|---|---|
de.uka.ilkd.key.proof.proverules | 196 | 2 | 0 | 11m30.95s | 98% |
Classes
Class | Tests | Failures | Ignored | Duration | Success rate |
---|---|---|---|---|---|
de.uka.ilkd.key.proof.proverules.ProveRulesTest | 196 | 2 | 0 | 11m30.95s | 98% |