TestApplyTaclet

29

tests

0

failures

0

ignored

5.497s

duration

100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.087s passed
testAddExistingFormulaSucc() 0.081s passed
testAddExistingFormulaTwoInAntec() 0.081s passed
testAddExistingFormulaTwoInAntec2() 0.105s passed
testAddExistingFormulaTwoInSucc() 0.102s passed
testAddExistingFormulaTwoInSucc2() 0.076s passed
testAddingRule() 0.081s passed
testAntecTacletWithoutIf() 0.084s passed
testBugBrokenApply() 0.081s passed
testBugEmptyBlock() 0.083s passed
testBugID176() 0.081s passed
testBugID177() 0.086s passed
testBugID188() 0.082s passed
testCatchList() 2.045s passed
testCompleteContextAddBug() 0.084s passed
testContextAdding() 0.079s passed
testIncompleteNoFindTacletApp() 0.079s passed
testIncompleteSuccTacletApp() 0.079s passed
testModalityLevel0() 0.076s passed
testModalityLevel1() 0.081s passed
testModalityLevel2() 0.081s passed
testNoFindTacletWithoutIf() 0.080s passed
testPrgTacletApp() 1.222s passed
testRemoveEmptyBlock() 0.082s passed
testRewriteTacletWithoutIf() 0.076s passed
testSuccTacletAllRight() 0.076s passed
testSuccTacletWithoutIf() 0.089s passed
testTacletVariableCollector() 0.082s passed
testTacletWithIf() 0.076s passed

Standard output

809503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
809503     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  D:\a\key\key\key.core\src\test\resources\testcase\testrules.key:9#1 
809503     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
809503     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
809535     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 32ms