TestTacletParser

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

tests
0

failures
0

ignored
0.148s

duration
100%

successful

Tests

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

Standard output

467083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
467083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
467083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467083     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467083     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467083     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467083     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) 
467083     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) 
467083     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) 
467099     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) 
467099     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) 
467099     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) 
467099     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) 
467099     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) 
467099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467099     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467099     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) 
467099     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) 
467099     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) 
467099     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) 
467099     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) 
467099     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) 
467099     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) 
467099     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) 
467099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467099     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467099     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 15 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
467114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
467114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
467114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467114     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
467114     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467114     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
467130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
467130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
467130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
467130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467130     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
467146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
467146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
467146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
467146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
467146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
467146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467146     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467208     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467208     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
467208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
467224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
467224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
467224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
467224     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
467224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
467224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
467224     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms