TestTacletParser

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

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

336378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
336378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
336378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336378     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336378     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) 
336378     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) 
336393     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) 
336393     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) 
336393     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) 
336393     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) 
336393     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) 
336393     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) 
336393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336393     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) 
336393     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) 
336393     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) 
336393     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) 
336393     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) 
336393     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) 
336393     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) 
336393     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) 
336393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336393     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336393     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
336393     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336393     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
336409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336409     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
336424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
336424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
336424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
336424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336424     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
336440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
336440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
336440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
336440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
336440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms