Standard output
33660 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse.
33660 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 147 ms.
34614 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
34614 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 147 ms.
36430 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
36430 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 147 ms.
36430 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
36430 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
36430 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
36430 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
37299 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
37299 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 147 ms.
37299 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
37299 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
37299 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
37299 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
37315 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse.
37315 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 147 ms.
38222 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
38222 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 147 ms.
40011 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
40011 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 147 ms.
40011 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
40011 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
40011 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
40011 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
40819 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
40819 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 147 ms.
40819 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
40819 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
40819 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
40819 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
40835 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse.
40835 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 147 ms.
41761 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 3 ms to parse.
41761 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 150 ms.
43532 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
43532 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 150 ms.
43532 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
43532 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
43532 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
43532 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
44359 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
44359 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 150 ms.
44359 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
44359 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
44359 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
44359 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
44359 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse.
44359 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 150 ms.
45250 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
45250 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 150 ms.
47055 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
47055 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 150 ms.
47055 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
47055 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
47055 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
47055 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
47855 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
47855 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 150 ms.
47855 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
47855 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
47855 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
47855 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
47870 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse.
47870 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 150 ms.
48771 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 16 ms to parse.
48771 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
50482 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
50482 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
50482 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
50482 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
50482 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
50482 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
51311 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
51311 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
51311 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
51311 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
51311 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
51311 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
51311 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse.
51311 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
52203 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
52203 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
53961 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
53961 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
53961 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
53961 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
53961 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
53961 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
54773 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
54773 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
54773 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
54773 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
54773 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
54773 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
54789 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse.
54789 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
55986 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
55986 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
57697 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
57697 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
57697 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
57697 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
57697 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
57713 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
58520 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
58520 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
58520 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
58520 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
58520 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
58520 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
58536 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse.
58551 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
59414 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
59414 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
61136 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
61136 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
61136 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
61136 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
61136 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
61136 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
61902 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
61902 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
61902 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
61902 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
61902 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
61902 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
61949 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse.
61949 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
62807 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
62807 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
64533 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
64533 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
64533 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
64533 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
64533 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
64533 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
65323 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
65323 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
65323 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
65323 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
65323 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
65323 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
65339 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse.
65339 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
66200 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
66200 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
67915 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
67915 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
67915 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
67930 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
67930 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
67930 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
68704 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
68704 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
68704 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
68704 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
68704 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
68704 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
68719 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse.
68719 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
69599 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
69599 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
71303 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse.
71303 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 166 ms.
72178 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 2 ms to parse.
72178 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 168 ms.
73857 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
73857 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 168 ms.
73857 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
73857 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
73872 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 15 ms
73872 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
74676 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
74676 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 168 ms.
74676 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
74676 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
74676 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
74676 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
74691 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse.
74691 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 168 ms.
75559 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
75559 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 168 ms.
77266 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
77266 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 168 ms.
77266 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
77266 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
77266 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
77266 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
78063 WARN Test worker d.u.i.k.n.ParsingFacade <unknown> took 0 ms to parse.
78063 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 168 ms.
78063 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
78063 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
78063 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
78063 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
78079 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\termParser\parserTest.key took 0 ms to parse.
78079 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 168 ms.
78951 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
78951 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 168 ms.