Standard output
41675 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
43036 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
43036 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
43051 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
45559 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
45559 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
45559 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
45559 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
46717 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
46717 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
46717 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
46717 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
46732 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
47923 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
47923 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
47939 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
50283 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
50283 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
50283 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
50283 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
51369 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
51369 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
51369 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
51369 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
51400 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
52559 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
52559 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
52574 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
54919 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
54919 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
54919 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
54919 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
55976 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
55976 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
55976 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
55976 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
55992 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
57135 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
57135 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
57151 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
59516 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
59516 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
59516 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
59516 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
60565 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
60565 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
60565 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
60565 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
60581 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
61691 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
61707 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
61707 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
64030 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
64030 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
64030 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
64030 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
65125 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
65125 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
65125 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
65125 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
65141 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
66456 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
66456 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
66472 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
68700 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
68700 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
68700 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
68700 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
69767 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
69767 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
69767 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
69767 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
69782 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
70897 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
70897 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
70913 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
73172 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
73172 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
73172 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
73172 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
74251 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
74251 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
74251 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
74251 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
74266 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
75392 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
75392 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
75408 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
77710 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
77710 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
77710 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
77710 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
78742 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
78742 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
78742 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
78742 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
78790 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
79863 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
79863 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
79879 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
82197 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
82197 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
82197 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
82197 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
83269 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
83269 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
83269 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
83269 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
83285 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
84372 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
84388 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
84388 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
86679 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
86679 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
86679 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
86679 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
87720 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
87720 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
87720 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
87720 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
87734 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
88873 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
88873 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
88888 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
91210 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
92315 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
92315 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
92331 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
94603 INFO Test worker d.u.i.k.n.KeyIO Parsing took 16 ms
94603 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
94603 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
94603 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
95642 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
95642 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
95642 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
95642 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
95657 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
96772 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
96787 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
96787 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
99027 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
99027 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
99027 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
99027 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
100075 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
100075 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
100075 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
100075 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
100090 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
101205 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
101205 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
101221 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