Test Summary

45

tests

0

failures

0

ignored

0.361s

duration

100%

successful

Packages
Classes

Packages

Package	Tests	Failures	Ignored	Duration	Success rate
de.uka.ilkd.key.util.removegenerics	45	0	0	0.361s	100%

Classes

Class	Tests	Failures	Ignored	Duration	Success rate
de.uka.ilkd.key.util.removegenerics.TestClassDeclaration	5	0	0	0.130s	100%
de.uka.ilkd.key.util.removegenerics.TestMemberReference	19	0	0	0.133s	100%
de.uka.ilkd.key.util.removegenerics.TestMethodDeclaration	6	0	0	0.053s	100%
de.uka.ilkd.key.util.removegenerics.TestMultipleBounds	6	0	0	0.028s	100%
de.uka.ilkd.key.util.removegenerics.TestTypeReference	9	0	0	0.017s	100%