TestApplyTaclet

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

tests
0

failures
0

ignored
2.472s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.048s passed
testAddExistingFormulaSucc() 0.045s passed
testAddExistingFormulaTwoInAntec() 0.061s passed
testAddExistingFormulaTwoInAntec2() 0.049s passed
testAddExistingFormulaTwoInSucc() 0.045s passed
testAddExistingFormulaTwoInSucc2() 0.048s passed
testAddingRule() 0.047s passed
testAntecTacletWithoutIf() 0.138s passed
testBugBrokenApply() 0.053s passed
testBugEmptyBlock() 0.048s passed
testBugID176() 0.048s passed
testBugID177() 0.048s passed
testBugID188() 0.053s passed
testCatchList() 1.017s passed
testCompleteContextAddBug() 0.047s passed
testContextAdding() 0.051s passed
testIncompleteNoFindTacletApp() 0.048s passed
testIncompleteSuccTacletApp() 0.044s passed
testModalityLevel0() 0.047s passed
testModalityLevel1() 0.051s passed
testModalityLevel2() 0.049s passed
testNoFindTacletWithoutIf() 0.049s passed
testPrgTacletApp() 0.051s passed
testRemoveEmptyBlock() 0.047s passed
testRewriteTacletWithoutIf() 0.047s passed
testSuccTacletAllRight() 0.048s passed
testSuccTacletWithoutIf() 0.045s passed
testTacletVariableCollector() 0.054s passed
testTacletWithIf() 0.046s passed

Standard output

469778     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
469778     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 
469779     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
469779     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
469804     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 25ms