Package de.uka.ilkd.key.util.removegenerics

45

tests

0

failures

0

ignored

0.486s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
TestClassDeclaration 5 0 0 0.288s 100%
TestMemberReference 19 0 0 0.124s 100%
TestMethodDeclaration 6 0 0 0.022s 100%
TestMultipleBounds 6 0 0 0.034s 100%
TestTypeReference 9 0 0 0.018s 100%