TestTacletParser

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

tests
0

failures
0

ignored
0.091s

duration
100%

successful

Tests

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

Standard output

504087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
504087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
504087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504087     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504087     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504087     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='<',<175>,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) 
504087     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:23: no viable alternative at input '{..' [@14,24:25='..',<146>,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) 
504103     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:33: mismatched input ';' expecting {',', ')'} [@21,34:34=';',<140>,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) 
504103     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:41: no viable alternative at input '#i;' [@26,42:42=';',<140>,2:41] (option_list, taclet, rulesOrAxioms, decls, file) 
504103     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:43: mismatched input '<' expecting {'(', '{'} [@28,44:44='<',<175>,2:43] (taclet, rulesOrAxioms, decls, file) 
504103     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:47: mismatched input '+' expecting {'(', '{'} [@32,48:48='+',<169>,2:47] (taclet, rulesOrAxioms, decls, file) 
504103     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:52: extraneous input '..' expecting {'\lemma', '}', IDENT, '/*!'} [@37,53:54='..',<146>,2:52] (rulesOrAxioms, decls, file) 
504103     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='>',<170>,2:56] (file) 
504103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504103     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504103     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504103     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='<',<175>,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) 
504103     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:23: no viable alternative at input '{..' [@14,24:25='..',<146>,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) 
504103     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:33: mismatched input ';' expecting {',', ')'} [@21,34:34=';',<140>,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) 
504103     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:43: no viable alternative at input '#lab;' [@26,44:44=';',<140>,2:43] (option_list, taclet, rulesOrAxioms, decls, file) 
504118     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:45: mismatched input '<' expecting {'(', '{'} [@28,46:46='<',<175>,2:45] (taclet, rulesOrAxioms, decls, file) 
504118     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:50: mismatched input '+' expecting {'(', '{'} [@32,51:51='+',<169>,2:50] (taclet, rulesOrAxioms, decls, file) 
504118     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:56: extraneous input '..' expecting {'\lemma', '}', IDENT, '/*!'} [@38,57:58='..',<146>,2:56] (rulesOrAxioms, decls, file) 
504118     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='>',<170>,2:60] (file) 
504118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
504118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
504118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
504118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
504118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504118     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504118     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504118     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
504134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
504134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
504134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
504134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
504134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504134     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 31ms 
504165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
504165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
504165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
504165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
504165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
504165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504165     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
504181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
504181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
504181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
504181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
504181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
504181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
504181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
504181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms