TestTacletParser

all > de.uka.ilkd.key.parser > TestTacletParser
tests
failures
ignored
0.067s
duration
100%
successful
Tests
Standard output
Tests

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

261990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
261990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
261990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
261990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
261990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
261990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
261990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
261990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
261990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
261990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
261990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
261990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
261990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
261990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
261990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
261990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
261990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
261990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
261990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
261990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
261990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
261990     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
261990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
261990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
261990     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262022     WARN  Test worker     d.u.i.k.n.ParsingFacade   SLL was not enough 
262022     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) 
262022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262022     WARN  Test worker     d.u.i.k.n.ParsingFacade   SLL was not enough 
262022     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) 
262022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262022     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
262022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262022     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
262037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262037     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 16ms 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
262053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262053     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms