TestJavaCardDLJavaExtensions

24227      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/proof/rules/ldt.key 
24230      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/proof/rules/boolean.key 
24235      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/proof/rules/ruleSetsDeclarations.key 
24242      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/proof/rules/integerHeader.key 
24244      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/proof/rules/floatHeader.key 
24245      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/proof/rules/heap.key 
24247      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/proof/rules/locSets.key 
24248      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/proof/rules/permission.key 
24249      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/proof/rules/reach.key 
24250      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/proof/rules/seq.key 
24253      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/proof/rules/map.key 
24258      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/proof/rules/freeADT.key 
24265      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/proof/rules/wellfound.key 
24266      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/proof/rules/charListHeader.key 
24287      DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/javacardDLExtensions/typeResolutionInMethodFrame.key 
25378      DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/javacardDLExtensions/src/test/TestJavaCardDLExtensions.java 
25389      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 
27535      DEBUG Test worker     d.u.i.k.j.Recoder2KeYConverter recoder2key: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception  de.uka.ilkd.key.util.ExceptionHandlerException: Recoder: 1 errors have occurred - aborting.
	at de.uka.ilkd.key.util.KeYRecoderExcHandler.recoderExitAction(KeYRecoderExcHandler.java:69)
Caused by: recoder.service.UnresolvedReferenceException: Could not resolve TypeReference "TestJavaCardDLExtensions" @1/3 in "INTERNAL:<virtual_class_for_parsing174>"(14)
	at recoder.service.DefaultSourceInfo.getType(DefaultSourceInfo.java:798)

27536      DEBUG Test worker     d.u.i.k.j.Recoder2KeYConverter recoder2key: called method public de.uka.ilkd.key.java.declaration.LocalVariableDeclaration de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.declaration.LocalVariableDeclaration) threw exception  de.uka.ilkd.key.java.PosConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception.
	at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1266)
Caused by: recoder.service.UnresolvedReferenceException: Could not resolve TypeReference "TestJavaCardDLExtensions" @1/3 in "INTERNAL:<virtual_class_for_parsing174>"(14)
	at recoder.service.DefaultSourceInfo.getType(DefaultSourceInfo.java:798)

27536      DEBUG Test worker     d.u.i.k.j.Recoder2KeYConverter recoder2key: called method public de.uka.ilkd.key.java.StatementBlock de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.StatementBlock) threw exception  de.uka.ilkd.key.java.PosConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception.
	at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1266)
Caused by: recoder.service.UnresolvedReferenceException: Could not resolve TypeReference "TestJavaCardDLExtensions" @1/3 in "INTERNAL:<virtual_class_for_parsing174>"(14)
	at recoder.service.DefaultSourceInfo.getType(DefaultSourceInfo.java:798)

27557      DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/javacardDLExtensions/typeResolutionInMethodFrame2.key 
28638      DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/javacardDLExtensions/src/test/TestJavaCardDLExtensions.java 
28651      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