TestTacletParser

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

tests
0

failures
0

ignored
0.062s

duration
100%

successful

Tests

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

Standard output

285395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
285395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
285395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285395     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) 
285395     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) 
285411     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) 
285411     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) 
285411     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) 
285411     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) 
285411     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) 
285411     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) 
285411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285411     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) 
285411     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) 
285411     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) 
285411     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) 
285411     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) 
285411     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) 
285411     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) 
285411     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) 
285411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
285411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
285411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285411     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285411     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
285426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285426     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 16ms 
285442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
285442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285442     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
285442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285442     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
285457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285457     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms