TestApplyTaclet

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

tests
0

failures
0

ignored
3.824s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.837s passed
testAddExistingFormulaSucc() 0.055s passed
testAddExistingFormulaTwoInAntec() 0.061s passed
testAddExistingFormulaTwoInAntec2() 0.049s passed
testAddExistingFormulaTwoInSucc() 0.047s passed
testAddExistingFormulaTwoInSucc2() 0.048s passed
testAddingRule() 0.049s passed
testAntecTacletWithoutIf() 0.055s passed
testBugBrokenApply() 0.052s passed
testBugEmptyBlock() 0.057s passed
testBugID176() 0.053s passed
testBugID177() 0.047s passed
testBugID188() 0.056s passed
testCatchList() 1.593s passed
testCompleteContextAddBug() 0.049s passed
testContextAdding() 0.050s passed
testIncompleteNoFindTacletApp() 0.050s passed
testIncompleteSuccTacletApp() 0.049s passed
testModalityLevel0() 0.050s passed
testModalityLevel1() 0.048s passed
testModalityLevel2() 0.047s passed
testNoFindTacletWithoutIf() 0.050s passed
testPrgTacletApp() 0.068s passed
testRemoveEmptyBlock() 0.049s passed
testRewriteTacletWithoutIf() 0.055s passed
testSuccTacletAllRight() 0.052s passed
testSuccTacletWithoutIf() 0.047s passed
testTacletVariableCollector() 0.051s passed
testTacletWithIf() 0.050s passed

Standard output

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