Standard output
755646 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/proofStarter/CC/project.key took 1 ms to parse.
755646 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1949 ms.
755647 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.
755647 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1949 ms.
755649 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.
755649 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1949 ms.
755654 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.
755657 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1949 ms.
755658 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.
755658 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1950 ms.
755660 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.
755663 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1951 ms.
755663 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.
755664 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1951 ms.
755664 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.
755664 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1951 ms.
755665 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.
755665 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1951 ms.
755665 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.
755665 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1951 ms.
755666 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.
755666 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1951 ms.
755666 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.
755666 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1951 ms.
755668 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.
755668 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1953 ms.
755668 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.
755668 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1953 ms.
755669 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.
755669 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1953 ms.
755669 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.
755669 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1953 ms.
755679 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.
755680 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1953 ms.
755687 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.
755687 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1954 ms.
755691 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.
755691 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1955 ms.
755702 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 4 ms to parse.
755702 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1959 ms.
755713 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 1 ms to parse.
755713 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1960 ms.
755716 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.
755716 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1961 ms.
755727 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 1 ms to parse.
755727 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1962 ms.
755732 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 1 ms to parse.
755732 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1963 ms.
755734 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.
755734 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1963 ms.
755737 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.
755737 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1964 ms.
755751 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 11 ms to parse.
755751 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1975 ms.
755792 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.
755792 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1977 ms.
755808 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.
755808 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1981 ms.
755824 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 1 ms to parse.
755824 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1982 ms.
755833 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 1 ms to parse.
755833 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1983 ms.
755834 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 0 ms to parse.
755834 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1983 ms.
755837 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.
755837 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1984 ms.
755843 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 2 ms to parse.
755843 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1986 ms.
755849 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.
755849 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1986 ms.
755850 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 0 ms to parse.
755850 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1986 ms.
755850 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.
755850 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1986 ms.
755857 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.
755857 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1987 ms.
755860 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.
755860 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1987 ms.
755862 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.
755862 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1987 ms.
755868 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 4 ms to parse.
755868 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1991 ms.
755886 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 4 ms to parse.
755886 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1995 ms.
755899 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 3 ms to parse.
755899 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1998 ms.
755907 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 3 ms to parse.
755907 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2001 ms.
755913 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.
755913 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2001 ms.
755918 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.
755918 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2005 ms.
755931 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 3 ms to parse.
755931 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2008 ms.
755938 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 0 ms to parse.
755938 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2008 ms.
755953 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 14 ms to parse.
755953 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2022 ms.
755958 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.
755958 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2023 ms.
756142 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.
756142 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2023 ms.
756146 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.
756146 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2024 ms.
756172 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.
756172 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2025 ms.
756179 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.
756179 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2025 ms.
756183 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 3 ms to parse.
756183 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2028 ms.
756202 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 1 ms to parse.
756203 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2029 ms.
756215 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.
756215 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2030 ms.
756224 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 0 ms to parse.
756225 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2030 ms.
756234 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 0 ms to parse.
756234 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2030 ms.
756237 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.
756237 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2032 ms.
756243 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.
756243 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2032 ms.
756244 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.
756244 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2032 ms.
756245 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 1 ms to parse.
756245 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2033 ms.
756247 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 1 ms to parse.
756247 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2034 ms.
756250 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.
756251 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2035 ms.
756254 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.
756254 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2036 ms.
756256 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.
756256 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2036 ms.
756258 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.
756258 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2036 ms.
756259 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.
756259 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2036 ms.
756260 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 1 ms to parse.
756260 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2037 ms.
756265 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.
756265 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2040 ms.
756276 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 1 ms to parse.
756276 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2041 ms.
756279 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.
756279 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2041 ms.
756281 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.
756282 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2041 ms.
756283 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.
756283 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2041 ms.
756287 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 2 ms to parse.
756287 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2043 ms.
756289 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.
756289 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2043 ms.
756292 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 2 ms to parse.
756292 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2045 ms.
756299 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.
756299 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2045 ms.
756301 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.
756301 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2045 ms.
756305 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 2 ms to parse.
756305 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2047 ms.
756365 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.
756366 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2049 ms.
757621 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.
757621 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2050 ms.
759720 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/proofStarter/CC/project.key took 0 ms to parse.
759720 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2050 ms.
783737 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/proofStarter/CC/project.key took 0 ms to parse.
783738 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2050 ms.
784668 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.
784668 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2051 ms.
786724 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/proofStarter/CC/project.key took 1 ms to parse.
786724 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 2052 ms.