TestApplyTaclet

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

tests
0

failures
0

ignored
3.331s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.075s passed
testAddExistingFormulaSucc() 0.053s passed
testAddExistingFormulaTwoInAntec() 0.047s passed
testAddExistingFormulaTwoInAntec2() 0.048s passed
testAddExistingFormulaTwoInSucc() 0.050s passed
testAddExistingFormulaTwoInSucc2() 0.048s passed
testAddingRule() 0.159s passed
testAntecTacletWithoutIf() 0.058s passed
testBugBrokenApply() 0.049s passed
testBugEmptyBlock() 0.101s passed
testBugID176() 0.047s passed
testBugID177() 0.048s passed
testBugID188() 0.047s passed
testCatchList() 1.075s passed
testCompleteContextAddBug() 0.047s passed
testContextAdding() 0.113s passed
testIncompleteNoFindTacletApp() 0.050s passed
testIncompleteSuccTacletApp() 0.053s passed
testModalityLevel0() 0.269s passed
testModalityLevel1() 0.069s passed
testModalityLevel2() 0.081s passed
testNoFindTacletWithoutIf() 0.381s passed
testPrgTacletApp() 0.066s passed
testRemoveEmptyBlock() 0.050s passed
testRewriteTacletWithoutIf() 0.049s passed
testSuccTacletAllRight() 0.051s passed
testSuccTacletWithoutIf() 0.050s passed
testTacletVariableCollector() 0.048s passed
testTacletWithIf() 0.049s passed

Standard output

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