TestTacletParser

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

tests
0

failures
0

ignored
0.073s

duration
100%

successful

Tests

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

Standard output

525859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
525859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
525859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525859     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525859     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525859     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) 
525875     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) 
525875     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) 
525875     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) 
525875     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) 
525875     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) 
525875     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) 
525875     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) 
525875     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525875     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525875     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525875     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525875     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) 
525875     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) 
525875     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) 
525875     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) 
525875     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) 
525875     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) 
525875     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) 
525875     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) 
525891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
525891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
525891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
525891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
525891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525891     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525891     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
525906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525906     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 16ms 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
525922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
525938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
525938     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
525938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
525938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
525938     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms