TestTacletParser

all > de.uka.ilkd.key.parser > TestTacletParser
tests
failures
ignored
0.075s
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.001s	passed
testFIdempotent()	0.001s	passed
testFreeReplacewithVariables()	0.013s	passed
testImpLeft()	0.002s	passed
testImpRight()	0.002s	passed
testMakeInsertEq()	0.002s	passed
testSchemaJava0()	0.002s	passed
testSchemaJava1()	0.006s	passed
testSchemaJava10()	0.002s	passed
testSchemaJava11()	0.009s	passed
testSchemaJava2()	0.004s	passed
testSchemaJava4()	0.006s	passed
testSchemaJava6()	0.002s	passed
testSchemaJava8()	0.004s	passed
testVarcondNew()	0.010s	passed
Standard output

281460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
281460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281460     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281460     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281460     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 15ms 
281475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
281475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281475     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) 
281475     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) 
281475     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) 
281475     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) 
281475     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) 
281475     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) 
281475     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) 
281475     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) 
281475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281475     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) 
281475     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) 
281475     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) 
281475     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) 
281475     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) 
281475     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) 
281475     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) 
281475     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) 
281475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281475     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
281475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
281491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281491     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
281507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
281507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281507     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
281507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281507     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
281522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
281522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281522     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281522     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
281522     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281522     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
281538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
281538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
281538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281538     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms