ExprTest

all > de.uka.ilkd.key.nparser > ExprTest
tests
failures
ignored
2.220s
duration
100%
successful
Tests
Standard output
Tests

Test	Method name	Duration	Result
[10] -5	parseAndVisit(String)[10]	0.012s	passed
[11] 1 + 1 = 2	parseAndVisit(String)[11]	0.010s	passed
[12] \if (3=4) \then (1) \else (2)	parseAndVisit(String)[12]	0.013s	passed
[13] \if (3=4 & 1=1) \then (\if (3=4) \then (1) \else (2)) \else (2)	parseAndVisit(String)[13]	0.009s	passed
[14] aa + bb*cc	parseAndVisit(String)[14]	0.010s	passed
[15] aa%bb*cc < -123	parseAndVisit(String)[15]	0.032s	passed
[16] \forall int x; true	parseAndVisit(String)[16]	0.010s	passed
[17] \forall numbers x; x = x	parseAndVisit(String)[17]	0.041s	passed
[18] (int)3+2	parseAndVisit(String)[18]	0.033s	passed
[19] 1.f + 1f = 20e-1f * (2f-1f)	parseAndVisit(String)[19]	0.031s	passed
[1] (bprod{int y;}(1, 2, y) = 0)	parseAndVisit(String)[1]	0.019s	passed
[20] 1.d + 1d <= 20e+1d * .01d	parseAndVisit(String)[20]	0.030s	passed
[21] 1f <= 2f	parseAndVisit(String)[21]	0.035s	passed
[22] 2d > 1d	parseAndVisit(String)[22]	0.039s	passed
[23] seqEmpty + seqEmpty	parseAndVisit(String)[23]	0.026s	passed
[2] 1 = 1 -> 2 = 2	parseAndVisit(String)[2]	0.016s	passed
[3] \< { int x = 1; } \> x=1	parseAndVisit(String)[3]	0.919s	passed
[4] \<{ int x = 1; {int s = 2;} }\> x=x	parseAndVisit(String)[4]	0.877s	passed
[5] true	parseAndVisit(String)[5]	0.012s	passed
[6] true & false	parseAndVisit(String)[6]	0.011s	passed
[7] 0	parseAndVisit(String)[7]	0.015s	passed
[8] 1	parseAndVisit(String)[8]	0.011s	passed
[9] 42	parseAndVisit(String)[9]	0.009s	passed
Standard output

