TestTacletParser

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

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

356172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
356172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356172     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
356172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356188     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:2:21: extraneous input '<' expecting {MODALITY, FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '(', ')', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL} [@12,22:22='<',<173>,2:21] (argument_list, call, accessterm, primitive_term, primitive_labeled_term, bracket_term, atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, taclet, rulesOrAxioms, decls, file) 
356188     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:2:23: no viable alternative at input '{..' [@14,24:25='..',<144>,2:23] (atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, argument_list, call, accessterm, primitive_term, primitive_labeled_term, bracket_term, atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, taclet, rulesOrAxioms, decls, file) 
356188     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:2:33: mismatched input ';' expecting {',', ')'} [@21,34:34=';',<138>,2:33] (argument_list, call, accessterm, primitive_term, primitive_labeled_term, bracket_term, atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, taclet, rulesOrAxioms, decls, file) 
356188     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:2:41: no viable alternative at input '#i;' [@26,42:42=';',<138>,2:41] (option_list, taclet, rulesOrAxioms, decls, file) 
356188     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:2:43: mismatched input '<' expecting {'(', '{'} [@28,44:44='<',<173>,2:43] (taclet, rulesOrAxioms, decls, file) 
356188     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:2:47: mismatched input '+' expecting {'(', '{'} [@32,48:48='+',<167>,2:47] (taclet, rulesOrAxioms, decls, file) 
356188     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:2:52: extraneous input '..' expecting {'\lemma', '}', IDENT, '/*!'} [@37,53:54='..',<144>,2:52] (rulesOrAxioms, decls, file) 
356188     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:2:56: mismatched input '>' expecting {<EOF>, '\problem', '\chooseContract', '\proofObligation', '\proof'} [@40,57:57='>',<168>,2:56] (file) 
356188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356188     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356188     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356188     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:2:21: extraneous input '<' expecting {MODALITY, FORALL, EXISTS, '\if', '\ifEx', 'true', 'false', '(', ')', '{', '@', NOT, '-', STRING_LITERAL, CHAR_LITERAL, BIN_LITERAL, HEX_LITERAL, IDENT, INT_LITERAL, FLOAT_LITERAL, DOUBLE_LITERAL, REAL_LITERAL} [@12,22:22='<',<173>,2:21] (argument_list, call, accessterm, primitive_term, primitive_labeled_term, bracket_term, atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, taclet, rulesOrAxioms, decls, file) 
356188     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:2:23: no viable alternative at input '{..' [@14,24:25='..',<144>,2:23] (atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, argument_list, call, accessterm, primitive_term, primitive_labeled_term, bracket_term, atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, taclet, rulesOrAxioms, decls, file) 
356188     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:2:33: mismatched input ';' expecting {',', ')'} [@21,34:34=';',<138>,2:33] (argument_list, call, accessterm, primitive_term, primitive_labeled_term, bracket_term, atom_prefix, strong_arith_term_2, strong_arith_term_1, weak_arith_term, comparison_term, equality_term, term60, conjunction_term, disjunction_term, implication_term, equivalence_term, elementary_update_term, parallel_term, term, taclet, rulesOrAxioms, decls, file) 
356205     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:2:43: no viable alternative at input '#lab;' [@26,44:44=';',<138>,2:43] (option_list, taclet, rulesOrAxioms, decls, file) 
356205     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:2:45: mismatched input '<' expecting {'(', '{'} [@28,46:46='<',<173>,2:45] (taclet, rulesOrAxioms, decls, file) 
356205     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:2:50: mismatched input '+' expecting {'(', '{'} [@32,51:51='+',<167>,2:50] (taclet, rulesOrAxioms, decls, file) 
356205     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:2:56: extraneous input '..' expecting {'\lemma', '}', IDENT, '/*!'} [@38,57:58='..',<144>,2:56] (rulesOrAxioms, decls, file) 
356205     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] <unknown>:2:60: mismatched input '>' expecting {<EOF>, '\problem', '\chooseContract', '\proofObligation', '\proof'} [@41,61:61='>',<168>,2:60] (file) 
356205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
356205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
356205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
356205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
356219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
356219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
356219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
356219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
356219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
356234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
356234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
356234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 16ms 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
356250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356250     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms