Standard output
43564 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
43580 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
43580 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
43595 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
43595 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
46166 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key
46182 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
46182 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
46182 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
46182 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
47348 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
47348 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
47348 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
47348 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
48637 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
48637 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
48653 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
48653 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
48653 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
51257 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key
51257 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
51257 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
51257 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
51257 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
52432 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
52432 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
52432 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
52432 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
53647 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
53647 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
53662 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
53662 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
53662 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
56132 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key
56148 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
56148 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
56148 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
56148 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
57277 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
57277 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
57277 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
57277 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
58473 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
58473 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
58488 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
58488 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
58488 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
60831 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key
60847 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
60847 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
60847 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
60847 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
61918 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
61918 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
61918 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
61918 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
63088 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
63088 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
63104 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
63104 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
63104 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
65551 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key
65567 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
65567 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
65567 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
65567 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
66617 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
66617 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
66617 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
66617 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
67823 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
67823 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
67839 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
67839 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
67855 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
70250 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key
70250 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
70250 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
70250 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
70266 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
71376 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
71376 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
71376 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
71376 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
72561 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
72561 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
72576 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
72576 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
72576 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
74927 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key
74943 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
74943 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
74943 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
74943 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
76064 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
76064 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
76064 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
76064 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
77307 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
77307 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
77322 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
77322 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
77322 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
79622 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key
79638 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
79638 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
79638 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
79638 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
80670 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
80670 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
80670 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
80670 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
81882 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
81882 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
81882 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
81897 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
81897 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
84282 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key
84298 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
84298 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
84298 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
84298 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
85407 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
85407 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
85407 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
85407 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
86614 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
86614 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
86614 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
86614 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
86629 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
89002 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key
89002 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
89002 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
89002 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
89018 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
90091 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
90091 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
90091 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
90091 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
91270 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
91270 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
91270 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
91286 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
91286 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
93668 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key
94856 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
94856 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
94856 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
94856 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
94871 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
97222 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key
97222 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
97222 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
97222 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
97222 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
98301 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
98301 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
98301 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
98301 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
99450 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
99450 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
99450 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
99450 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
99465 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
101855 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key
101871 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
101871 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
101871 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
101871 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
102981 INFO Test worker d.u.i.k.n.KeyIO Parsing took 16 ms
102981 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
102981 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
102981 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
104172 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
104172 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
104184 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key
104184 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
104184 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
106629 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key