TestTacletParser

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

tests
0

failures
0

ignored
0.130s

duration
100%

successful

Tests

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

Standard output

423559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
423559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
423559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423575     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) 
423575     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) 
423575     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) 
423575     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) 
423575     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) 
423575     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) 
423575     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) 
423575     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) 
423590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
423590     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423590     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) 
423590     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) 
423590     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) 
423590     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) 
423590     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) 
423590     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) 
423590     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) 
423590     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) 
423606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
423606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423606     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423606     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
423606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423606     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 15ms 
423621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423621     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423621     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
423621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423621     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423621     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
423621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
423637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
423637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
423653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
423653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423653     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423653     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
423668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
423668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
423668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423668     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
423668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423668     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
423684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
423684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
423684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
423684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
423684     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423684     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
423700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
423700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
423700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
423700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
423700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
423700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms