TestTacletParser

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

tests
0

failures
0

ignored
0.070s

duration
100%

successful

Tests

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

Standard output

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