TestTermParserHeap

all > de.uka.ilkd.key.parser > TestTermParserHeap
tests
failures
ignored
0.120s
duration
100%
successful
Tests
Standard output
Tests

Test	Duration	Result
testAccessStaticMembers()	0.003s	passed
testAllFieldsSelector()	0.002s	passed
testAtOperator_1()	0.001s	passed
testAtOperator_2()	0.003s	passed
testAtOperator_3()	0.001s	passed
testAtOperator_4()	0.007s	passed
testAtOperator_5()	0.003s	passed
testAtOperator_6()	0.002s	passed
testAtOperator_7()	0.001s	passed
testAtOperator_8()	0.002s	passed
testBracketHeapUpdate()	0.014s	passed
testBugResettingCounter()	0.002s	passed
testGenericObjectProperties()	0.002s	passed
testLocationSets()	0.002s	passed
testParsePrettyPrintedSelect()	0.002s	passed
testQuantifiedSelect()	0.002s	passed
testQueryBasic_1()	0.001s	passed
testQueryBasic_10()	0.001s	passed
testQueryBasic_11()	0.008s	passed
testQueryBasic_2()	0.007s	passed
testQueryBasic_3()	0.001s	passed
testQueryBasic_4()	0.002s	passed
testQueryBasic_5()	0.001s	passed
testQueryBasic_6()	0.001s	passed
testQueryBasic_7()	0.005s	passed
testQueryBasic_8()	0.012s	passed
testQueryBasic_9()	0.001s	passed
testQueryInheritance_1()	0.002s	passed
testQueryInheritance_2()	0.002s	passed
testQueryInheritance_3()	0.001s	passed
testQueryInheritance_4()	0.001s	passed
testQueryInheritance_5()	0.001s	passed
testQueryInheritance_6()	0.006s	passed
testQueryInheritance_7()	0.002s	passed
testQueryInheritance_8()	0.001s	passed
testQueryInheritance_9()	0.002s	passed
testStore()	0.007s	passed
testUnknownConstant()	0.003s	passed
testVerifyExceptionIfAtOperatorNotPreceededBySelectTerm()	0.003s	passed
Standard output

318298     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 
318299     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 
318299     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 
318301     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 
318302     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 
318302     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 
318302     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 
318302     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 
318303     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 
318303     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 
318303     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 
318315     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 
318315     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 
318315     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 
318333     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
319522     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
319523     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
319528     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 
321635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321651     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
322696     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
322697     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
322701     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 
324807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324816     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
325819     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
325820     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
325825     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 
327817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327817     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
327818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327835     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
328859     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
328860     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
328865     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 
330937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
330938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330941     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
331939     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
331940     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
331945     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 
333985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333985     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333985     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333989     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
334958     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
334959     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
334963     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 
337040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
337041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337045     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
338051     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
338052     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
338057     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 
340148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
340148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
340151     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
341197     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
341198     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
341203     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 
343275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343276     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343277     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343277     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343280     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
344302     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
344303     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
344307     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 
346376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346380     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
347387     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
347387     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
347392     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 
349491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349492     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349492     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349492     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349501     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
350497     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
350497     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
350502     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 
352472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352472     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352476     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
353437     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
353438     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
353443     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 
355456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
355457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355460     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
356452     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
356452     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
356457     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 
358479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358482     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
359473     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
359473     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
359478     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 
361486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361486     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361486     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361490     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
362461     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
362462     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
362467     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 
364454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364454     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364454     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
364455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364455     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364455     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364457     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<153>,1:11] (termEOF) 
364459     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
365497     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
365498     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
365503     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 
367590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
367591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367594     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
368584     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
368585     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
368589     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 
370634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370634     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370634     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
370635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370635     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370635     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370638     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
371620     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
371621     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
371629     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 
373708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373708     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373712     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
374713     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
374713     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
374718     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 
376783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
376783     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
376783     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
376784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
376784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
376787     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
377815     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
377816     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
377821     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 
379912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379912     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379912     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379915     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
380902     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
380903     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
380908     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 
382897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382897     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382897     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382897     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382901     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
383867     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
383868     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
383872     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 
385935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385935     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
385936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385936     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385936     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385936     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385939     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
386961     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
386961     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
386966     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 
389045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389046     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389046     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389046     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389046     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389048     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
390045     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
390046     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
390051     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 
392109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392111     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
393155     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
393156     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
393161     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 
395251     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395251     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395251     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395251     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395254     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395254     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395254     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395254     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395254     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395254     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395254     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395254     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395254     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
395254     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
395255     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395259     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
396293     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
396294     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
396300     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 
398335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398335     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
398336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
398336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
398336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
398336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
398339     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
399327     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
399328     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
399335     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 
401356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
401356     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
401356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
401356     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
401359     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
402330     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
402330     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
402335     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 
404311     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404311     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
404312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404312     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
404312     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
404312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
404312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
404315     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
405341     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
405342     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
405347     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 
407415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
407415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
407415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
407415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
407418     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
408397     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
408398     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
408402     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 
410479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410479     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410479     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410483     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 4 ms 
410483     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
410484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
410484     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
410484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
410484     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
410490     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
411557     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
411558     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
411562     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 
413700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
413700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
413700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
413700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
413703     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
414733     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
414733     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
414738     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 
416817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416817     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416818     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416818     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416818     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416819     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416819     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
416821     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416821     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416821     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
416822     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
416822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
416822     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
416827     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
417827     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
417827     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
417835     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 
419915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
419916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
419916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
419916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
419919     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
420955     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
420955     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
420960     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 
423081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423081     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423084     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
424091     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
424092     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
424097     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 
426166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
426167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
426167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
426167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
426167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
426170     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
427191     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
427192     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
427198     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 
429304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429304     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429304     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
429305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
429305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
429305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
429305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
429307     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
430318     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
430319     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
430323     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 
432385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432385     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
432387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
432387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
432389     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
432389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
432389     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
432392     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
433555     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
433556     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
433560     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 
435648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435649     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435649     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435654     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 5 ms 
435654     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435655     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435655     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435656     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435656     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
435657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435657     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
435660     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src/test/resources/testcase/termParser/parserTest.key 
436687     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java 
436688     DEBUG Test worker     d.u.i.k.j.Recoder2KeY     converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java 
436692     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 
438708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438708     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
438709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
438709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438709     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
438709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438709     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0