TestApplyTaclet

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

tests
0

failures
0

ignored
4.450s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.174s passed
testAddExistingFormulaSucc() 0.445s passed
testAddExistingFormulaTwoInAntec() 0.065s passed
testAddExistingFormulaTwoInAntec2() 0.056s passed
testAddExistingFormulaTwoInSucc() 0.087s passed
testAddExistingFormulaTwoInSucc2() 0.054s passed
testAddingRule() 0.120s passed
testAntecTacletWithoutIf() 0.060s passed
testBugBrokenApply() 0.073s passed
testBugEmptyBlock() 0.091s passed
testBugID176() 0.055s passed
testBugID177() 0.061s passed
testBugID188() 0.055s passed
testCatchList() 1.794s passed
testCompleteContextAddBug() 0.053s passed
testContextAdding() 0.132s passed
testIncompleteNoFindTacletApp() 0.061s passed
testIncompleteSuccTacletApp() 0.052s passed
testModalityLevel0() 0.068s passed
testModalityLevel1() 0.074s passed
testModalityLevel2() 0.138s passed
testNoFindTacletWithoutIf() 0.292s passed
testPrgTacletApp() 0.057s passed
testRemoveEmptyBlock() 0.055s passed
testRewriteTacletWithoutIf() 0.050s passed
testSuccTacletAllRight() 0.051s passed
testSuccTacletWithoutIf() 0.056s passed
testTacletVariableCollector() 0.062s passed
testTacletWithIf() 0.059s passed

Standard output

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