TestApplyTaclet

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

tests
0

failures
0

ignored
3.520s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.110s passed
testAddExistingFormulaSucc() 0.047s passed
testAddExistingFormulaTwoInAntec() 0.052s passed
testAddExistingFormulaTwoInAntec2() 0.052s passed
testAddExistingFormulaTwoInSucc() 0.048s passed
testAddExistingFormulaTwoInSucc2() 0.051s passed
testAddingRule() 0.080s passed
testAntecTacletWithoutIf() 0.050s passed
testBugBrokenApply() 0.050s passed
testBugEmptyBlock() 0.099s passed
testBugID176() 0.058s passed
testBugID177() 0.053s passed
testBugID188() 0.053s passed
testCatchList() 1.081s passed
testCompleteContextAddBug() 0.051s passed
testContextAdding() 0.182s passed
testIncompleteNoFindTacletApp() 0.044s passed
testIncompleteSuccTacletApp() 0.055s passed
testModalityLevel0() 0.047s passed
testModalityLevel1() 0.048s passed
testModalityLevel2() 0.061s passed
testNoFindTacletWithoutIf() 0.280s passed
testPrgTacletApp() 0.187s passed
testRemoveEmptyBlock() 0.053s passed
testRewriteTacletWithoutIf() 0.051s passed
testSuccTacletAllRight() 0.050s passed
testSuccTacletWithoutIf() 0.055s passed
testTacletVariableCollector() 0.421s passed
testTacletWithIf() 0.051s passed

Standard output

492576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
492576     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 
492577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
492577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
492609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 32ms