Standard output
424938 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/standardRules.key took 0 ms to parse.
424938 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1418 ms.
424939 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.
424939 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1418 ms.
424949 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.
424949 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1418 ms.
424950 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.
424950 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1419 ms.
424951 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.
424951 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1419 ms.
424951 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.
424951 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1419 ms.
424952 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 1 ms to parse.
424952 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1420 ms.
424952 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.
424952 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1420 ms.
424952 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.
424952 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1420 ms.
424952 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.
424952 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1420 ms.
424952 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.
424952 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1420 ms.
424954 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 2 ms to parse.
424954 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1422 ms.
424954 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.
424954 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1422 ms.
424954 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.
424954 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1422 ms.
424954 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.
424954 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1422 ms.
424959 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/propRule.key took 0 ms to parse.
424959 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1422 ms.
424962 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/firstOrderRules.key took 1 ms to parse.
424962 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1423 ms.
424965 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/ifThenElseRules.key took 1 ms to parse.
424965 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1424 ms.
424970 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/formulaNormalisationRules.key took 2 ms to parse.
424970 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1426 ms.
424978 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/updateRules.key took 0 ms to parse.
424978 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1426 ms.
424980 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/integerRulesCommon.key took 1 ms to parse.
424980 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1427 ms.
424984 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/intRules.key took 0 ms to parse.
424984 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1427 ms.
424987 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/intRulesUncheckedSemantics.key took 0 ms to parse.
424987 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1427 ms.
424989 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/intRulesCheckedSemantics.key took 0 ms to parse.
424989 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1427 ms.
424991 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/intRulesJavaSemantics.key took 1 ms to parse.
424991 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1428 ms.
425008 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/integerSimplificationRules.key took 14 ms to parse.
425008 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1442 ms.
425040 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/intDiv.key took 2 ms to parse.
425040 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1444 ms.
425051 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/bsum.key took 4 ms to parse.
425051 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1448 ms.
425063 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/bprod.key took 2 ms to parse.
425063 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1450 ms.
425067 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/binaryAxioms.key took 0 ms to parse.
425067 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1450 ms.
425069 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/binaryLemmas.key took 1 ms to parse.
425069 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1451 ms.
425071 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/intPow.key took 1 ms to parse.
425071 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1452 ms.
425075 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/floatRulesCommon.key took 1 ms to parse.
425075 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1453 ms.
425080 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/floatRules.key took 0 ms to parse.
425080 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1453 ms.
425081 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/floatRulesVerifyNormal.key took 1 ms to parse.
425081 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1454 ms.
425081 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/floatRulesAssumeStrictfp.key took 0 ms to parse.
425081 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1454 ms.
425087 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/genericRules.key took 1 ms to parse.
425087 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1455 ms.
425090 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/booleanRules.key took 0 ms to parse.
425090 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1455 ms.
425091 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/epsilon.key took 0 ms to parse.
425091 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1455 ms.
425098 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/locSetsRules.key took 6 ms to parse.
425098 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1461 ms.
425121 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/heapRules.key took 5 ms to parse.
425121 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1466 ms.
425136 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/permissionRules.key took 2 ms to parse.
425136 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1468 ms.
425147 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/reachRules.key took 2 ms to parse.
425147 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1470 ms.
425153 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/seqCoreRules.key took 0 ms to parse.
425153 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1470 ms.
425159 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/seqRules.key took 4 ms to parse.
425159 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1474 ms.
425175 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/seqPerm.key took 4 ms to parse.
425175 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1478 ms.
425185 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/seqPerm2.key took 1 ms to parse.
425185 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1479 ms.
425204 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/javaRules.key took 18 ms to parse.
425205 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1497 ms.
425209 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/assertions.key took 1 ms to parse.
425209 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1498 ms.
425375 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/loopRules.key took 0 ms to parse.
425375 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1498 ms.
425379 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/activeUse.key took 1 ms to parse.
425379 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1499 ms.
425498 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/instanceAllocation.key took 1 ms to parse.
425498 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1500 ms.
425505 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/java5.key took 0 ms to parse.
425505 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1500 ms.
425509 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/integerAssignment2UpdateRules.key took 2 ms to parse.
425509 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1502 ms.
425526 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/floatAssignment2UpdateRules.key took 2 ms to parse.
425526 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1504 ms.
425538 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/bigint.key took 1 ms to parse.
425538 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1505 ms.
425546 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/adtProgramDecompositionRules.key took 1 ms to parse.
425546 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1506 ms.
425556 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/precRules.key took 1 ms to parse.
425556 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1507 ms.
425559 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/charListRules.key took 2 ms to parse.
425559 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1509 ms.
425563 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/regExTheory.key took 0 ms to parse.
425563 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1509 ms.
425564 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/regExHeader.key took 0 ms to parse.
425564 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1509 ms.
425564 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/regExAxioms.key took 0 ms to parse.
425564 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1509 ms.
425566 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/regExLemmaProven.key took 0 ms to parse.
425566 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1509 ms.
425569 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/seqEq.key took 1 ms to parse.
425569 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1510 ms.
425573 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/infFlow.key took 1 ms to parse.
425573 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1511 ms.
425575 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/mapSize.key took 0 ms to parse.
425575 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1511 ms.
425576 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/wd.key took 0 ms to parse.
425576 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1511 ms.
425576 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/wdHeader.key took 0 ms to parse.
425576 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1511 ms.
425577 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/wdGeneralRules.key took 0 ms to parse.
425577 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1511 ms.
425581 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/wdNumericalRules.key took 3 ms to parse.
425581 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1514 ms.
425592 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/wdLocSetRules.key took 0 ms to parse.
425593 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1514 ms.
425611 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/wdHeapRules.key took 0 ms to parse.
425611 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1514 ms.
425613 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/wdReachRules.key took 0 ms to parse.
425613 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1514 ms.
425613 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/wdSeqRules.key took 0 ms to parse.
425614 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1514 ms.
425615 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/wdStringRules.key took 0 ms to parse.
425615 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1514 ms.
425616 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/wdRegExRules.key took 0 ms to parse.
425616 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1514 ms.
425622 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/wdFormulaRules.key took 3 ms to parse.
425622 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1517 ms.
425628 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/loopInvariantRules.key took 0 ms to parse.
425628 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1517 ms.
425629 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/forLoopRules.key took 0 ms to parse.
425629 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1517 ms.
425631 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/execRules.key took 1 ms to parse.
425631 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1518 ms.
425680 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/loopScopeRules.key took 2 ms to parse.
425680 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1520 ms.
425697 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/loopScopeInvRule/Test.key took 0 ms to parse.
425697 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1520 ms.
426631 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.
426632 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1521 ms.
428497 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/loopScopeInvRule/Test.key took 0 ms to parse.
428497 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1521 ms.