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