TestApplyTaclet

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

tests
0

failures
0

ignored
5.910s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.308s passed
testAddExistingFormulaSucc() 0.293s passed
testAddExistingFormulaTwoInAntec() 0.079s passed
testAddExistingFormulaTwoInAntec2() 0.081s passed
testAddExistingFormulaTwoInSucc() 0.078s passed
testAddExistingFormulaTwoInSucc2() 0.075s passed
testAddingRule() 0.190s passed
testAntecTacletWithoutIf() 0.085s passed
testBugBrokenApply() 0.099s passed
testBugEmptyBlock() 0.162s passed
testBugID176() 0.077s passed
testBugID177() 0.083s passed
testBugID188() 0.416s passed
testCatchList() 1.958s passed
testCompleteContextAddBug() 0.084s passed
testContextAdding() 0.120s passed
testIncompleteNoFindTacletApp() 0.081s passed
testIncompleteSuccTacletApp() 0.107s passed
testModalityLevel0() 0.255s passed
testModalityLevel1() 0.141s passed
testModalityLevel2() 0.106s passed
testNoFindTacletWithoutIf() 0.164s passed
testPrgTacletApp() 0.119s passed
testRemoveEmptyBlock() 0.082s passed
testRewriteTacletWithoutIf() 0.069s passed
testSuccTacletAllRight() 0.253s passed
testSuccTacletWithoutIf() 0.078s passed
testTacletVariableCollector() 0.192s passed
testTacletWithIf() 0.075s passed

Standard output

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