TestTacletParser

all > de.uka.ilkd.key.parser > TestTacletParser
20

tests
0

failures
0

ignored
0.043s

duration
100%

successful

Tests

Test Duration Result
testAllLeft() 0.001s passed
testAllRight() 0.002s passed
testClose() 0.001s passed
testContraposition() 0.002s passed
testCut() 0.002s passed
testExConjSplit() 0.001s passed
testFIdempotent() 0.001s passed
testFreeReplacewithVariables() 0.002s passed
testImpLeft() 0.001s passed
testImpRight() 0.001s passed
testMakeInsertEq() 0.002s passed
testSchemaJava0() 0.003s passed
testSchemaJava1() 0.005s passed
testSchemaJava10() 0.002s passed
testSchemaJava11() 0.003s passed
testSchemaJava2() 0.004s passed
testSchemaJava4() 0.004s passed
testSchemaJava6() 0.002s passed
testSchemaJava8() 0.002s passed
testVarcondNew() 0.002s passed

Standard output

270422     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270422     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270422     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270422     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
270422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270422     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270422     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270422     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270422     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
270422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270422     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270422     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270422     WARN  Test worker     d.u.i.k.n.ParsingFacade   SLL was not enough 
270422     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:1:0: mismatched input '{' expecting {<EOF>, '\sorts', '\schemaVariables', '\programVariables', '\include', '\includeLDTs', '\classpath', '\bootclasspath', '\javaSource', '\withOptions', '\optionsDecl', '\settings', '\profile', '\heuristicsDecl', '\predicates', '\functions', '\transformers', '\rules', '\axioms', '\problem', '\chooseContract', '\proofObligation', '\proof', '\contracts', '\invariants', '/*!'} [@0,23:23='{',<148>,1:0] (file) 
270422     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270422     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270422     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270422     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   SLL was not enough 
270437     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:1:0: mismatched input '{' expecting {<EOF>, '\sorts', '\schemaVariables', '\programVariables', '\include', '\includeLDTs', '\classpath', '\bootclasspath', '\javaSource', '\withOptions', '\optionsDecl', '\settings', '\profile', '\heuristicsDecl', '\predicates', '\functions', '\transformers', '\rules', '\axioms', '\problem', '\chooseContract', '\proofObligation', '\proof', '\contracts', '\invariants', '/*!'} [@0,23:23='{',<148>,1:0] (file) 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270437     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
270437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270437     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270453     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270469     WARN  Test worker     d.u.i.k.n.ParsingFacade   <unknown> took 0 ms to parse. 
270469     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1153 ms. 
270469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270469     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
270469     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270469     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms