TestApplyTaclet

29

tests

0

failures

0

ignored

3.235s

duration

100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.136s passed
testAddExistingFormulaSucc() 0.036s passed
testAddExistingFormulaTwoInAntec() 0.037s passed
testAddExistingFormulaTwoInAntec2() 0.041s passed
testAddExistingFormulaTwoInSucc() 0.036s passed
testAddExistingFormulaTwoInSucc2() 0.045s passed
testAddingRule() 0.043s passed
testAntecTacletWithoutIf() 0.038s passed
testBugBrokenApply() 0.052s passed
testBugEmptyBlock() 0.160s passed
testBugID176() 0.038s passed
testBugID177() 0.037s passed
testBugID188() 0.040s passed
testCatchList() 1.216s passed
testCompleteContextAddBug() 0.051s passed
testContextAdding() 0.049s passed
testIncompleteNoFindTacletApp() 0.278s passed
testIncompleteSuccTacletApp() 0.035s passed
testModalityLevel0() 0.078s passed
testModalityLevel1() 0.102s passed
testModalityLevel2() 0.041s passed
testNoFindTacletWithoutIf() 0.050s passed
testPrgTacletApp() 0.079s passed
testRemoveEmptyBlock() 0.042s passed
testRewriteTacletWithoutIf() 0.035s passed
testSuccTacletAllRight() 0.039s passed
testSuccTacletWithoutIf() 0.306s passed
testTacletVariableCollector() 0.048s passed
testTacletWithIf() 0.047s passed