TestJavaInfo
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testFindArrayLength() | 0.001s | passed |
| testFindAttributesLocallyDeclaredOnly() | 0s | passed |
| testFindImplicitAttributesForClassTypesOnly() | 0.001s | passed |
| testGetAllSubtypes() | 0.003s | passed |
| testGetAllSupertypes() | 0.002s | passed |
| testGetCommonSubtypes() | 0.006s | passed |
| testGetPrimitiveKJT() | 0.002s | passed |
| testRetrieveArrayTypeByAlternativeName() | 0s | passed |
| testRetrieveArrayTypeByJLSName() | 0.002s | passed |
Standard output
30103 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\javainfo\testJavaInfo.key took 0 ms to parse. 30103 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 147 ms. 30947 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 30947 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 147 ms.