TestApplyTaclet

29

tests

0

failures

0

ignored

3.615s

duration

100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.071s passed
testAddExistingFormulaSucc() 0.194s passed
testAddExistingFormulaTwoInAntec() 0.067s passed
testAddExistingFormulaTwoInAntec2() 0.066s passed
testAddExistingFormulaTwoInSucc() 0.061s passed
testAddExistingFormulaTwoInSucc2() 0.066s passed
testAddingRule() 0.065s passed
testAntecTacletWithoutIf() 0.066s passed
testBugBrokenApply() 0.078s passed
testBugEmptyBlock() 0.089s passed
testBugID176() 0.506s passed
testBugID177() 0.060s passed
testBugID188() 0.059s passed
testCatchList() 1.065s passed
testCompleteContextAddBug() 0.071s passed
testContextAdding() 0.063s passed
testIncompleteNoFindTacletApp() 0.059s passed
testIncompleteSuccTacletApp() 0.061s passed
testModalityLevel0() 0.070s passed
testModalityLevel1() 0.063s passed
testModalityLevel2() 0.193s passed
testNoFindTacletWithoutIf() 0.061s passed
testPrgTacletApp() 0.061s passed
testRemoveEmptyBlock() 0.074s passed
testRewriteTacletWithoutIf() 0.057s passed
testSuccTacletAllRight() 0.063s passed
testSuccTacletWithoutIf() 0.061s passed
testTacletVariableCollector() 0.080s passed
testTacletWithIf() 0.065s passed

Standard output

476280     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
476280     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 
476280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
476280     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
476311     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 31ms