Standard output
42669 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
43998 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java
43998 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java
44013 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
46530 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
46530 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
46530 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
46530 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
47718 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
47718 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
47718 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
47718 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
47734 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
48984 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java
49000 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java
49000 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
51516 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
51516 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
51516 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
51516 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
52579 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
52579 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
52595 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 16 ms
52595 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
52610 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
53736 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java
53736 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java
53752 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
56112 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
56112 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
56112 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
56112 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
57175 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
57175 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
57191 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 16 ms
57191 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
57240 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
58396 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java
58396 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java
58411 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
60772 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
60772 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
60772 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
60772 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
61915 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
61915 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
61915 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
61915 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
61930 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
63134 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java
63134 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java
63150 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
65495 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
65495 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
65495 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
65495 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
66573 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
66573 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
66573 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
66573 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
66589 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
67778 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java
67778 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java
67802 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
70139 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
70139 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
70139 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
70139 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
71155 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
71155 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
71155 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
71155 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
71171 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
72297 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java
72297 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java
72313 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
74548 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
74548 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
74548 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
74548 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
75642 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
75642 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
75642 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
75642 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
75658 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
76784 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java
76784 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java
76784 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
79096 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
79096 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
79096 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
79096 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
80175 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
80175 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
80175 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
80175 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
80190 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
81285 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java
81285 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java
81300 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
83598 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
83598 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
83598 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
83598 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
84646 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
84646 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
84646 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
84646 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
84661 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
85787 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java
85787 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java
85803 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
88023 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
88023 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
88023 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
88023 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
89070 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
89070 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
89070 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
89070 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
89086 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
90181 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java
90181 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java
90196 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
92417 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
93512 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java
93512 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java
93528 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
95748 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
95748 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
95763 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 15 ms
95763 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
96842 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
96842 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
96842 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
96842 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
96858 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
97952 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java
97952 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java
97968 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
100187 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
100187 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
100187 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
100187 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
101203 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
101203 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
101203 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
101203 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
101219 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
102298 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java
102298 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java
102298 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key