TestTermParserHeap

all > de.uka.ilkd.key.parser > TestTermParserHeap
39

tests
0

failures
0

ignored
0.106s

duration
100%

successful

Tests

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

Standard output

289197     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key took 0 ms to parse. 
289197     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1076 ms. 
289198     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/boolean.key took 0 ms to parse. 
289198     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1076 ms. 
289209     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ruleSetsDeclarations.key took 11 ms to parse. 
289209     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1087 ms. 
289210     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerHeader.key took 0 ms to parse. 
289211     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1087 ms. 
289211     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatHeader.key took 0 ms to parse. 
289211     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1087 ms. 
289211     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heap.key took 0 ms to parse. 
289212     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1087 ms. 
289212     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSets.key took 0 ms to parse. 
289212     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1087 ms. 
289212     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permission.key took 0 ms to parse. 
289212     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1087 ms. 
289213     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reach.key took 0 ms to parse. 
289213     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1087 ms. 
289213     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seq.key took 0 ms to parse. 
289213     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1087 ms. 
289222     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/map.key took 8 ms to parse. 
289222     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1095 ms. 
289223     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/freeADT.key took 0 ms to parse. 
289224     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1095 ms. 
289224     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wellfound.key took 0 ms to parse. 
289224     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1095 ms. 
289224     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListHeader.key took 0 ms to parse. 
289225     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1095 ms. 
289231     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
289241     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1095 ms. 
290239     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
290239     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1096 ms. 
292126     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 1 ms to parse. 
292126     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1097 ms. 
292126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
292126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292126     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
292126     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1097 ms. 
292126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292126     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
292126     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1097 ms. 
292126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292126     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
292126     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1097 ms. 
292126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292126     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
292126     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1097 ms. 
292126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292141     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
292141     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1097 ms. 
293054     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
293054     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1098 ms. 
294993     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
294993     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1098 ms. 
294993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294993     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
294993     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1098 ms. 
294993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294993     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
294993     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1098 ms. 
294993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294993     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
294993     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1098 ms. 
294993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294993     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
294993     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1098 ms. 
294993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295000     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
295001     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1098 ms. 
295966     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
295966     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1099 ms. 
297750     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
297750     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1099 ms. 
297750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297750     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
297750     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1099 ms. 
297750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297750     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
297750     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1099 ms. 
297750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297750     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
297751     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1099 ms. 
297751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
297751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297751     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
297751     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1099 ms. 
297751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297751     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
297751     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1099 ms. 
297751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297754     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
297754     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1099 ms. 
298784     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
298784     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1100 ms. 
300665     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
300665     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1100 ms. 
300665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300665     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
300665     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1100 ms. 
300665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300665     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
300665     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1100 ms. 
300665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300665     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
300665     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1100 ms. 
300665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300665     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
300665     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1100 ms. 
300665     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300665     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300668     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
300668     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1100 ms. 
301572     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
301572     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1101 ms. 
303403     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
303403     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1101 ms. 
303403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303403     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303403     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
303403     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1101 ms. 
303403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303403     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303404     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 1 ms to parse. 
303404     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1102 ms. 
303404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
303405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303405     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
303405     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1102 ms. 
303405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303406     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
303406     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1102 ms. 
303406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303410     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
303411     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1102 ms. 
304342     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse. 
304342     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1104 ms. 
306184     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
306185     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1104 ms. 
306185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
306185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306186     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
306186     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1104 ms. 
306186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306187     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 1 ms to parse. 
306187     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1105 ms. 
306187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
306187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306187     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
306187     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1105 ms. 
306188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
306188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306188     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
306188     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1105 ms. 
306188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306193     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
306193     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1105 ms. 
307073     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
307073     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1106 ms. 
308875     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
308875     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1106 ms. 
308875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308875     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
308875     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1106 ms. 
308875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308875     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
308875     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1106 ms. 
308875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308875     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
308875     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1106 ms. 
308875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308875     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
308875     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1106 ms. 
308875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308878     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
308878     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1106 ms. 
309763     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
309763     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1107 ms. 
311557     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
311557     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1107 ms. 
311557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311558     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
311558     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1107 ms. 
311558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311558     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
311558     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1107 ms. 
311558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311558     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
311558     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1107 ms. 
311558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311558     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
311558     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1107 ms. 
311558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311560     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
311560     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1107 ms. 
312469     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
312469     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1108 ms. 
314313     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
314313     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1108 ms. 
314313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314313     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
314313     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1108 ms. 
314313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314313     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
314313     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1108 ms. 
314313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314313     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
314313     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1108 ms. 
314313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314313     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
314313     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1108 ms. 
314313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314316     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
314316     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1108 ms. 
315222     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
315223     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1109 ms. 
317069     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
317069     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1109 ms. 
317069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317069     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
317069     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1109 ms. 
317069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317069     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
317069     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1109 ms. 
317069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317069     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
317069     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1109 ms. 
317069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317069     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
317069     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1109 ms. 
317069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317074     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
317074     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1109 ms. 
317977     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse. 
317977     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1111 ms. 
319849     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
319849     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1111 ms. 
319849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319849     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
319849     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1111 ms. 
319849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319849     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
319849     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1111 ms. 
319849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319849     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
319849     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1111 ms. 
319849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319849     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
319849     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1111 ms. 
319849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319853     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 1 ms to parse. 
319853     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1112 ms. 
320819     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
320819     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1113 ms. 
322613     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
322614     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1113 ms. 
322614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
322614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322614     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
322614     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1113 ms. 
322614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322614     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
322614     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1113 ms. 
322614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322614     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
322614     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1113 ms. 
322614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322614     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
322614     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1113 ms. 
322614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322617     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
322617     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1113 ms. 
323500     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
323500     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1114 ms. 
325288     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
325288     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1114 ms. 
325288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325288     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
325288     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1114 ms. 
325288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325288     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
325288     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1114 ms. 
325288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325288     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
325288     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1114 ms. 
325288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325288     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
325288     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1114 ms. 
325288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325292     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
325292     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1114 ms. 
326182     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
326182     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1115 ms. 
327987     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
327987     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1115 ms. 
327987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327987     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
327987     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1115 ms. 
327987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327987     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
327987     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1115 ms. 
327987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327987     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
327987     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1115 ms. 
327987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327987     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
327987     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1115 ms. 
327987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327991     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
327991     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1115 ms. 
328853     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
328853     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1116 ms. 
330666     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
330666     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1116 ms. 
330666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330667     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
330667     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1116 ms. 
330667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330667     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
330667     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1116 ms. 
330667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330667     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
330667     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1116 ms. 
330667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330667     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
330667     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1116 ms. 
330667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330668     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) 
330670     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
330670     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1116 ms. 
331625     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
331625     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1117 ms. 
333430     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
333430     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1117 ms. 
333430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
333431     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
333431     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1117 ms. 
333431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333431     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
333431     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1117 ms. 
333431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333431     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
333431     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1117 ms. 
333431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333431     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
333431     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1117 ms. 
333431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333434     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
333434     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1117 ms. 
334342     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
334342     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1118 ms. 
336159     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
336159     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1118 ms. 
336159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336159     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
336159     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1118 ms. 
336159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336159     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
336159     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1118 ms. 
336159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336159     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
336159     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1118 ms. 
336159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336159     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
336159     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1118 ms. 
336159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336163     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
336163     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1118 ms. 
337074     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
337074     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1119 ms. 
338893     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
338893     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1119 ms. 
338893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338893     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
338893     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1119 ms. 
338893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338893     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
338893     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1119 ms. 
338893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338893     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
338893     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1119 ms. 
338893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338893     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
338893     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1119 ms. 
338893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338893     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338897     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
338897     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1119 ms. 
339784     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
339784     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1120 ms. 
341675     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
341675     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1120 ms. 
341675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341675     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
341675     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1120 ms. 
341675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341675     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
341675     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1120 ms. 
341675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341675     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
341675     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1120 ms. 
341675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
341676     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
341676     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1120 ms. 
341676     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341676     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341681     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
341681     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1120 ms. 
342580     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
342580     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1121 ms. 
344404     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
344404     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1121 ms. 
344404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344404     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
344404     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1121 ms. 
344404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344404     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
344404     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1121 ms. 
344404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344404     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
344404     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1121 ms. 
344404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344404     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
344404     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1121 ms. 
344404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344408     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
344408     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1121 ms. 
345302     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse. 
345302     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1123 ms. 
347111     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
347111     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1123 ms. 
347111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347111     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
347111     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1123 ms. 
347111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347112     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
347112     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1123 ms. 
347112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347112     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
347112     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1123 ms. 
347113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
347113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347113     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
347113     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1123 ms. 
347113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347125     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
347125     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1123 ms. 
348086     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
348087     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1124 ms. 
349904     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
349905     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1124 ms. 
349905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
349905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349905     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
349905     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1124 ms. 
349905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349905     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
349905     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1124 ms. 
349905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349905     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
349905     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1124 ms. 
349905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349905     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
349905     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1124 ms. 
349905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349908     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
349908     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1124 ms. 
350795     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
350795     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1125 ms. 
352609     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
352609     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1125 ms. 
352609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352609     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
352609     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1125 ms. 
352609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352609     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
352609     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1125 ms. 
352609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352609     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
352609     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1125 ms. 
352609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352609     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
352609     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1125 ms. 
352609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352612     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
352612     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1125 ms. 
353502     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
353502     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1126 ms. 
355352     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
355352     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1126 ms. 
355352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355352     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
355352     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1126 ms. 
355352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355352     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
355352     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1126 ms. 
355352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355352     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
355352     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1126 ms. 
355352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355352     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
355352     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1126 ms. 
355352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
355355     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
355355     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1126 ms. 
356253     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse. 
356253     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1128 ms. 
358058     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
358058     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1128 ms. 
358058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358058     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
358058     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1128 ms. 
358058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358058     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
358058     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1128 ms. 
358058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358058     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
358058     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1128 ms. 
358058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358058     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
358058     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1128 ms. 
358058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358061     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
358061     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1128 ms. 
358971     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
358972     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1129 ms. 
360793     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
360793     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1129 ms. 
360793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360793     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
360793     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1129 ms. 
360793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360793     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
360793     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1129 ms. 
360793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360793     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
360793     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1129 ms. 
360793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360794     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
360794     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
360794     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1129 ms. 
360794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360794     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360796     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
360796     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1129 ms. 
361682     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse. 
361682     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1131 ms. 
363509     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
363509     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1131 ms. 
363509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363509     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
363509     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1131 ms. 
363509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363509     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
363509     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1131 ms. 
363509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363509     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
363509     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1131 ms. 
363509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363509     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
363509     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1131 ms. 
363509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363509     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363512     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
363512     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1131 ms. 
364421     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
364421     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1132 ms. 
366214     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
366214     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1132 ms. 
366214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366214     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
366214     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1132 ms. 
366214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366214     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
366214     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1132 ms. 
366214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366214     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
366214     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1132 ms. 
366214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366214     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
366214     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1132 ms. 
366214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366217     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
366217     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1132 ms. 
367164     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
367164     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1133 ms. 
369019     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
369019     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1133 ms. 
369019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369019     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
369019     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1133 ms. 
369019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369019     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
369019     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1133 ms. 
369019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369019     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
369019     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1133 ms. 
369019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369019     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
369020     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1133 ms. 
369020     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
369020     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369022     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
369022     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1133 ms. 
369919     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
369919     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1134 ms. 
371797     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
371797     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1134 ms. 
371797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371797     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
371797     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1134 ms. 
371797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371797     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
371797     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1134 ms. 
371797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371797     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
371797     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1134 ms. 
371797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371797     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
371797     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1134 ms. 
371797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371801     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
371801     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1134 ms. 
372711     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
372711     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1135 ms. 
374501     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
374501     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1135 ms. 
374501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374501     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
374501     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1135 ms. 
374501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
374502     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
374502     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1135 ms. 
374502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374502     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
374502     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1135 ms. 
374502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374502     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
374502     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1135 ms. 
374502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374504     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
374504     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1135 ms. 
375419     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
375419     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1136 ms. 
377279     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
377279     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1136 ms. 
377279     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
377280     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
377280     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1136 ms. 
377280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377280     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
377280     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1136 ms. 
377280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377281     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 1 ms to parse. 
377281     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1137 ms. 
377281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
377281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377281     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
377281     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1137 ms. 
377281     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377281     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377284     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
377284     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1137 ms. 
378162     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
378163     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1138 ms. 
380040     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
380040     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1138 ms. 
380040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
380040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380040     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
380041     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1138 ms. 
380041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
380041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380041     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
380041     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1138 ms. 
380042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
380042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380042     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
380042     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1138 ms. 
380042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380043     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
380043     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1138 ms. 
380043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380046     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
380047     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1138 ms. 
380978     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
380978     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1139 ms. 
382820     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
382820     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1139 ms. 
382820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382820     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
382820     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1139 ms. 
382820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382820     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
382820     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1139 ms. 
382820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382820     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
382820     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1139 ms. 
382820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382820     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
382820     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1139 ms. 
382820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
382823     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
382823     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1139 ms. 
383698     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse. 
383698     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1141 ms. 
385542     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
385542     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1141 ms. 
385542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385542     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
385542     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1141 ms. 
385542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385542     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
385542     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1141 ms. 
385542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385542     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
385542     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1141 ms. 
385542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385542     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
385542     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1141 ms. 
385542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385545     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
385545     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1141 ms. 
386474     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse. 
386474     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1143 ms. 
388273     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
388273     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1143 ms. 
388273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388273     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
388273     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1143 ms. 
388273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388273     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
388273     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1143 ms. 
388273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388273     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
388273     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1143 ms. 
388273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388273     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
388273     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1143 ms. 
388273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388276     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
388276     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1143 ms. 
389176     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
389177     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1144 ms. 
391003     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
391003     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1144 ms. 
391003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391003     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
391003     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1144 ms. 
391003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391003     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
391003     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1144 ms. 
391003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391003     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
391003     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1144 ms. 
391003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391003     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
391003     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1144 ms. 
391003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391006     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
391006     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1144 ms. 
391916     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
391916     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1145 ms. 
393705     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
393705     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1145 ms. 
393705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393706     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
393706     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1145 ms. 
393706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
393706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393706     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
393706     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1145 ms. 
393706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393706     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
393706     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1145 ms. 
393706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393706     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
393706     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1145 ms. 
393706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
393706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
393709     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/parserTest.key took 0 ms to parse. 
393709     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1145 ms. 
394597     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
394597     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1146 ms. 
396441     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
396441     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1146 ms. 
396441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396441     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
396441     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1146 ms. 
396441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396441     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
396441     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1146 ms. 
396441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396441     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
396441     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1146 ms. 
396441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396441     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
396441     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1146 ms. 
396441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms