TestApplyTaclet

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

tests
0

failures
0

ignored
4.575s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.194s passed
testAddExistingFormulaSucc() 0.345s passed
testAddExistingFormulaTwoInAntec() 0.058s passed
testAddExistingFormulaTwoInAntec2() 0.054s passed
testAddExistingFormulaTwoInSucc() 0.086s passed
testAddExistingFormulaTwoInSucc2() 0.059s passed
testAddingRule() 0.100s passed
testAntecTacletWithoutIf() 0.054s passed
testBugBrokenApply() 0.059s passed
testBugEmptyBlock() 0.073s passed
testBugID176() 0.057s passed
testBugID177() 0.055s passed
testBugID188() 0.054s passed
testCatchList() 1.742s passed
testCompleteContextAddBug() 0.052s passed
testContextAdding() 0.059s passed
testIncompleteNoFindTacletApp() 0.089s passed
testIncompleteSuccTacletApp() 0.058s passed
testModalityLevel0() 0.117s passed
testModalityLevel1() 0.080s passed
testModalityLevel2() 0.176s passed
testNoFindTacletWithoutIf() 0.147s passed
testPrgTacletApp() 0.124s passed
testRemoveEmptyBlock() 0.054s passed
testRewriteTacletWithoutIf() 0.364s passed
testSuccTacletAllRight() 0.092s passed
testSuccTacletWithoutIf() 0.056s passed
testTacletVariableCollector() 0.061s passed
testTacletWithIf() 0.056s passed

Standard output

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