TestApplyTaclet

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

tests
0

failures
0

ignored
4.090s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.111s passed
testAddExistingFormulaSucc() 0.057s passed
testAddExistingFormulaTwoInAntec() 0.054s passed
testAddExistingFormulaTwoInAntec2() 0.050s passed
testAddExistingFormulaTwoInSucc() 0.079s passed
testAddExistingFormulaTwoInSucc2() 0.049s passed
testAddingRule() 0.078s passed
testAntecTacletWithoutIf() 0.050s passed
testBugBrokenApply() 0.050s passed
testBugEmptyBlock() 0.120s passed
testBugID176() 0.050s passed
testBugID177() 0.464s passed
testBugID188() 0.053s passed
testCatchList() 1.476s passed
testCompleteContextAddBug() 0.051s passed
testContextAdding() 0.060s passed
testIncompleteNoFindTacletApp() 0.157s passed
testIncompleteSuccTacletApp() 0.098s passed
testModalityLevel0() 0.078s passed
testModalityLevel1() 0.131s passed
testModalityLevel2() 0.128s passed
testNoFindTacletWithoutIf() 0.051s passed
testPrgTacletApp() 0.201s passed
testRemoveEmptyBlock() 0.057s passed
testRewriteTacletWithoutIf() 0.050s passed
testSuccTacletAllRight() 0.049s passed
testSuccTacletWithoutIf() 0.055s passed
testTacletVariableCollector() 0.134s passed
testTacletWithIf() 0.049s passed

Standard output

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