Standard output
401947 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/ossRestriction.proof took 0 ms to parse.
401947 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1148 ms.
401948 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.
401948 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1148 ms.
401949 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.
401950 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1148 ms.
401950 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.
401950 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1148 ms.
401951 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.
401951 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1149 ms.
401952 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.
401952 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1149 ms.
401952 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.
401952 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1149 ms.
401953 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.
401953 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1149 ms.
401953 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.
401953 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1149 ms.
401953 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.
401953 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1149 ms.
401953 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.
401953 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1149 ms.
401953 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.
401953 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1149 ms.
401955 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.
401955 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1151 ms.
401955 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.
401955 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1151 ms.
401955 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.
401955 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1151 ms.
401955 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.
401955 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1151 ms.
401961 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 1 ms to parse.
401961 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1152 ms.
401964 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.
401964 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1153 ms.
401967 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.
401967 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1154 ms.
401973 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 3 ms to parse.
401973 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1157 ms.
401982 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.
401982 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1157 ms.
401984 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 0 ms to parse.
401984 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1157 ms.
401989 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.
401989 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1157 ms.
401992 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.
401992 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1157 ms.
401994 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.
401994 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1157 ms.
401996 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.
401996 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1158 ms.
402010 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.
402010 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1169 ms.
402043 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.
402043 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1171 ms.
402059 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.
402060 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1175 ms.
402090 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.
402090 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1177 ms.
402095 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.
402095 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1177 ms.
402098 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.
402098 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1178 ms.
402103 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.
402103 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1179 ms.
402107 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.
402108 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1180 ms.
402113 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.
402114 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1180 ms.
402114 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.
402114 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1180 ms.
402115 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.
402115 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1180 ms.
402122 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 0 ms to parse.
402123 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1180 ms.
402127 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 1 ms to parse.
402127 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1181 ms.
402128 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.
402128 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1181 ms.
402136 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.
402136 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1187 ms.
402156 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.
402157 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1191 ms.
402173 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 5 ms to parse.
402173 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1196 ms.
402194 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 10 ms to parse.
402194 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1206 ms.
402204 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.
402204 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1206 ms.
402209 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.
402209 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1210 ms.
402222 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 2 ms to parse.
402222 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1212 ms.
402230 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.
402231 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1212 ms.
402246 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.
402246 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1226 ms.
402250 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 0 ms to parse.
402250 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1226 ms.
402410 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 1 ms to parse.
402410 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1227 ms.
402415 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 2 ms to parse.
402415 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1229 ms.
402442 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.
402442 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1230 ms.
402450 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.
402451 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1230 ms.
402454 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.
402455 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1232 ms.
402473 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.
402473 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1234 ms.
402486 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.
402486 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1235 ms.
402502 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.
402502 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1236 ms.
402518 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.
402518 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1236 ms.
402523 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.
402523 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1238 ms.
402528 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.
402528 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1238 ms.
402529 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.
402529 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1238 ms.
402530 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.
402530 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1239 ms.
402534 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 2 ms to parse.
402534 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1241 ms.
402538 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.
402538 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1242 ms.
402542 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 0 ms to parse.
402543 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1242 ms.
402545 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.
402545 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1242 ms.
402547 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.
402547 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1242 ms.
402547 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.
402548 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1242 ms.
402548 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.
402548 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1242 ms.
402554 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 4 ms to parse.
402554 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1246 ms.
402564 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.
402573 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1247 ms.
402576 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 1 ms to parse.
402576 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1248 ms.
402578 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.
402578 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1248 ms.
402579 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.
402580 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1248 ms.
402582 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.
402582 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1248 ms.
402584 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 1 ms to parse.
402584 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1249 ms.
402586 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 1 ms to parse.
402586 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1250 ms.
402592 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.
402592 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1250 ms.
402593 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.
402594 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1250 ms.
402597 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.
402597 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1252 ms.
402655 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 1 ms to parse.
402656 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1253 ms.
403669 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.
403669 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1255 ms.
405571 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/ossRestriction.proof took 1 ms to parse.
405571 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1256 ms.