TestApplyTaclet

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

tests
0

failures
0

ignored
3.825s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.093s passed
testAddExistingFormulaSucc() 0.105s passed
testAddExistingFormulaTwoInAntec() 0.061s passed
testAddExistingFormulaTwoInAntec2() 0.058s passed
testAddExistingFormulaTwoInSucc() 0.088s passed
testAddExistingFormulaTwoInSucc2() 0.051s passed
testAddingRule() 0.195s passed
testAntecTacletWithoutIf() 0.062s passed
testBugBrokenApply() 0.248s passed
testBugEmptyBlock() 0.125s passed
testBugID176() 0.069s passed
testBugID177() 0.047s passed
testBugID188() 0.050s passed
testCatchList() 1.163s passed
testCompleteContextAddBug() 0.074s passed
testContextAdding() 0.066s passed
testIncompleteNoFindTacletApp() 0.063s passed
testIncompleteSuccTacletApp() 0.125s passed
testModalityLevel0() 0.131s passed
testModalityLevel1() 0.123s passed
testModalityLevel2() 0.070s passed
testNoFindTacletWithoutIf() 0.171s passed
testPrgTacletApp() 0.054s passed
testRemoveEmptyBlock() 0.055s passed
testRewriteTacletWithoutIf() 0.048s passed
testSuccTacletAllRight() 0.053s passed
testSuccTacletWithoutIf() 0.266s passed
testTacletVariableCollector() 0.060s passed
testTacletWithIf() 0.051s passed

Standard output

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