TestApplyTaclet

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

tests
0

failures
0

ignored
2.974s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.064s passed
testAddExistingFormulaSucc() 0.045s passed
testAddExistingFormulaTwoInAntec() 0.063s passed
testAddExistingFormulaTwoInAntec2() 0.052s passed
testAddExistingFormulaTwoInSucc() 0.048s passed
testAddExistingFormulaTwoInSucc2() 0.063s passed
testAddingRule() 0.052s passed
testAntecTacletWithoutIf() 0.056s passed
testBugBrokenApply() 0.054s passed
testBugEmptyBlock() 0.044s passed
testBugID176() 0.046s passed
testBugID177() 0.046s passed
testBugID188() 0.046s passed
testCatchList() 1.067s passed
testCompleteContextAddBug() 0.225s passed
testContextAdding() 0.136s passed
testIncompleteNoFindTacletApp() 0.048s passed
testIncompleteSuccTacletApp() 0.058s passed
testModalityLevel0() 0.043s passed
testModalityLevel1() 0.042s passed
testModalityLevel2() 0.055s passed
testNoFindTacletWithoutIf() 0.281s passed
testPrgTacletApp() 0.044s passed
testRemoveEmptyBlock() 0.063s passed
testRewriteTacletWithoutIf() 0.048s passed
testSuccTacletAllRight() 0.048s passed
testSuccTacletWithoutIf() 0.043s passed
testTacletVariableCollector() 0.044s passed
testTacletWithIf() 0.050s passed

Standard output

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