TestApplyTaclet

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

tests
0

failures
0

ignored
3.667s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.158s passed
testAddExistingFormulaSucc() 0.415s passed
testAddExistingFormulaTwoInAntec() 0.049s passed
testAddExistingFormulaTwoInAntec2() 0.050s passed
testAddExistingFormulaTwoInSucc() 0.225s passed
testAddExistingFormulaTwoInSucc2() 0.050s passed
testAddingRule() 0.102s passed
testAntecTacletWithoutIf() 0.052s passed
testBugBrokenApply() 0.052s passed
testBugEmptyBlock() 0.109s passed
testBugID176() 0.053s passed
testBugID177() 0.054s passed
testBugID188() 0.052s passed
testCatchList() 1.148s passed
testCompleteContextAddBug() 0.054s passed
testContextAdding() 0.123s passed
testIncompleteNoFindTacletApp() 0.054s passed
testIncompleteSuccTacletApp() 0.051s passed
testModalityLevel0() 0.059s passed
testModalityLevel1() 0.079s passed
testModalityLevel2() 0.201s passed
testNoFindTacletWithoutIf() 0.053s passed
testPrgTacletApp() 0.117s passed
testRemoveEmptyBlock() 0.055s passed
testRewriteTacletWithoutIf() 0.050s passed
testSuccTacletAllRight() 0.052s passed
testSuccTacletWithoutIf() 0.051s passed
testTacletVariableCollector() 0.048s passed
testTacletWithIf() 0.051s passed

Standard output

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