TestTacletParser

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

tests
0

failures
0

ignored
0.124s

duration
100%

successful

Tests

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

Standard output

558357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
558357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
558357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558389     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) 
558404     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) 
558404     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) 
558404     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) 
558404     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) 
558404     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) 
558404     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) 
558404     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) 
558404     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558404     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558404     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558404     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) 
558404     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) 
558420     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) 
558420     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) 
558420     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) 
558420     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) 
558420     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) 
558420     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) 
558420     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558420     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558420     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558420     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558420     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558436     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
558436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
558451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
558451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
558451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 16ms 
558467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
558467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
558467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
558467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
558467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
558467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
558482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
558482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
558482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
558482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
558482     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
558482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
558482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
558482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms