TestApplyTaclet

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

tests
0

failures
0

ignored
4.245s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.256s passed
testAddExistingFormulaSucc() 0.058s passed
testAddExistingFormulaTwoInAntec() 0.063s passed
testAddExistingFormulaTwoInAntec2() 0.056s passed
testAddExistingFormulaTwoInSucc() 0.057s passed
testAddExistingFormulaTwoInSucc2() 0.057s passed
testAddingRule() 0.081s passed
testAntecTacletWithoutIf() 0.058s passed
testBugBrokenApply() 0.060s passed
testBugEmptyBlock() 0.060s passed
testBugID176() 0.057s passed
testBugID177() 0.059s passed
testBugID188() 0.061s passed
testCatchList() 1.480s passed
testCompleteContextAddBug() 0.061s passed
testContextAdding() 0.246s passed
testIncompleteNoFindTacletApp() 0.057s passed
testIncompleteSuccTacletApp() 0.057s passed
testModalityLevel0() 0.058s passed
testModalityLevel1() 0.058s passed
testModalityLevel2() 0.703s passed
testNoFindTacletWithoutIf() 0.058s passed
testPrgTacletApp() 0.139s passed
testRemoveEmptyBlock() 0.057s passed
testRewriteTacletWithoutIf() 0.056s passed
testSuccTacletAllRight() 0.056s passed
testSuccTacletWithoutIf() 0.059s passed
testTacletVariableCollector() 0.058s passed
testTacletWithIf() 0.059s passed

Standard output

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