Standard output
405576 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.
405576 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1256 ms.
405577 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.
405577 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1256 ms.
405578 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.
405578 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1257 ms.
405579 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.
405579 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1258 ms.
405579 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.
405579 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1258 ms.
405579 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.
405579 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1258 ms.
405579 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.
405580 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1258 ms.
405580 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.
405580 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1258 ms.
405580 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.
405580 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1258 ms.
405580 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.
405580 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1258 ms.
405581 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.
405581 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1259 ms.
405581 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.
405581 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1259 ms.
405581 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.
405581 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1259 ms.
405582 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.
405582 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1259 ms.
405588 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/../de/uka/ilkd/key/proof/ruleForTestTacletIndex.taclet took 1 ms to parse.
405588 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1260 ms.
406481 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/../de/uka/ilkd/key/proof/ruleForTestTacletIndex.taclet took 0 ms to parse.
406481 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1260 ms.
406482 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
406482 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms