TestApplyTaclet

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

tests
0

failures
0

ignored
3.169s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.064s passed
testAddExistingFormulaSucc() 0.066s passed
testAddExistingFormulaTwoInAntec() 0.063s passed
testAddExistingFormulaTwoInAntec2() 0.081s passed
testAddExistingFormulaTwoInSucc() 0.064s passed
testAddExistingFormulaTwoInSucc2() 0.070s passed
testAddingRule() 0.070s passed
testAntecTacletWithoutIf() 0.066s passed
testBugBrokenApply() 0.067s passed
testBugEmptyBlock() 0.061s passed
testBugID176() 0.061s passed
testBugID177() 0.064s passed
testBugID188() 0.064s passed
testCatchList() 1.280s passed
testCompleteContextAddBug() 0.065s passed
testContextAdding() 0.067s passed
testIncompleteNoFindTacletApp() 0.063s passed
testIncompleteSuccTacletApp() 0.066s passed
testModalityLevel0() 0.062s passed
testModalityLevel1() 0.088s passed
testModalityLevel2() 0.100s passed
testNoFindTacletWithoutIf() 0.061s passed
testPrgTacletApp() 0.063s passed
testRemoveEmptyBlock() 0.070s passed
testRewriteTacletWithoutIf() 0.061s passed
testSuccTacletAllRight() 0.061s passed
testSuccTacletWithoutIf() 0.060s passed
testTacletVariableCollector() 0.072s passed
testTacletWithIf() 0.069s passed

Standard output

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