Standard output
32220 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
33189 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
33189 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
33204 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
35034 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
35034 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
35050 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 16 ms
35050 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
35901 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
35901 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
35901 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
35901 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
35917 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
36809 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
36809 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
36825 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
38638 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
38638 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
38638 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
38638 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
39524 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
39524 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
39524 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
39524 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
39539 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
40470 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
40470 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
40470 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
42226 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
42226 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
42226 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
42226 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
43058 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
43058 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
43058 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
43058 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
43058 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
43976 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
43976 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
43976 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
45702 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
45702 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
45702 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
45702 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
46515 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
46515 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
46515 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
46515 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
46531 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
47394 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
47394 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
47394 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
49135 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
49135 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
49135 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
49135 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
49931 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
49931 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
49931 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
49931 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
49946 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
50973 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
50973 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
50988 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
52726 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
52726 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
52726 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
52726 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
53551 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
53551 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
53551 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
53551 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
53551 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
54427 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
54427 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
54427 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
56164 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
56164 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
56164 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
56164 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
56971 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
56971 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
56971 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
56971 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
56986 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
57837 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
57837 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
57853 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
59545 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
59545 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
59545 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
59545 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
60338 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
60338 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
60338 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
60338 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
60353 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
61199 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
61214 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
61214 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
62944 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
62944 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
62944 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
62944 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
63736 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
63736 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
63736 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
63736 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
63752 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
64609 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
64609 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
64609 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
66347 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
66347 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
66347 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
66347 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
67144 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
67144 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
67144 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
67144 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
67144 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
68007 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
68007 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
68023 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
69741 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
70610 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
70610 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
70610 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
72337 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
72337 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
72337 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
72337 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
73137 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
73137 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
73137 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
73137 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
73137 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
74013 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
74013 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
74028 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
75727 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
75727 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
75727 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
75727 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
76524 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
76524 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
76524 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
76524 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
76524 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
77384 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
77384 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
77400 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