TestApplyTaclet

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

tests
0

failures
0

ignored
5.176s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.275s passed
testAddExistingFormulaSucc() 0.281s passed
testAddExistingFormulaTwoInAntec() 0.072s passed
testAddExistingFormulaTwoInAntec2() 0.065s passed
testAddExistingFormulaTwoInSucc() 0.063s passed
testAddExistingFormulaTwoInSucc2() 0.064s passed
testAddingRule() 0.251s passed
testAntecTacletWithoutIf() 0.068s passed
testBugBrokenApply() 0.067s passed
testBugEmptyBlock() 0.079s passed
testBugID176() 0.067s passed
testBugID177() 0.066s passed
testBugID188() 0.066s passed
testCatchList() 1.748s passed
testCompleteContextAddBug() 0.070s passed
testContextAdding() 0.080s passed
testIncompleteNoFindTacletApp() 0.096s passed
testIncompleteSuccTacletApp() 0.120s passed
testModalityLevel0() 0.284s passed
testModalityLevel1() 0.087s passed
testModalityLevel2() 0.066s passed
testNoFindTacletWithoutIf() 0.070s passed
testPrgTacletApp() 0.103s passed
testRemoveEmptyBlock() 0.066s passed
testRewriteTacletWithoutIf() 0.065s passed
testSuccTacletAllRight() 0.068s passed
testSuccTacletWithoutIf() 0.544s passed
testTacletVariableCollector() 0.161s passed
testTacletWithIf() 0.064s passed

Standard output

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