TestTacletParser

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

Test	Duration	Result
testAllLeft()	0.003s	passed
testAllRight()	0.004s	passed
testClose()	0.002s	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.001s	passed
testMakeInsertEq()	0.002s	passed
testSchemaJava0()	0.004s	passed
testSchemaJava1()	0.012s	passed
testSchemaJava10()	0.004s	passed
testSchemaJava11()	0.008s	passed
testSchemaJava2()	0.006s	passed
testSchemaJava4()	0.005s	passed
testSchemaJava6()	0.004s	passed
testSchemaJava8()	0.001s	passed
testVarcondNew()	0.002s	passed
Standard output

283293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
283293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283293     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
283293     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283293     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
283308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283308     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) 
283308     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) 
283308     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) 
283308     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) 
283308     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) 
283308     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) 
283308     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) 
283308     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) 
283308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283308     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283308     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283308     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) 
283308     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) 
283308     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) 
283308     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) 
283308     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) 
283324     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) 
283324     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) 
283324     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) 
283324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
283324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
283324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
283324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
283324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283324     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
283324     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283340     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283340     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283340     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283341     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283342     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
283342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283342     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
283343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
283343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283343     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
283343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283343     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
283358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283358     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms