TestApplyTaclet

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

tests
0

failures
0

ignored
3.888s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.092s passed
testAddExistingFormulaSucc() 0.059s passed
testAddExistingFormulaTwoInAntec() 0.050s passed
testAddExistingFormulaTwoInAntec2() 0.053s passed
testAddExistingFormulaTwoInSucc() 0.051s passed
testAddExistingFormulaTwoInSucc2() 0.053s passed
testAddingRule() 0.125s passed
testAntecTacletWithoutIf() 0.063s passed
testBugBrokenApply() 0.051s passed
testBugEmptyBlock() 0.088s passed
testBugID176() 0.049s passed
testBugID177() 0.054s passed
testBugID188() 0.052s passed
testCatchList() 1.176s passed
testCompleteContextAddBug() 0.063s passed
testContextAdding() 0.986s passed
testIncompleteNoFindTacletApp() 0.053s passed
testIncompleteSuccTacletApp() 0.053s passed
testModalityLevel0() 0.072s passed
testModalityLevel1() 0.099s passed
testModalityLevel2() 0.052s passed
testNoFindTacletWithoutIf() 0.066s passed
testPrgTacletApp() 0.082s passed
testRemoveEmptyBlock() 0.054s passed
testRewriteTacletWithoutIf() 0.056s passed
testSuccTacletAllRight() 0.053s passed
testSuccTacletWithoutIf() 0.051s passed
testTacletVariableCollector() 0.078s passed
testTacletWithIf() 0.054s passed

Standard output

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