Standard output
43709 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
44990 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
44990 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
45022 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
47507 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
47507 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
47507 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
47507 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
48664 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
48664 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
48664 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
48664 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
48680 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
49837 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
49852 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
49852 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
52260 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
52260 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
52260 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
52260 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
53354 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
53354 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
53354 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
53354 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
53369 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
54621 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
54668 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
54668 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
57028 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
57028 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
57028 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
57028 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
58107 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
58107 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
58107 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
58107 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
58123 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
59295 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
59295 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
59311 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
61657 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
61657 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
61657 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
61657 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
62736 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
62736 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
62736 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
62736 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
62752 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
63908 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
63908 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
63924 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
66487 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
66487 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
66487 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
66487 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
67566 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
67581 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
67581 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
67581 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
67581 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
68785 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
68785 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
68801 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
71161 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
71161 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
71161 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
71176 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
72240 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
72240 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
72240 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
72240 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
72255 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
73413 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
73428 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
73428 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
75742 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
75742 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
75757 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 15 ms
75757 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
76790 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
76790 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
76790 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
76790 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
76805 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
77962 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
77962 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
77978 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
80322 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
80322 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
80322 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
80322 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
81385 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
81385 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
81385 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
81385 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
81401 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
82543 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
82543 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
82558 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
84857 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
84857 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
84857 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
84857 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
85937 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
85937 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
85937 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
85937 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
85952 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
87078 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
87093 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
87093 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
89376 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
89376 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
89376 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
89376 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
90454 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
90454 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
90454 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
90454 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
90454 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
91548 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
91564 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
91579 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
93909 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
95006 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
95006 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
95022 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
97321 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
97321 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
97321 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
97321 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
98369 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
98369 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
98369 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
98369 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
98384 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
99495 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
99495 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
99511 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
101777 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
101777 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
101777 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
101777 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
102809 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
102809 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
102809 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
102809 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
102824 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
103981 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
103981 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
103998 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