TestApplyTaclet

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

tests
0

failures
0

ignored
2.878s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.061s passed
testAddExistingFormulaSucc() 0.050s passed
testAddExistingFormulaTwoInAntec() 0.064s passed
testAddExistingFormulaTwoInAntec2() 0.059s passed
testAddExistingFormulaTwoInSucc() 0.050s passed
testAddExistingFormulaTwoInSucc2() 0.053s passed
testAddingRule() 0.052s passed
testAntecTacletWithoutIf() 0.063s passed
testBugBrokenApply() 0.059s passed
testBugEmptyBlock() 0.055s passed
testBugID176() 0.055s passed
testBugID177() 0.065s passed
testBugID188() 0.067s passed
testCatchList() 1.303s passed
testCompleteContextAddBug() 0.058s passed
testContextAdding() 0.056s passed
testIncompleteNoFindTacletApp() 0.047s passed
testIncompleteSuccTacletApp() 0.065s passed
testModalityLevel0() 0.055s passed
testModalityLevel1() 0.052s passed
testModalityLevel2() 0.050s passed
testNoFindTacletWithoutIf() 0.052s passed
testPrgTacletApp() 0.057s passed
testRemoveEmptyBlock() 0.051s passed
testRewriteTacletWithoutIf() 0.048s passed
testSuccTacletAllRight() 0.049s passed
testSuccTacletWithoutIf() 0.050s passed
testTacletVariableCollector() 0.065s passed
testTacletWithIf() 0.067s passed

Standard output

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