TestTacletParser

20

tests

0

failures

0

ignored

0.064s

duration

100%

successful

Tests

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

Standard output

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