Standard output
429002 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.
429002 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1521 ms.
429003 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.
429003 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1521 ms.
429004 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 1 ms to parse.
429004 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1522 ms.
429006 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 1 ms to parse.
429006 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
429006 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.
429007 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
429007 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.
429007 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1523 ms.
429008 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 1 ms to parse.
429008 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1524 ms.
429008 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.
429008 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1524 ms.
429008 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.
429009 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1524 ms.
429009 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.
429009 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1524 ms.
429010 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 1 ms to parse.
429010 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1525 ms.
429011 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.
429011 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1525 ms.
429011 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.
429011 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1525 ms.
429012 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.
429012 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1525 ms.
429020 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/../de/uka/ilkd/key/rule/testRuleMatch.txt took 1 ms to parse.
429020 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1526 ms.
429863 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/../de/uka/ilkd/key/rule/testRuleMatch.txt took 0 ms to parse.
429863 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1526 ms.
429863 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
429864 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms