TestTacletParser

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

Test	Duration	Result
testAllLeft()	0.001s	passed
testAllRight()	0.003s	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.002s	passed
testSchemaJava1()	0.012s	passed
testSchemaJava10()	0.001s	passed
testSchemaJava11()	0.013s	passed
testSchemaJava2()	0.007s	passed
testSchemaJava4()	0.003s	passed
testSchemaJava6()	0.004s	passed
testSchemaJava8()	0.002s	passed
testVarcondNew()	0.002s	passed
Standard output

276003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
276003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
276003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276003     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276003     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276003     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276003     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) 
276003     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) 
276003     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) 
276019     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) 
276019     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) 
276019     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) 
276019     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) 
276019     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) 
276019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276019     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) 
276019     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) 
276019     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) 
276019     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) 
276019     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) 
276019     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) 
276019     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) 
276019     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) 
276019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276019     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
276019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276019     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276035     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276035     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
276050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
276050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
276050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
276050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
276050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
276066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
276066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
276066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276066     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
276066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276066     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms