Standard output
728778 WARN Test 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.
728779 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1840 ms.
728780 WARN Test 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.
728780 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1840 ms.
728780 WARN Test 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.
728780 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1840 ms.
728781 WARN Test 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.
728781 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1841 ms.
728782 WARN Test 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.
728782 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1841 ms.
728782 WARN Test 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.
728782 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1841 ms.
728782 WARN Test 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.
728782 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1841 ms.
728783 WARN Test 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.
728783 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1841 ms.
728783 WARN Test 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.
728783 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1841 ms.
728783 WARN Test 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.
728783 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1841 ms.
728783 WARN Test 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.
728783 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1841 ms.
728784 WARN Test 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.
728784 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1842 ms.
728784 WARN Test 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.
728784 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1842 ms.
728784 WARN Test 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.
728784 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1842 ms.
728784 WARN Test 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.
728784 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1842 ms.
728789 WARN Test 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.
728789 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1843 ms.
728791 WARN Test 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 0 ms to parse.
728791 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1843 ms.
728794 WARN Test 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.
728794 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1844 ms.
728800 WARN Test 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.
728800 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1846 ms.
728807 WARN Test 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.
728807 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1846 ms.
728809 WARN Test 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.
728809 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1846 ms.
728814 WARN Test 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.
728814 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1847 ms.
728817 WARN Test 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.
728817 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1848 ms.
728819 WARN Test 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.
728819 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1849 ms.
728821 WARN Test 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.
728821 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1850 ms.
728832 WARN Test 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 9 ms to parse.
728832 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1859 ms.
728860 WARN Test 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.
728860 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1861 ms.
728869 WARN Test 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.
728869 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1865 ms.
728881 WARN Test 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.
728881 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1866 ms.
728885 WARN Test 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.
728885 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1866 ms.
728886 WARN Test 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.
728887 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1866 ms.
728889 WARN Test 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.
728889 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1867 ms.
728894 WARN Test 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.
728894 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1869 ms.
728899 WARN Test 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.
728899 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1869 ms.
728899 WARN Test 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.
728899 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1869 ms.
728900 WARN Test 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.
728900 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1870 ms.
728905 WARN Test 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.
728905 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1871 ms.
728909 WARN Test 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.
728909 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1872 ms.
728910 WARN Test 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.
728910 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1872 ms.
728915 WARN Test 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.
728915 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1876 ms.
728933 WARN Test 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.
728933 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1880 ms.
728944 WARN Test 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 1 ms to parse.
728944 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1881 ms.
728951 WARN Test 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.
728951 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1883 ms.
728956 WARN Test 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.
728956 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1883 ms.
728960 WARN Test 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.
728961 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1886 ms.
728980 WARN Test 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.
728980 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1888 ms.
728995 WARN Test 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.
728995 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1888 ms.
729024 WARN Test 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 28 ms to parse.
729024 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1916 ms.
729028 WARN Test 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.
729028 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1916 ms.
729201 WARN Test 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.
729201 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1917 ms.
729205 WARN Test 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.
729205 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1918 ms.
729230 WARN Test 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.
729230 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1919 ms.
729237 WARN Test 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.
729237 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1919 ms.
729240 WARN Test 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.
729240 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1921 ms.
729257 WARN Test 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.
729257 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1923 ms.
729269 WARN Test 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.
729269 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1924 ms.
729277 WARN Test 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.
729278 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1924 ms.
729285 WARN Test 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.
729286 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1924 ms.
729288 WARN Test 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 1 ms to parse.
729289 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1925 ms.
729294 WARN Test 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 1 ms to parse.
729294 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1926 ms.
729294 WARN Test 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.
729294 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1926 ms.
729295 WARN Test 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.
729307 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1926 ms.
729318 WARN Test 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.
729318 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1927 ms.
729322 WARN Test 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.
729322 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1928 ms.
729326 WARN Test 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.
729327 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1929 ms.
729333 WARN Test 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.
729333 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1929 ms.
729335 WARN Test 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.
729335 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1929 ms.
729335 WARN Test 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.
729336 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1929 ms.
729336 WARN Test 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.
729336 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1929 ms.
729342 WARN Test 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.
729342 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1932 ms.
729353 WARN Test 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.
729354 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1932 ms.
729356 WARN Test 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.
729356 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1932 ms.
729358 WARN Test 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.
729361 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1932 ms.
729362 WARN Test 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.
729362 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1932 ms.
729364 WARN Test 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.
729364 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1933 ms.
729368 WARN Test 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.
729368 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1933 ms.
729371 WARN Test 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.
729371 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1935 ms.
729383 WARN Test 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.
729383 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1935 ms.
729393 WARN Test 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.
729393 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1935 ms.
729396 WARN Test 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.
729396 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1936 ms.
729458 WARN Test 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.
729458 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1937 ms.
730621 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.
730621 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1938 ms.
733675 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.
733675 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1939 ms.
735525 INFO Test worker d.u.i.k.s.n.ContractLoadingTests self.sumAndMax(a) catch(exc)
pre: ( \forall int i;
( (0 <= i & i < a.length)<<SC>> & inInt(i)
-> 0 <= a[i])
& ((self.<inv><<impl>> & (!a = null)<<impl>>)<<SC>>))<<SC>>
post: (\forall int i;
( (0 <= i & i < a.length)<<SC>> & inInt(i)
-> a[i] <= self.max)
& (( ( a.length > 0
-> \exists int i;
(( (0 <= i
& i < a.length)<<SC>>
& inInt(i)
& self.max = a[i])<<SC>>))
& (( self.sum = bsum{int i;}(0, a.length, a[i])
& (( self.sum <= a.length * self.max
& self.<inv><<impl>>)<<SC>>))<<SC>>))<<SC>>))<<SC>>
& (exc = null)<<impl>>
mod: {(self, SumAndMax::$sum)}
\cup {(self, SumAndMax::$max)}
termination: diamond
736456 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.
736456 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1940 ms.
739264 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.
739264 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1941 ms.