TestTacletParser

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

tests
0

failures
0

ignored
0.146s

duration
100%

successful

Tests

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

Standard output

397025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 16ms 
397041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397041     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397041     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397041     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397041     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397057     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) 
397057     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) 
397057     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) 
397057     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) 
397057     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) 
397057     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) 
397057     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) 
397057     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) 
397057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397057     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397057     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397057     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397072     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) 
397072     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) 
397072     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) 
397072     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) 
397072     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) 
397072     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) 
397072     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) 
397072     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) 
397072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397072     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397072     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397072     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397119     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397119     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397119     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397119     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397135     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397135     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397135     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397151     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
397166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397166     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms