Standard output
34807 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src/test/resources/testcase/termParser/parserTest.key
35927 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java
35939 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java
35957 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
38207 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
38214 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
38215 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
38215 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
39239 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
39240 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
39240 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
39240 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
39247 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src/test/resources/testcase/termParser/parserTest.key
40417 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java
40419 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java
40429 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
42650 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
42650 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
42650 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
42651 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
43600 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
43600 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
43600 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
43601 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
43605 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src/test/resources/testcase/termParser/parserTest.key
44678 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java
44679 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java
44686 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
46785 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
46785 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
46785 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
46785 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
47757 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
47757 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
47758 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
47758 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
47761 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src/test/resources/testcase/termParser/parserTest.key
48831 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java
48832 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java
48839 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
50858 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
50859 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
50859 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
50859 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
51779 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
51779 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
51779 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
51779 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
51782 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src/test/resources/testcase/termParser/parserTest.key
52750 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java
52751 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java
52757 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
54808 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
54808 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
54808 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
54808 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
55716 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
55716 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
55716 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
55716 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
55720 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src/test/resources/testcase/termParser/parserTest.key
56682 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java
56683 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java
56692 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
58730 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
58730 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
58731 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
58731 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
59639 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
59639 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
59640 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
59640 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
59645 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src/test/resources/testcase/termParser/parserTest.key
60683 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java
60684 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java
60691 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
62721 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
62721 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
62721 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
62721 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
63652 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
63653 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
63653 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
63653 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
63657 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src/test/resources/testcase/termParser/parserTest.key
64632 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java
64633 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java
64640 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
66643 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
66644 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
66644 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
66644 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
67521 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
67522 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
67523 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
67523 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
67527 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src/test/resources/testcase/termParser/parserTest.key
68466 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java
68467 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java
68473 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
70539 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
70540 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
70540 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
70541 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
71444 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
71445 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
71445 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
71446 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
71450 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src/test/resources/testcase/termParser/parserTest.key
72392 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java
72393 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java
72399 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
74453 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
74453 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
74453 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
74453 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
75413 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
75413 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
75413 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
75413 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
75417 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src/test/resources/testcase/termParser/parserTest.key
76393 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java
76395 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java
76401 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
78467 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src/test/resources/testcase/termParser/parserTest.key
79483 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java
79484 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java
79492 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
81550 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
81550 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
81550 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
81550 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
82492 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
82492 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
82493 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
82493 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
82497 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src/test/resources/testcase/termParser/parserTest.key
83495 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java
83496 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java
83508 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
85555 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
85556 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
85556 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
85557 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
86485 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
86486 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
86486 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
86487 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
86491 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src/test/resources/testcase/termParser/parserTest.key
87513 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserSorts/IntegerMethods.java
87514 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now /home/runner/work/key/key/key.core/src/test/resources/testcase/termParser/testTermParserHeap/A.java
87521 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key