TestJavaInfo

all > de.uka.ilkd.key.java > TestJavaInfo
9

tests
0

failures
0

ignored
0.011s

duration
100%

successful

Tests

Test Duration Result
testFindArrayLength() 0.001s passed
testFindAttributesLocallyDeclaredOnly() 0s passed
testFindImplicitAttributesForClassTypesOnly() 0.001s passed
testGetAllSubtypes() 0.002s passed
testGetAllSupertypes() 0.001s passed
testGetCommonSubtypes() 0.003s passed
testGetPrimitiveKJT() 0.002s passed
testRetrieveArrayTypeByAlternativeName() 0s passed
testRetrieveArrayTypeByJLSName() 0.001s passed

Standard output

28750      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/javainfo/testJavaInfo.key took 0 ms to parse. 
28751      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 155 ms. 
29691      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
29692      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 156 ms.