TestTacletParser

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

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

354997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
354997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
354997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
354997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
354997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
354997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354997     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
354997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354997     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355013     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355013     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355013     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) 
355044     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) 
355044     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) 
355044     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) 
355044     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) 
355044     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) 
355044     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) 
355044     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) 
355044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355044     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) 
355044     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) 
355044     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) 
355059     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) 
355059     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) 
355059     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) 
355059     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) 
355059     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) 
355059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
355059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
355059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355059     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
355059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355059     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 16ms 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
355075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355075     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
355091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355091     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms