TestApplyTaclet

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

tests
0

failures
0

ignored
3.492s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.067s passed
testAddExistingFormulaSucc() 0.070s passed
testAddExistingFormulaTwoInAntec() 0.079s passed
testAddExistingFormulaTwoInAntec2() 0.070s passed
testAddExistingFormulaTwoInSucc() 0.070s passed
testAddExistingFormulaTwoInSucc2() 0.067s passed
testAddingRule() 0.071s passed
testAntecTacletWithoutIf() 0.068s passed
testBugBrokenApply() 0.074s passed
testBugEmptyBlock() 0.088s passed
testBugID176() 0.069s passed
testBugID177() 0.065s passed
testBugID188() 0.069s passed
testCatchList() 1.526s passed
testCompleteContextAddBug() 0.073s passed
testContextAdding() 0.071s passed
testIncompleteNoFindTacletApp() 0.066s passed
testIncompleteSuccTacletApp() 0.067s passed
testModalityLevel0() 0.069s passed
testModalityLevel1() 0.070s passed
testModalityLevel2() 0.072s passed
testNoFindTacletWithoutIf() 0.069s passed
testPrgTacletApp() 0.072s passed
testRemoveEmptyBlock() 0.064s passed
testRewriteTacletWithoutIf() 0.062s passed
testSuccTacletAllRight() 0.080s passed
testSuccTacletWithoutIf() 0.065s passed
testTacletVariableCollector() 0.074s passed
testTacletWithIf() 0.065s passed

Standard output

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