TestTacletParser

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

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

304308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
304308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
304308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304308     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) 
304324     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) 
304324     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) 
304324     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) 
304324     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) 
304324     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) 
304324     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) 
304324     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) 
304324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304324     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) 
304340     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) 
304340     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) 
304340     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) 
304340     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) 
304340     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) 
304340     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) 
304340     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) 
304340     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304340     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304340     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304340     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304340     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304340     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304340     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
304340     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304340     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304355     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304371     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
304371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 16ms 
304387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
304387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304387     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304387     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
304402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms