TestApplyTaclet

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

tests
0

failures
0

ignored
4.032s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.098s passed
testAddExistingFormulaSucc() 0.255s passed
testAddExistingFormulaTwoInAntec() 0.052s passed
testAddExistingFormulaTwoInAntec2() 0.056s passed
testAddExistingFormulaTwoInSucc() 0.062s passed
testAddExistingFormulaTwoInSucc2() 0.049s passed
testAddingRule() 0.069s passed
testAntecTacletWithoutIf() 0.056s passed
testBugBrokenApply() 0.051s passed
testBugEmptyBlock() 0.052s passed
testBugID176() 0.049s passed
testBugID177() 0.049s passed
testBugID188() 0.050s passed
testCatchList() 1.605s passed
testCompleteContextAddBug() 0.054s passed
testContextAdding() 0.157s passed
testIncompleteNoFindTacletApp() 0.118s passed
testIncompleteSuccTacletApp() 0.048s passed
testModalityLevel0() 0.103s passed
testModalityLevel1() 0.051s passed
testModalityLevel2() 0.050s passed
testNoFindTacletWithoutIf() 0.121s passed
testPrgTacletApp() 0.180s passed
testRemoveEmptyBlock() 0.052s passed
testRewriteTacletWithoutIf() 0.344s passed
testSuccTacletAllRight() 0.051s passed
testSuccTacletWithoutIf() 0.052s passed
testTacletVariableCollector() 0.049s passed
testTacletWithIf() 0.049s passed

Standard output

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