TestApplyTaclet

29

tests

0

failures

0

ignored

3.144s

duration

100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.085s passed
testAddExistingFormulaSucc() 0.068s passed
testAddExistingFormulaTwoInAntec() 0.073s passed
testAddExistingFormulaTwoInAntec2() 0.065s passed
testAddExistingFormulaTwoInSucc() 0.067s passed
testAddExistingFormulaTwoInSucc2() 0.073s passed
testAddingRule() 0.069s passed
testAntecTacletWithoutIf() 0.070s passed
testBugBrokenApply() 0.071s passed
testBugEmptyBlock() 0.063s passed
testBugID176() 0.076s passed
testBugID177() 0.070s passed
testBugID188() 0.065s passed
testCatchList() 1.162s passed
testCompleteContextAddBug() 0.075s passed
testContextAdding() 0.074s passed
testIncompleteNoFindTacletApp() 0.064s passed
testIncompleteSuccTacletApp() 0.069s passed
testModalityLevel0() 0.071s passed
testModalityLevel1() 0.082s passed
testModalityLevel2() 0.068s passed
testNoFindTacletWithoutIf() 0.066s passed
testPrgTacletApp() 0.072s passed
testRemoveEmptyBlock() 0.074s passed
testRewriteTacletWithoutIf() 0.068s passed
testSuccTacletAllRight() 0.067s passed
testSuccTacletWithoutIf() 0.071s passed
testTacletVariableCollector() 0.079s passed
testTacletWithIf() 0.067s passed

Standard output

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