Test Summary
|
100%
successful |
Packages
Package | Tests | Failures | Ignored | Duration | Success rate |
---|---|---|---|---|---|
de.uka.ilkd.key.util.removegenerics | 45 | 0 | 0 | 0.570s | 100% |
Classes
Class | Tests | Failures | Ignored | Duration | Success rate |
---|---|---|---|---|---|
de.uka.ilkd.key.util.removegenerics.TestClassDeclaration | 5 | 0 | 0 | 0.303s | 100% |
de.uka.ilkd.key.util.removegenerics.TestMemberReference | 19 | 0 | 0 | 0.124s | 100% |
de.uka.ilkd.key.util.removegenerics.TestMethodDeclaration | 6 | 0 | 0 | 0.034s | 100% |
de.uka.ilkd.key.util.removegenerics.TestMultipleBounds | 6 | 0 | 0 | 0.073s | 100% |
de.uka.ilkd.key.util.removegenerics.TestTypeReference | 9 | 0 | 0 | 0.036s | 100% |