TestTacletParser

all > de.uka.ilkd.key.parser > TestTacletParser
20

tests
0

failures
0

ignored
0.078s

duration
100%

successful

Tests

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

Standard output

528113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
528113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528113     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
528129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
528129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528129     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528129     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) 
528129     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) 
528129     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) 
528144     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) 
528144     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) 
528144     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) 
528144     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) 
528144     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) 
528144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528144     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) 
528144     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) 
528144     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) 
528144     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) 
528144     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) 
528144     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) 
528144     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) 
528144     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) 
528144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
528144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528160     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
528176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
528176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
528176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
528176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528176     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528176     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528176     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528176     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
528191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
528191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
528191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
528191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
528191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
528191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
528191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
528191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
528191     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms