TestApplyTaclet

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

tests
0

failures
0

ignored
5.145s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.271s passed
testAddExistingFormulaSucc() 0.086s passed
testAddExistingFormulaTwoInAntec() 0.091s passed
testAddExistingFormulaTwoInAntec2() 0.082s passed
testAddExistingFormulaTwoInSucc() 0.102s passed
testAddExistingFormulaTwoInSucc2() 0.086s passed
testAddingRule() 0.087s passed
testAntecTacletWithoutIf() 0.080s passed
testBugBrokenApply() 0.089s passed
testBugEmptyBlock() 0.079s passed
testBugID176() 0.073s passed
testBugID177() 0.075s passed
testBugID188() 0.074s passed
testCatchList() 1.449s passed
testCompleteContextAddBug() 0.084s passed
testContextAdding() 0.151s passed
testIncompleteNoFindTacletApp() 0.094s passed
testIncompleteSuccTacletApp() 0.075s passed
testModalityLevel0() 0.076s passed
testModalityLevel1() 0.891s passed
testModalityLevel2() 0.302s passed
testNoFindTacletWithoutIf() 0.073s passed
testPrgTacletApp() 0.202s passed
testRemoveEmptyBlock() 0.077s passed
testRewriteTacletWithoutIf() 0.078s passed
testSuccTacletAllRight() 0.080s passed
testSuccTacletWithoutIf() 0.080s passed
testTacletVariableCollector() 0.076s passed
testTacletWithIf() 0.082s passed

Standard output

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