188937     WARN  Test 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. 
188937     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 677 ms. 
188938     WARN  Test 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. 
188938     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 677 ms. 
188939     WARN  Test 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. 
188939     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 677 ms. 
188940     WARN  Test 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 1 ms to parse. 
188940     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 678 ms. 
188942     WARN  Test 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. 
188942     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 680 ms. 
188943     WARN  Test 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. 
188943     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 680 ms. 
188944     WARN  Test 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. 
188944     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 680 ms. 
188944     WARN  Test 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. 
188945     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 680 ms. 
188945     WARN  Test 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. 
188945     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 680 ms. 
188946     WARN  Test 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. 
188946     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 680 ms. 
188946     WARN  Test 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. 
188947     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 680 ms. 
188948     WARN  Test 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. 
188948     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 681 ms. 
188949     WARN  Test 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. 
188950     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 682 ms. 
188950     WARN  Test 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. 
188950     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 682 ms. 
188950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 13 ms 
188952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
188954     INFO  Test worker     d.u.i.k.n.ExprTest        Term: equals(bprod{y:int}(Z(1(#)),Z(2(#)),y),Z(0(#))) 
188957     WARN  Test 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. 
188957     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 682 ms. 
188958     WARN  Test 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. 
188958     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 682 ms. 
188958     WARN  Test 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. 
188958     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 682 ms. 
188959     WARN  Test 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. 
188959     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 682 ms. 
188960     WARN  Test 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. 
188961     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 683 ms. 
188961     WARN  Test 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. 
188961     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 683 ms. 
188962     WARN  Test 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. 
188962     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 683 ms. 
188962     WARN  Test 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. 
188962     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 683 ms. 
188963     WARN  Test 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. 
188963     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 683 ms. 
188963     WARN  Test 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. 
188964     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 683 ms. 
188964     WARN  Test 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. 
188964     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 683 ms. 
188965     WARN  Test 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. 
188965     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 683 ms. 
188966     WARN  Test 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. 
188967     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 683 ms. 
188968     WARN  Test 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. 
188968     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 683 ms. 
188968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 12 ms 
188969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
188971     INFO  Test worker     d.u.i.k.n.ExprTest        Term: imp(equals(Z(1(#)),Z(1(#))),equals(Z(2(#)),Z(2(#)))) 
188973     WARN  Test 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. 
188974     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 683 ms. 
188974     WARN  Test 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. 
188974     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 683 ms. 
188975     WARN  Test 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. 
188975     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 683 ms. 
188975     WARN  Test 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. 
188975     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 683 ms. 
188977     WARN  Test 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. 
188977     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 684 ms. 
188978     WARN  Test 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. 
188978     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 684 ms. 
188978     WARN  Test 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. 
188979     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 684 ms. 
188979     WARN  Test 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. 
188979     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 684 ms. 
188979     WARN  Test 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. 
188980     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 684 ms. 
188980     WARN  Test 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. 
188980     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 684 ms. 
188981     WARN  Test 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 1 ms to parse. 
188981     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 685 ms. 
188982     WARN  Test 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. 
188982     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 686 ms. 
188983     WARN  Test 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. 
188983     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 687 ms. 
188984     WARN  Test 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. 
188984     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 687 ms. 
188984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 11 ms 
188985     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
189889     INFO  Test worker     d.u.i.k.n.ExprTest        Term: \<{
  int x = 1;
}\> (equals(x,Z(1(#)))) 
189892     WARN  Test 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. 
189893     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 687 ms. 
189893     WARN  Test 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. 
189894     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 687 ms. 
189894     WARN  Test 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. 
189894     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 687 ms. 
189895     WARN  Test 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. 
189895     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 687 ms. 
189896     WARN  Test 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. 
189897     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 688 ms. 
189897     WARN  Test 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. 
189898     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 688 ms. 
189898     WARN  Test 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. 
189898     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 688 ms. 
189899     WARN  Test 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. 
189900     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 688 ms. 
189900     WARN  Test 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. 
189901     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 688 ms. 
189905     WARN  Test 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. 
189905     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 688 ms. 
189906     WARN  Test 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. 
189906     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 688 ms. 
189907     WARN  Test 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. 
189907     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 688 ms. 
189909     WARN  Test 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. 
189909     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 689 ms. 
189909     WARN  Test 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. 
189909     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 689 ms. 
189910     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 18 ms 
189911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
190768     INFO  Test worker     d.u.i.k.n.ExprTest        Term: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
190771     WARN  Test 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. 
190771     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 689 ms. 
190771     WARN  Test 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. 
190772     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 689 ms. 
190772     WARN  Test 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. 
190772     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 689 ms. 
190772     WARN  Test 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. 
190772     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 689 ms. 
190773     WARN  Test 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. 
190773     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 690 ms. 
190774     WARN  Test 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. 
190774     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 690 ms. 
190774     WARN  Test 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. 
190774     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 690 ms. 
190774     WARN  Test 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. 
190774     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 690 ms. 
190774     WARN  Test 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. 
190774     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 690 ms. 
190774     WARN  Test 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. 
190774     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 690 ms. 
190775     WARN  Test 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. 
190775     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 690 ms. 
190776     WARN  Test 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. 
190776     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 691 ms. 
190778     WARN  Test 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. 
190778     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 692 ms. 
190778     WARN  Test 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. 
190778     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 692 ms. 
190778     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 7 ms 
190779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
190781     INFO  Test worker     d.u.i.k.n.ExprTest        Term: true 
190785     WARN  Test 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. 
190785     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 692 ms. 
190786     WARN  Test 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 1 ms to parse. 
190786     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 693 ms. 
190786     WARN  Test 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. 
190786     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 693 ms. 
190786     WARN  Test 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. 
190786     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 693 ms. 
190787     WARN  Test 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. 
190787     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 694 ms. 
190788     WARN  Test 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. 
190788     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 694 ms. 
190788     WARN  Test 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. 
190788     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 694 ms. 
190788     WARN  Test 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. 
190788     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 694 ms. 
190788     WARN  Test 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. 
190788     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 694 ms. 
190789     WARN  Test 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. 
190789     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 695 ms. 
190789     WARN  Test 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. 
190789     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 695 ms. 
190790     WARN  Test 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. 
190790     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 696 ms. 
190791     WARN  Test 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. 
190791     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 697 ms. 
190791     WARN  Test 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. 
190791     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 697 ms. 
190791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 6 ms 
190792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
190794     INFO  Test worker     d.u.i.k.n.ExprTest        Term: and(true,false) 
190796     WARN  Test 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. 
190796     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 697 ms. 
190797     WARN  Test 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. 
190797     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 697 ms. 
190797     WARN  Test 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. 
190797     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 697 ms. 
190797     WARN  Test 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. 
190797     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 697 ms. 
190799     WARN  Test 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. 
190799     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 699 ms. 
190800     WARN  Test 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. 
190800     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 699 ms. 
190800     WARN  Test 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. 
190800     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 699 ms. 
190800     WARN  Test 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. 
190804     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 699 ms. 
190804     WARN  Test 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. 
190805     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 699 ms. 
190805     WARN  Test 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. 
190805     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 699 ms. 
190805     WARN  Test 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. 
190805     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 699 ms. 
190806     WARN  Test 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. 
190806     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 700 ms. 
190807     WARN  Test 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. 
190807     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 701 ms. 
190807     WARN  Test 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. 
190807     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 701 ms. 
190807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 11 ms 
190808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
190810     INFO  Test worker     d.u.i.k.n.ExprTest        Term: Z(0(#)) 
190813     WARN  Test 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. 
190813     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 701 ms. 
190813     WARN  Test 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. 
190813     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 701 ms. 
190814     WARN  Test 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 1 ms to parse. 
190814     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 702 ms. 
190814     WARN  Test 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. 
190814     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 702 ms. 
190815     WARN  Test 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. 
190815     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 703 ms. 
190816     WARN  Test 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 1 ms to parse. 
190816     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 704 ms. 
190816     WARN  Test 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. 
190816     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 704 ms. 
190816     WARN  Test 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. 
190816     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 704 ms. 
190817     WARN  Test 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. 
190817     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 704 ms. 
190817     WARN  Test 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. 
190817     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 704 ms. 
190817     WARN  Test 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. 
190817     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 704 ms. 
190818     WARN  Test 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. 
190818     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 705 ms. 
190819     WARN  Test 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. 
190819     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 706 ms. 
190819     WARN  Test 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. 
190819     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 706 ms. 
190819     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 6 ms 
190820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
190822     INFO  Test worker     d.u.i.k.n.ExprTest        Term: Z(1(#)) 
190824     WARN  Test 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. 
190824     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 706 ms. 
190824     WARN  Test 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. 
190824     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 706 ms. 
190824     WARN  Test 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. 
190824     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 706 ms. 
190825     WARN  Test 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. 
190825     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 706 ms. 
190826     WARN  Test 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. 
190826     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 707 ms. 
190827     WARN  Test 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. 
190827     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 707 ms. 
190827     WARN  Test 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. 
190827     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 707 ms. 
190827     WARN  Test 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. 
190827     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 707 ms. 
190827     WARN  Test 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. 
190827     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 707 ms. 
190827     WARN  Test 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. 
190827     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 707 ms. 
190828     WARN  Test 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. 
190828     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 707 ms. 
190828     WARN  Test 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. 
190828     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 707 ms. 
190829     WARN  Test 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. 
190829     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 707 ms. 
190829     WARN  Test 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. 
190829     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 707 ms. 
190829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 5 ms 
190830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
190832     INFO  Test worker     d.u.i.k.n.ExprTest        Term: Z(2(4(#))) 
190834     WARN  Test 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 1 ms to parse. 
190834     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 708 ms. 
190834     WARN  Test 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. 
190834     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 708 ms. 
190834     WARN  Test 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. 
190834     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 708 ms. 
190834     WARN  Test 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. 
190834     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 708 ms. 
190835     WARN  Test 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. 
190835     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 709 ms. 
190836     WARN  Test 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. 
190836     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 709 ms. 
190838     WARN  Test 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. 
190838     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 709 ms. 
190839     WARN  Test 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 1 ms to parse. 
190839     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 710 ms. 
190839     WARN  Test 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. 
190839     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 710 ms. 
190839     WARN  Test 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. 
190839     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 710 ms. 
190839     WARN  Test 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. 
190839     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 710 ms. 
190840     WARN  Test 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. 
190840     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 710 ms. 
190841     WARN  Test 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. 
190841     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 711 ms. 
190841     WARN  Test 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. 
190841     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 711 ms. 
190841     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 8 ms 
190842     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
190844     INFO  Test worker     d.u.i.k.n.ExprTest        Term: Z(neglit(5(#))) 
190846     WARN  Test 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. 
190846     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 711 ms. 
190847     WARN  Test 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. 
190847     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 711 ms. 
190847     WARN  Test 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. 
190847     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 711 ms. 
190847     WARN  Test 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. 
190847     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 711 ms. 
190848     WARN  Test 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. 
190848     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 712 ms. 
190849     WARN  Test 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. 
190849     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 712 ms. 
190849     WARN  Test 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. 
190849     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 712 ms. 
190849     WARN  Test 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. 
190849     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 712 ms. 
190849     WARN  Test 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. 
190850     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 712 ms. 
190850     WARN  Test 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. 
190850     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 712 ms. 
190850     WARN  Test 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. 
190850     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 712 ms. 
190851     WARN  Test 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. 
190851     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 713 ms. 
190852     WARN  Test 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. 
190852     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 714 ms. 
190852     WARN  Test 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. 
190852     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 714 ms. 
190852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 6 ms 
190853     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
190855     INFO  Test worker     d.u.i.k.n.ExprTest        Term: equals(add(Z(1(#)),Z(1(#))),Z(2(#))) 
190857     WARN  Test 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. 
190859     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 714 ms. 
190860     WARN  Test 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. 
190860     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 714 ms. 
190860     WARN  Test 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. 
190860     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 714 ms. 
190860     WARN  Test 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. 
190860     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 714 ms. 
190861     WARN  Test 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. 
190861     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 715 ms. 
190862     WARN  Test 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. 
190862     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 715 ms. 
190862     WARN  Test 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. 
190862     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 715 ms. 
190862     WARN  Test 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. 
190862     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 715 ms. 
190862     WARN  Test 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. 
190863     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 715 ms. 
190863     WARN  Test 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. 
190863     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 715 ms. 
190863     WARN  Test 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. 
190863     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 715 ms. 
190864     WARN  Test 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. 
190864     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 716 ms. 
190865     WARN  Test 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. 
190865     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 717 ms. 
190865     WARN  Test 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. 
190865     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 717 ms. 
190865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 8 ms 
190866     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
190868     INFO  Test worker     d.u.i.k.n.ExprTest        Term: if-then-else(equals(Z(3(#)),Z(4(#))),Z(1(#)),Z(2(#))) 
190870     WARN  Test 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. 
190870     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 717 ms. 
190870     WARN  Test 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. 
190870     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 717 ms. 
190870     WARN  Test 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. 
190870     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 717 ms. 
190871     WARN  Test 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. 
190871     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 717 ms. 
190872     WARN  Test 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. 
190872     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 718 ms. 
190872     WARN  Test 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. 
190872     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 718 ms. 
190872     WARN  Test 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. 
190872     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 718 ms. 
190873     WARN  Test 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. 
190873     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 718 ms. 
190873     WARN  Test 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. 
190873     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 718 ms. 
190873     WARN  Test 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. 
190873     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 718 ms. 
190873     WARN  Test 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. 
190873     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 718 ms. 
190874     WARN  Test 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. 
190874     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 719 ms. 
190875     WARN  Test 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. 
190875     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 720 ms. 
190875     WARN  Test 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. 
190875     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 720 ms. 
190875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 5 ms 
190876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
190878     INFO  Test worker     d.u.i.k.n.ExprTest        Term: if-then-else(and(equals(Z(3(#)),Z(4(#))),equals(Z(1(#)),Z(1(#)))),if-then-else(equals(Z(3(#)),Z(4(#))),Z(1(#)),Z(2(#))),Z(2(#))) 
190880     WARN  Test 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. 
190880     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 720 ms. 
190880     WARN  Test 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. 
190880     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 720 ms. 
190880     WARN  Test 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. 
190880     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 720 ms. 
190880     WARN  Test 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. 
190881     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 720 ms. 
190882     WARN  Test 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. 
190882     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 721 ms. 
190882     WARN  Test 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. 
190882     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 721 ms. 
190883     WARN  Test 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. 
190883     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 721 ms. 
190883     WARN  Test 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. 
190883     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 721 ms. 
190883     WARN  Test 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. 
190883     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 721 ms. 
190883     WARN  Test 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. 
190883     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 721 ms. 
190884     WARN  Test 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 1 ms to parse. 
190884     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 722 ms. 
190884     WARN  Test 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. 
190884     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 722 ms. 
190885     WARN  Test 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. 
190885     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 723 ms. 
190885     WARN  Test 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. 
190885     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 723 ms. 
190885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 6 ms 
190886     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
190888     INFO  Test worker     d.u.i.k.n.ExprTest        Term: add(aa,mul(bb,cc)) 
190898     WARN  Test 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. 
190898     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 723 ms. 
190899     WARN  Test 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. 
190899     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 723 ms. 
190899     WARN  Test 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. 
190899     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 723 ms. 
190899     WARN  Test 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. 
190899     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 723 ms. 
190914     WARN  Test 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 15 ms to parse. 
190914     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 738 ms. 
190915     WARN  Test 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. 
190915     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 738 ms. 
190915     WARN  Test 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. 
190915     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 738 ms. 
190915     WARN  Test 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. 
190915     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 738 ms. 
190915     WARN  Test 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. 
190915     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 738 ms. 
190915     WARN  Test 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. 
190915     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 738 ms. 
190916     WARN  Test 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 1 ms to parse. 
190916     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 739 ms. 
190916     WARN  Test 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. 
190917     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 739 ms. 
190918     WARN  Test 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. 
190918     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 740 ms. 
190918     WARN  Test 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. 
190918     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 740 ms. 
190918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 20 ms 
190919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
190929     INFO  Test worker     d.u.i.k.n.ExprTest        Term: lt(mul(mod(aa,bb),cc),Z(neglit(3(2(1(#)))))) 
190932     WARN  Test 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. 
190932     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 740 ms. 
190932     WARN  Test 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. 
190932     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 740 ms. 
190932     WARN  Test 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. 
190932     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 740 ms. 
190932     WARN  Test 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. 
190933     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 740 ms. 
190934     WARN  Test 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. 
190934     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 741 ms. 
190935     WARN  Test 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. 
190935     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 741 ms. 
190935     WARN  Test 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. 
190935     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 741 ms. 
190935     WARN  Test 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. 
190935     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 741 ms. 
190935     WARN  Test 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. 
190935     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 741 ms. 
190935     WARN  Test 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. 
190935     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 741 ms. 
190936     WARN  Test 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 1 ms to parse. 
190936     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 742 ms. 
190936     WARN  Test 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. 
190936     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 742 ms. 
190937     WARN  Test 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. 
190937     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 742 ms. 
190937     WARN  Test 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. 
190937     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 742 ms. 
190937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 6 ms 
190938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
190940     INFO  Test worker     d.u.i.k.n.ExprTest        Term: all{x:int}(true) 
190945     WARN  Test 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. 
190945     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 742 ms. 
190945     WARN  Test 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. 
190945     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 742 ms. 
190945     WARN  Test 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. 
190946     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 742 ms. 
190946     WARN  Test 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. 
190946     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 742 ms. 
190947     WARN  Test 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. 
190947     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 743 ms. 
190947     WARN  Test 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. 
190947     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 743 ms. 
190948     WARN  Test 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. 
190948     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 743 ms. 
190948     WARN  Test 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. 
190948     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 743 ms. 
190948     WARN  Test 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. 
190948     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 743 ms. 
190948     WARN  Test 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. 
190948     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 743 ms. 
190948     WARN  Test 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. 
190948     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 743 ms. 
190964     WARN  Test 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 15 ms to parse. 
190964     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 758 ms. 
190965     WARN  Test 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. 
190965     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 759 ms. 
190965     WARN  Test 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. 
190965     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 759 ms. 
190965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 20 ms 
190966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
190969     INFO  Test worker     d.u.i.k.n.ExprTest        Term: all{x:numbers}(equals(x,x)) 
190987     WARN  Test 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. 
190987     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 759 ms. 
190988     WARN  Test 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. 
190988     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 759 ms. 
190988     WARN  Test 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. 
190988     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 759 ms. 
190988     WARN  Test 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. 
190988     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 759 ms. 
190989     WARN  Test 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. 
190990     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 760 ms. 
190990     WARN  Test 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. 
190990     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 760 ms. 
190991     WARN  Test 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. 
190991     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 760 ms. 
190991     WARN  Test 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. 
190991     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 760 ms. 
190991     WARN  Test 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. 
190991     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 760 ms. 
190992     WARN  Test 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. 
190992     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 760 ms. 
190992     WARN  Test 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. 
190992     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 760 ms. 
190993     WARN  Test 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. 
190993     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 760 ms. 
190994     WARN  Test 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. 
190997     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 761 ms. 
190998     WARN  Test 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 1 ms to parse. 
190998     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 762 ms. 
190998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 11 ms 
190999     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
191017     INFO  Test worker     d.u.i.k.n.ExprTest        Term: add(int::cast(Z(3(#))),Z(2(#))) 
191028     WARN  Test 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. 
191028     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 762 ms. 
191029     WARN  Test 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. 
191029     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 762 ms. 
191030     WARN  Test 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. 
191030     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 762 ms. 
191030     WARN  Test 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. 
191030     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 762 ms. 
191032     WARN  Test 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. 
191032     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 763 ms. 
191033     WARN  Test 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. 
191033     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 763 ms. 
191034     WARN  Test 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 1 ms to parse. 
191034     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 764 ms. 
191034     WARN  Test 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. 
191034     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 764 ms. 
191035     WARN  Test 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. 
191035     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 764 ms. 
191035     WARN  Test 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. 
191036     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 764 ms. 
191036     WARN  Test 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. 
191036     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 764 ms. 
191037     WARN  Test 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. 
191037     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 764 ms. 
191038     WARN  Test 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. 
191045     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 764 ms. 
191045     WARN  Test 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. 
191045     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 764 ms. 
191046     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 18 ms 
191047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
191050     INFO  Test worker     d.u.i.k.n.ExprTest        Term: equals(addFloat(FP(6(1(2(3(5(3(5(6(0(1(#))))))))))),FP(6(1(2(3(5(3(5(6(0(1(#)))))))))))),mulFloat(FP(4(2(8(1(4(7(3(7(0(1(#))))))))))),subFloat(FP(4(2(8(1(4(7(3(7(0(1(#))))))))))),FP(6(1(2(3(5(3(5(6(0(1(#)))))))))))))) 
191052     WARN  Test 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. 
191053     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 764 ms. 
191053     WARN  Test 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. 
191058     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 764 ms. 
191058     WARN  Test 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. 
191058     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 764 ms. 
191059     WARN  Test 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. 
191059     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 764 ms. 
191061     WARN  Test 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. 
191061     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 766 ms. 
191062     WARN  Test 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. 
191062     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 766 ms. 
191062     WARN  Test 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. 
191062     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 766 ms. 
191063     WARN  Test 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. 
191063     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 766 ms. 
191063     WARN  Test 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. 
191063     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 766 ms. 
191064     WARN  Test 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. 
191064     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 766 ms. 
191064     WARN  Test 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. 
191066     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 766 ms. 
191067     WARN  Test 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. 
191069     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 767 ms. 
191070     WARN  Test 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. 
191077     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 768 ms. 
191077     WARN  Test 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. 
191077     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 768 ms. 
191078     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 26 ms 
191079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
191081     INFO  Test worker     d.u.i.k.n.ExprTest        Term: leqDouble(addDouble(DFP(8(0(4(7(1(0(0(0(8(8(1(4(2(8(1(7(0(6(4(#)))))))))))))))))))),DFP(8(0(4(7(1(0(0(0(8(8(1(4(2(8(1(7(0(6(4(#))))))))))))))))))))),mulDouble(DFP(4(8(7(6(0(0(2(8(9(0(9(8(0(4(2(1(4(6(4(#)))))))))))))))))))),DFP(5(7(6(7(8(0(4(0(3(9(2(2(8(1(9(6(7(5(4(#)))))))))))))))))))))) 
191084     WARN  Test 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. 
191084     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 768 ms. 
191085     WARN  Test 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. 
191085     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 768 ms. 
191085     WARN  Test 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. 
191086     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 768 ms. 
191086     WARN  Test 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. 
191086     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 768 ms. 
191097     WARN  Test 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 11 ms to parse. 
191097     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 779 ms. 
191098     WARN  Test 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. 
191098     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 779 ms. 
191099     WARN  Test 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. 
191099     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 779 ms. 
191100     WARN  Test 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. 
191100     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 779 ms. 
191100     WARN  Test 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. 
191101     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 779 ms. 
191101     WARN  Test 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. 
191102     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 779 ms. 
191107     WARN  Test 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 1 ms to parse. 
191107     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 780 ms. 
191108     WARN  Test 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. 
191108     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 781 ms. 
191109     WARN  Test 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. 
191109     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 781 ms. 
191110     WARN  Test 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. 
191110     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 781 ms. 
191110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 26 ms 
191111     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
191113     INFO  Test worker     d.u.i.k.n.ExprTest        Term: leqFloat(FP(6(1(2(3(5(3(5(6(0(1(#))))))))))),FP(4(2(8(1(4(7(3(7(0(1(#)))))))))))) 
191120     WARN  Test 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. 
191128     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 781 ms. 
191129     WARN  Test 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. 
191129     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 781 ms. 
191130     WARN  Test 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. 
191130     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 781 ms. 
191130     WARN  Test 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. 
191130     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 781 ms. 
191132     WARN  Test 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. 
191133     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 782 ms. 
191133     WARN  Test 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. 
191134     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 782 ms. 
191134     WARN  Test 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. 
191134     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 782 ms. 
191134     WARN  Test 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. 
191135     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 782 ms. 
191135     WARN  Test 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. 
191135     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 782 ms. 
191136     WARN  Test 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. 
191136     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 783 ms. 
191136     WARN  Test 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. 
191137     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 783 ms. 
191137     WARN  Test 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. 
191138     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 783 ms. 
191139     WARN  Test 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. 
191139     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 784 ms. 
191139     WARN  Test 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. 
191140     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 784 ms. 
191140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 20 ms 
191141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
191151     INFO  Test worker     d.u.i.k.n.ExprTest        Term: gtDouble(DFP(4(0(9(7(8(3(7(2(4(8(1(0(6(8(6(1(1(6(4(#)))))))))))))))))))),DFP(8(0(4(7(1(0(0(0(8(8(1(4(2(8(1(7(0(6(4(#))))))))))))))))))))) 
191160     WARN  Test 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. 
191160     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 784 ms. 
191160     WARN  Test 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. 
191160     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 784 ms. 
191160     WARN  Test 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. 
191160     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 784 ms. 
191161     WARN  Test 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. 
191161     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 784 ms. 
191162     WARN  Test 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. 
191162     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 785 ms. 
191163     WARN  Test 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. 
191163     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 785 ms. 
191163     WARN  Test 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. 
191163     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 785 ms. 
191163     WARN  Test 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. 
191163     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 785 ms. 
191164     WARN  Test 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 1 ms to parse. 
191164     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 786 ms. 
191164     WARN  Test 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. 
191164     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 786 ms. 
191165     WARN  Test 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. 
191165     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 786 ms. 
191169     WARN  Test 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. 
191169     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 787 ms. 
191170     WARN  Test 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. 
191170     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 788 ms. 
191170     WARN  Test 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. 
191170     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 788 ms. 
191170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 10 ms 
191175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 5 ms 
191185     INFO  Test worker     d.u.i.k.n.ExprTest        Term: seqConcat(seqEmpty,seqEmpty)