TestApplyTaclet

all > de.uka.ilkd.key.rule > TestApplyTaclet
29

tests
0

failures
0

ignored
4.423s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.345s passed
testAddExistingFormulaSucc() 0.067s passed
testAddExistingFormulaTwoInAntec() 0.077s passed
testAddExistingFormulaTwoInAntec2() 0.069s passed
testAddExistingFormulaTwoInSucc() 0.296s passed
testAddExistingFormulaTwoInSucc2() 0.068s passed
testAddingRule() 0.075s passed
testAntecTacletWithoutIf() 0.074s passed
testBugBrokenApply() 0.071s passed
testBugEmptyBlock() 0.212s passed
testBugID176() 0.069s passed
testBugID177() 0.064s passed
testBugID188() 0.082s passed
testCatchList() 1.175s passed
testCompleteContextAddBug() 0.075s passed
testContextAdding() 0.111s passed
testIncompleteNoFindTacletApp() 0.059s passed
testIncompleteSuccTacletApp() 0.061s passed
testModalityLevel0() 0.066s passed
testModalityLevel1() 0.251s passed
testModalityLevel2() 0.113s passed
testNoFindTacletWithoutIf() 0.060s passed
testPrgTacletApp() 0.214s passed
testRemoveEmptyBlock() 0.072s passed
testRewriteTacletWithoutIf() 0.060s passed
testSuccTacletAllRight() 0.065s passed
testSuccTacletWithoutIf() 0.068s passed
testTacletVariableCollector() 0.063s passed
testTacletWithIf() 0.341s passed

Standard output

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