MergeRuleTests
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() | 11.014s | passed |
| testDoAutomaticGcdProofWithMergePointStatements() | 10.923s | passed |
| testDoManualGcdProof() | 19.058s | passed |
| testLoadClosedGcdProofWithMergePointStatements() | 3.879s | passed |
| testLoadGcdProof() | 3.781s | passed |
| testLoadGcdProofWithPredAbstr() | 3.841s | passed |
| testLoadGcdProofWithPredAbstrAndUserChoices() | 3.622s | passed |
| testLoadProofWithDiffVarsWithSameNameAndMPS() | 3.114s | passed |
| testMergeIndistinguishablePathConditionsWithFullAnonymization() | 2.780s | passed |
| testMergeIndistinguishablePathConditionsWithITE() | 2.766s | passed |
| testMergeThreeIndistinguishablePathConditionsWithITE() | 2.948s | passed |
Standard output
435362 WARN Test 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. 435362 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1532 ms. 435363 WARN Test 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. 435364 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1532 ms. 435364 WARN Test 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. 435364 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1532 ms. 435365 WARN Test 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 0 ms to parse. 435366 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1532 ms. 435367 WARN Test 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. 435367 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1533 ms. 435367 WARN Test 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. 435368 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1533 ms. 435368 WARN Test 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. 435368 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1533 ms. 435368 WARN Test 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. 435369 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1533 ms. 435369 WARN Test 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. 435369 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1533 ms. 435370 WARN Test 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. 435370 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1533 ms. 435370 WARN Test 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. 435370 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1533 ms. 435371 WARN Test 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. 435372 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1534 ms. 435372 WARN Test 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. 435372 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1534 ms. 435372 WARN Test 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. 435372 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1534 ms. 435373 WARN Test 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. 435373 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1534 ms. 435378 WARN Test 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. 435379 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1535 ms. 435381 WARN Test 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. 435381 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1536 ms. 435384 WARN Test 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. 435384 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1537 ms. 435390 WARN Test 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. 435390 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1539 ms. 435398 WARN Test 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. 435398 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1539 ms. 435405 WARN Test 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. 435405 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1539 ms. 435410 WARN Test 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. 435410 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1540 ms. 435412 WARN Test 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. 435413 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1540 ms. 435415 WARN Test 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 1 ms to parse. 435415 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1541 ms. 435417 WARN Test 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. 435417 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1542 ms. 435430 WARN Test 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 10 ms to parse. 435430 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1552 ms. 435458 WARN Test 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. 435459 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1554 ms. 435469 WARN Test 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. 435469 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1558 ms. 435481 WARN Test 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. 435482 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1560 ms. 435486 WARN Test 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. 435486 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1560 ms. 435488 WARN Test 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. 435489 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1560 ms. 435491 WARN Test 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. 435491 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1561 ms. 435496 WARN Test 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. 435496 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1563 ms. 435502 WARN Test 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. 435503 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1563 ms. 435503 WARN Test 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. 435503 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1563 ms. 435504 WARN Test 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 1 ms to parse. 435504 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1564 ms. 435510 WARN Test 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. 435510 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1565 ms. 435513 WARN Test 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. 435513 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1565 ms. 435515 WARN Test 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 1 ms to parse. 435515 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1566 ms. 435520 WARN Test 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. 435520 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1570 ms. 435535 WARN Test 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 3 ms to parse. 435536 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1573 ms. 435548 WARN Test 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. 435548 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1575 ms. 435555 WARN Test 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 1 ms to parse. 435556 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1576 ms. 435562 WARN Test 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 1 ms to parse. 435562 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1577 ms. 435566 WARN Test 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 3 ms to parse. 435567 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1580 ms. 435579 WARN Test 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. 435579 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1582 ms. 435587 WARN Test 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. 435587 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1583 ms. 435604 WARN Test 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 15 ms to parse. 435605 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1598 ms. 435609 WARN Test 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. 435610 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1598 ms. 435879 WARN Test 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. 435880 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1598 ms. 435885 WARN Test 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. 435887 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1600 ms. 435910 WARN Test 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. 435910 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1601 ms. 435917 WARN Test 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. 435918 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1601 ms. 435921 WARN Test 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. 435922 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1603 ms. 435938 WARN Test 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. 435939 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1604 ms. 435951 WARN Test 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 0 ms to parse. 435952 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1604 ms. 435960 WARN Test 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. 435960 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1605 ms. 435970 WARN Test 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. 435970 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1605 ms. 435974 WARN Test 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. 435974 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1607 ms. 435979 WARN Test 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. 435979 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1607 ms. 435980 WARN Test 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. 435980 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1607 ms. 435981 WARN Test 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. 435981 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1608 ms. 435983 WARN Test 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. 435983 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1609 ms. 435986 WARN Test 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. 435986 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1610 ms. 435990 WARN Test 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. 435990 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1611 ms. 435993 WARN Test 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. 435993 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1611 ms. 435995 WARN Test 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. 435995 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1611 ms. 435995 WARN Test 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. 435995 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1611 ms. 435996 WARN Test 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. 435996 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1611 ms. 436001 WARN Test 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. 436001 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1614 ms. 436012 WARN Test 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. 436012 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1615 ms. 436015 WARN Test 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. 436015 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1615 ms. 436017 WARN Test 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. 436017 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1615 ms. 436018 WARN Test 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. 436019 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1615 ms. 436021 WARN Test 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 1 ms to parse. 436021 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1616 ms. 436023 WARN Test 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. 436023 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1617 ms. 436026 WARN Test 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. 436026 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1619 ms. 436031 WARN Test 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. 436032 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1619 ms. 436032 WARN Test 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. 436033 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1619 ms. 436036 WARN Test 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. 436036 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1621 ms. 436086 WARN Test 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. 436086 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1623 ms. 436103 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/gcd.key took 0 ms to parse. 436103 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1623 ms. 437136 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. 437136 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1624 ms. 439084 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/gcd.key took 0 ms to parse. 439084 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1624 ms. 454422 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/A.differentVarsWithSameName.MPS.cut.closed.proof took 0 ms to parse. 454423 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1624 ms. 455367 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. 455367 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1625 ms. 457531 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/A.differentVarsWithSameName.MPS.cut.closed.proof took 0 ms to parse. 457532 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1625 ms. 457536 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/gcd.MPSAndBlockContract.key took 0 ms to parse. 457536 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1625 ms. 458534 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. 458534 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1626 ms. 460479 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/gcd.MPSAndBlockContract.key took 1 ms to parse. 460479 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1627 ms. 468550 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/gcd.closed.predicateAbstractionWithUserChoices.proof took 0 ms to parse. 468551 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1627 ms. 469511 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 0 ms to parse. 469511 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1627 ms. 472168 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/gcd.closed.predicateAbstractionWithUserChoices.proof took 0 ms to parse. 472168 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1627 ms. 472173 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/gcd.closed.predicateabstraction.proof took 0 ms to parse. 472173 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1627 ms. 473169 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. 473169 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1628 ms. 476009 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/gcd.closed.predicateabstraction.proof took 0 ms to parse. 476009 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1628 ms. 476012 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/IndistinguishablePathConditions.twoJoins.proof took 0 ms to parse. 476012 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1628 ms. 476933 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. 476933 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1629 ms. 478957 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/IndistinguishablePathConditions.twoJoins.proof took 0 ms to parse. 478957 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1629 ms. 478960 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/IndistinguishablePathConditions.proof took 0 ms to parse. 478960 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1629 ms. 479799 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 3 ms to parse. 479799 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1632 ms. 481717 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/IndistinguishablePathConditions.proof took 1 ms to parse. 481717 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1633 ms. 481742 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/gcd.mergePointStatements.closed.proof took 0 ms to parse. 481742 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1633 ms. 482677 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. 482677 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1635 ms. 485612 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/gcd.mergePointStatements.closed.proof took 0 ms to parse. 485612 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1635 ms. 485619 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/IndistinguishablePathConditions.proof took 0 ms to parse. 485619 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1635 ms. 486507 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. 486507 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1636 ms. 488383 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/IndistinguishablePathConditions.proof took 1 ms to parse. 488383 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1637 ms. 488386 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/gcd.mergePointStatements.key took 0 ms to parse. 488386 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1637 ms. 489342 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. 489342 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1638 ms. 491408 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/gcd.mergePointStatements.key took 1 ms to parse. 491408 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1639 ms. 499311 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/gcd.closed.proof took 0 ms to parse. 499311 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1639 ms. 500312 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. 500312 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1640 ms. 503086 WARN Test worker d.u.i.k.n.ParsingFacade /home/runner/work/key/key/key.core/src/test/resources/testcase/merge/gcd.closed.proof took 0 ms to parse. 503087 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1640 ms.