TestTacletParser

all > de.uka.ilkd.key.parser > TestTacletParser
20

tests
0

failures
0

ignored
0.106s

duration
100%

successful

Tests

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

Standard output

301030     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301030     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301030     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301030     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301030     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301030     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301030     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
301030     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301030     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301030     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301030     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301030     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301030     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301030     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301030     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301030     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301030     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
301030     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301030     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301030     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301030     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301030     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301030     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301030     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301030     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301030     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) 
301030     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) 
301046     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) 
301046     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) 
301046     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) 
301046     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) 
301046     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) 
301046     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) 
301046     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301046     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301046     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301046     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301046     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301046     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) 
301046     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) 
301046     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) 
301046     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) 
301046     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) 
301046     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) 
301046     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) 
301046     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) 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
301061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301061     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
301077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
301077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
301186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
301186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
301202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
301202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301202     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
301202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301202     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301233     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301233     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301233     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301233     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301233     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
301233     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301233     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301233     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301233     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301233     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301233     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
301233     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301233     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301233     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301233     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301233     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301233     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
301233     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301233     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms