TestApplyTaclet

29

tests

0

failures

0

ignored

2.879s

duration

100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.064s passed
testAddExistingFormulaSucc() 0.052s passed
testAddExistingFormulaTwoInAntec() 0.068s passed
testAddExistingFormulaTwoInAntec2() 0.064s passed
testAddExistingFormulaTwoInSucc() 0.051s passed
testAddExistingFormulaTwoInSucc2() 0.056s passed
testAddingRule() 0.062s passed
testAntecTacletWithoutIf() 0.053s passed
testBugBrokenApply() 0.085s passed
testBugEmptyBlock() 0.059s passed
testBugID176() 0.058s passed
testBugID177() 0.060s passed
testBugID188() 0.059s passed
testCatchList() 1.235s passed
testCompleteContextAddBug() 0.063s passed
testContextAdding() 0.057s passed
testIncompleteNoFindTacletApp() 0.050s passed
testIncompleteSuccTacletApp() 0.052s passed
testModalityLevel0() 0.050s passed
testModalityLevel1() 0.056s passed
testModalityLevel2() 0.054s passed
testNoFindTacletWithoutIf() 0.052s passed
testPrgTacletApp() 0.065s passed
testRemoveEmptyBlock() 0.073s passed
testRewriteTacletWithoutIf() 0.067s passed
testSuccTacletAllRight() 0.052s passed
testSuccTacletWithoutIf() 0.057s passed
testTacletVariableCollector() 0.055s passed
testTacletWithIf() 0.050s passed

Standard output

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