TestApplyTaclet

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

tests
0

failures
0

ignored
3.600s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.052s passed
testAddExistingFormulaSucc() 0.056s passed
testAddExistingFormulaTwoInAntec() 0.053s passed
testAddExistingFormulaTwoInAntec2() 0.051s passed
testAddExistingFormulaTwoInSucc() 0.057s passed
testAddExistingFormulaTwoInSucc2() 0.055s passed
testAddingRule() 0.918s passed
testAntecTacletWithoutIf() 0.058s passed
testBugBrokenApply() 0.055s passed
testBugEmptyBlock() 0.058s passed
testBugID176() 0.051s passed
testBugID177() 0.052s passed
testBugID188() 0.052s passed
testCatchList() 1.170s passed
testCompleteContextAddBug() 0.054s passed
testContextAdding() 0.058s passed
testIncompleteNoFindTacletApp() 0.052s passed
testIncompleteSuccTacletApp() 0.057s passed
testModalityLevel0() 0.057s passed
testModalityLevel1() 0.056s passed
testModalityLevel2() 0.056s passed
testNoFindTacletWithoutIf() 0.055s passed
testPrgTacletApp() 0.087s passed
testRemoveEmptyBlock() 0.052s passed
testRewriteTacletWithoutIf() 0.052s passed
testSuccTacletAllRight() 0.050s passed
testSuccTacletWithoutIf() 0.055s passed
testTacletVariableCollector() 0.064s passed
testTacletWithIf() 0.057s passed

Standard output

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