TestTacletParser

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

tests
0

failures
0

ignored
0.081s

duration
100%

successful

Tests

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

Standard output

397807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397807     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397807     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397823     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397823     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397823     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) 
397823     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) 
397838     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) 
397838     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) 
397838     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) 
397838     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) 
397838     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) 
397838     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) 
397838     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397838     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397838     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397838     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397838     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397838     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) 
397838     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) 
397838     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) 
397838     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) 
397838     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) 
397838     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) 
397838     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) 
397838     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) 
397838     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397838     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397838     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397838     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397854     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397854     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397854     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397854     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397854     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397854     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397854     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397854     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397854     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397854     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397854     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397854     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397869     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 16ms 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397901     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms