TestTacletParser

all > de.uka.ilkd.key.parser > TestTacletParser
tests
failures
ignored
0.187s
duration
100%
successful
Tests
Standard output
Tests

Test	Duration	Result
testAllLeft()	0.005s	passed
testAllRight()	0.010s	passed
testClose()	0.004s	passed
testContraposition()	0.002s	passed
testCut()	0.004s	passed
testExConjSplit()	0.002s	passed
testFIdempotent()	0.037s	passed
testFreeReplacewithVariables()	0.003s	passed
testImpLeft()	0.002s	passed
testImpRight()	0.006s	passed
testMakeInsertEq()	0.008s	passed
testSchemaJava0()	0.007s	passed
testSchemaJava1()	0.046s	passed
testSchemaJava10()	0.002s	passed
testSchemaJava11()	0.010s	passed
testSchemaJava2()	0.013s	passed
testSchemaJava4()	0.011s	passed
testSchemaJava6()	0.007s	passed
testSchemaJava8()	0.005s	passed
testVarcondNew()	0.003s	passed
Standard output

370074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
370074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370074     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
370074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370074     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370089     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370089     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370089     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370089     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370089     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370089     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370089     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) 
370089     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) 
370105     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) 
370120     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) 
370120     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) 
370120     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) 
370120     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) 
370120     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) 
370136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370136     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370136     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370136     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) 
370136     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) 
370136     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) 
370136     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) 
370136     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) 
370136     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) 
370136     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) 
370136     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) 
370152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
370152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
370152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
370152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
370167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
370167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
370183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
370183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370183     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
370183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370183     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
370199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
370199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370199     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
370199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370199     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370246     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 47ms 
370247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
370247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
370247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
370247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
370247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
370247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370247     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
370262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
370262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms