TestApplyTaclet

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

tests
0

failures
0

ignored
2.877s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.043s passed
testAddExistingFormulaSucc() 0.042s passed
testAddExistingFormulaTwoInAntec() 0.045s passed
testAddExistingFormulaTwoInAntec2() 0.046s passed
testAddExistingFormulaTwoInSucc() 0.043s passed
testAddExistingFormulaTwoInSucc2() 0.044s passed
testAddingRule() 0.043s passed
testAntecTacletWithoutIf() 0.045s passed
testBugBrokenApply() 0.042s passed
testBugEmptyBlock() 0.061s passed
testBugID176() 0.041s passed
testBugID177() 0.042s passed
testBugID188() 0.042s passed
testCatchList() 1.469s passed
testCompleteContextAddBug() 0.043s passed
testContextAdding() 0.044s passed
testIncompleteNoFindTacletApp() 0.042s passed
testIncompleteSuccTacletApp() 0.042s passed
testModalityLevel0() 0.043s passed
testModalityLevel1() 0.043s passed
testModalityLevel2() 0.045s passed
testNoFindTacletWithoutIf() 0.044s passed
testPrgTacletApp() 0.043s passed
testRemoveEmptyBlock() 0.054s passed
testRewriteTacletWithoutIf() 0.041s passed
testSuccTacletAllRight() 0.042s passed
testSuccTacletWithoutIf() 0.055s passed
testTacletVariableCollector() 0.043s passed
testTacletWithIf() 0.205s passed

Standard output

649715     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 3 ms 
649715     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  /home/runner/work/key/key/key.core/src/test/resources/testcase/testrules.key:9#1 
649716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
649716     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
649741     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 25ms