TestTacletParser

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

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

352258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
352258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
352258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352258     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352258     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352258     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) 
352273     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) 
352273     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) 
352273     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) 
352273     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) 
352273     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) 
352273     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) 
352273     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) 
352273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352273     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352273     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352273     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) 
352273     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) 
352273     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) 
352289     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) 
352289     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) 
352289     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) 
352289     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) 
352289     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) 
352289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
352289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
352289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
352289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352289     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352289     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
352305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 15ms 
352320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
352320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352320     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
352320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352320     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
352336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
352336     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms