TestTacletParser

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

tests
0

failures
0

ignored
0.099s

duration
100%

successful

Tests

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

Standard output

394495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
394495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
394495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394495     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) 
394511     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) 
394511     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) 
394511     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) 
394511     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) 
394511     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) 
394511     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) 
394511     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) 
394511     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394511     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394511     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394511     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394511     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394511     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) 
394511     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) 
394511     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) 
394511     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) 
394511     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) 
394511     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) 
394526     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) 
394526     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) 
394526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
394526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
394526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
394526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
394526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394526     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
394542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
394542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
394542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
394542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394542     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 16ms 
394558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394558     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
394558     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394558     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 15ms 
394573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
394573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
394573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
394573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
394573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394573     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
394589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
394589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
394589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394589     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
394589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394589     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms