TestTacletParser

20

tests

0

failures

0

ignored

0.186s

duration

100%

successful

Tests

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

Standard output

548620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
548620     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548620     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
548620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548620     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548620     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
548620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548620     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548620     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548620     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null: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) 
548650     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null: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) 
548650     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null: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) 
548650     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:41: no viable alternative at input '#i;' [@26,42:42=';',<138>,2:41] (option_list, taclet, rulesOrAxioms, decls, file) 
548666     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:43: mismatched input '<' expecting {'(', '{'} [@28,44:44='<',<173>,2:43] (taclet, rulesOrAxioms, decls, file) 
548666     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:47: mismatched input '+' expecting {'(', '{'} [@32,48:48='+',<167>,2:47] (taclet, rulesOrAxioms, decls, file) 
548666     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:52: extraneous input '..' expecting {'\lemma', '}', IDENT, '/*!'} [@37,53:54='..',<144>,2:52] (rulesOrAxioms, decls, file) 
548666     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:56: mismatched input '>' expecting {<EOF>, '\problem', '\chooseContract', '\proofObligation', '\proof'} [@40,57:57='>',<168>,2:56] (file) 
548666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548666     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548682     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null: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) 
548682     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null: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) 
548682     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null: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) 
548682     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:43: no viable alternative at input '#lab;' [@26,44:44=';',<138>,2:43] (option_list, taclet, rulesOrAxioms, decls, file) 
548682     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:45: mismatched input '<' expecting {'(', '{'} [@28,46:46='<',<173>,2:45] (taclet, rulesOrAxioms, decls, file) 
548682     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:50: mismatched input '+' expecting {'(', '{'} [@32,51:51='+',<167>,2:50] (taclet, rulesOrAxioms, decls, file) 
548682     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:56: extraneous input '..' expecting {'\lemma', '}', IDENT, '/*!'} [@38,57:58='..',<144>,2:56] (rulesOrAxioms, decls, file) 
548682     WARN  Test worker     d.u.i.k.n.KeYParser       [syntax-error] null:2:60: mismatched input '>' expecting {<EOF>, '\problem', '\chooseContract', '\proofObligation', '\proof'} [@41,61:61='>',<168>,2:60] (file) 
548682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
548682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548682     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
548682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548682     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
548697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
548697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
548697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
548697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
548697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548697     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
548713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
548713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548713     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548713     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
548728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
548728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 32ms 
548760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
548760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548760     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
548760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548760     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
548775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
548775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
548775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
548775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
548793     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548794     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548794     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548797     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
548798     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
548798     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548798     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548800     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548802     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 1ms 
548802     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
548803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
548806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
548806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
548806     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:2#1 
548806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
548806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
548806     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms