TestTacletParser

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

tests
0

failures
0

ignored
0.111s

duration
100%

successful

Tests

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

Standard output

529984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
529984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
529984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
529984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
529984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
529984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
529984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
529984     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
529984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
529984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
529984     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
529984     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null: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) 
529999     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null: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) 
529999     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null: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) 
529999     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:41: no viable alternative at input '#i;' [@26,42:42=';',<138>,2:41] (option_list, taclet, rulesOrAxioms, decls, file) 
529999     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:43: mismatched input '<' expecting {'(', '{'} [@28,44:44='<',<173>,2:43] (taclet, rulesOrAxioms, decls, file) 
529999     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:47: mismatched input '+' expecting {'(', '{'} [@32,48:48='+',<167>,2:47] (taclet, rulesOrAxioms, decls, file) 
529999     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:52: extraneous input '..' expecting {'\lemma', '}', IDENT, '/*!'} [@37,53:54='..',<144>,2:52] (rulesOrAxioms, decls, file) 
529999     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:56: mismatched input '>' expecting {<EOF>, '\problem', '\chooseContract', '\proofObligation', '\proof'} [@40,57:57='>',<168>,2:56] (file) 
530015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
530015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530015     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null: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) 
530015     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null: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) 
530015     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null: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) 
530015     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:43: no viable alternative at input '#lab;' [@26,44:44=';',<138>,2:43] (option_list, taclet, rulesOrAxioms, decls, file) 
530015     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:45: mismatched input '<' expecting {'(', '{'} [@28,46:46='<',<173>,2:45] (taclet, rulesOrAxioms, decls, file) 
530015     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:50: mismatched input '+' expecting {'(', '{'} [@32,51:51='+',<167>,2:50] (taclet, rulesOrAxioms, decls, file) 
530015     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:56: extraneous input '..' expecting {'\lemma', '}', IDENT, '/*!'} [@38,57:58='..',<144>,2:56] (rulesOrAxioms, decls, file) 
530015     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:60: mismatched input '>' expecting {<EOF>, '\problem', '\chooseContract', '\proofObligation', '\proof'} [@41,61:61='>',<168>,2:60] (file) 
530015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
530015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
530015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
530031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
530031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
530031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530062     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530062     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530062     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530062     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530062     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530062     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530062     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
530062     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530062     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530062     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530062     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530062     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530062     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530062     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530062     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530062     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530062     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
530062     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530062     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530062     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530062     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
530077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
530077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
530093     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
530093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530093     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530109     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
530124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
530124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
530124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
530124     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
530124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
530124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
530124     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms