TestJavaInfo
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testFindArrayLength() | 0s | passed |
| testFindAttributesLocallyDeclaredOnly() | 0.002s | passed |
| testFindImplicitAttributesForClassTypesOnly() | 0.001s | passed |
| testGetAllSubtypes() | 0.002s | passed |
| testGetAllSupertypes() | 0.001s | passed |
| testGetCommonSubtypes() | 0.005s | passed |
| testGetPrimitiveKJT() | 0.002s | passed |
| testRetrieveArrayTypeByAlternativeName() | 0s | passed |
| testRetrieveArrayTypeByJLSName() | 0.002s | passed |
Standard output
39190 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\javainfo\testJavaInfo.key 40316 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key