TestTacletParser

all > de.uka.ilkd.key.parser > TestTacletParser
tests
failures
ignored
0.062s
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.002s	passed
testExConjSplit()	0.002s	passed
testFIdempotent()	0.002s	passed
testFreeReplacewithVariables()	0.002s	passed
testImpLeft()	0.001s	passed
testImpRight()	0.001s	passed
testMakeInsertEq()	0.001s	passed
testSchemaJava0()	0.003s	passed
testSchemaJava1()	0.018s	passed
testSchemaJava10()	0.001s	passed
testSchemaJava11()	0.006s	passed
testSchemaJava2()	0.006s	passed
testSchemaJava4()	0.004s	passed
testSchemaJava6()	0.003s	passed
testSchemaJava8()	0.001s	passed
testVarcondNew()	0.002s	passed
Standard output

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