TestTacletParser

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

tests
0

failures
0

ignored
0.121s

duration
100%

successful

Tests

Test Duration Result
testAllLeft() 0.003s passed
testAllRight() 0.003s passed
testClose() 0.003s passed
testContraposition() 0.002s passed
testCut() 0.003s passed
testExConjSplit() 0.002s passed
testFIdempotent() 0.002s passed
testFreeReplacewithVariables() 0.002s passed
testImpLeft() 0.001s passed
testImpRight() 0.002s passed
testMakeInsertEq() 0.003s passed
testSchemaJava0() 0.003s passed
testSchemaJava1() 0.030s passed
testSchemaJava10() 0.004s passed
testSchemaJava11() 0.033s passed
testSchemaJava2() 0.005s passed
testSchemaJava4() 0.009s passed
testSchemaJava6() 0.006s passed
testSchemaJava8() 0.003s passed
testVarcondNew() 0.002s passed

Standard output

311701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
311701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
311701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311701     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) 
311717     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) 
311717     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) 
311733     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) 
311733     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) 
311733     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) 
311733     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) 
311733     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) 
311733     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311733     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311733     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311733     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311733     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311733     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) 
311733     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) 
311733     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) 
311733     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) 
311733     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) 
311733     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) 
311733     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) 
311733     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) 
311733     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311733     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311733     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311733     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311733     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311733     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311733     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
311733     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311733     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
311748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
311748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
311764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
311764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
311764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
311764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
311780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311780     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
311780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311780     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 31ms 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311826     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
311826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms