TestApplyTaclet

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

tests
0

failures
0

ignored
4.354s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.087s passed
testAddExistingFormulaSucc() 0.091s passed
testAddExistingFormulaTwoInAntec() 0.113s passed
testAddExistingFormulaTwoInAntec2() 0.084s passed
testAddExistingFormulaTwoInSucc() 0.080s passed
testAddExistingFormulaTwoInSucc2() 0.088s passed
testAddingRule() 0.082s passed
testAntecTacletWithoutIf() 0.090s passed
testBugBrokenApply() 0.091s passed
testBugEmptyBlock() 0.084s passed
testBugID176() 0.091s passed
testBugID177() 0.094s passed
testBugID188() 0.085s passed
testCatchList() 1.902s passed
testCompleteContextAddBug() 0.097s passed
testContextAdding() 0.084s passed
testIncompleteNoFindTacletApp() 0.083s passed
testIncompleteSuccTacletApp() 0.090s passed
testModalityLevel0() 0.081s passed
testModalityLevel1() 0.082s passed
testModalityLevel2() 0.085s passed
testNoFindTacletWithoutIf() 0.083s passed
testPrgTacletApp() 0.091s passed
testRemoveEmptyBlock() 0.087s passed
testRewriteTacletWithoutIf() 0.087s passed
testSuccTacletAllRight() 0.081s passed
testSuccTacletWithoutIf() 0.084s passed
testTacletVariableCollector() 0.092s passed
testTacletWithIf() 0.085s passed

Standard output

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