TestApplyTaclet

29

tests

0

failures

0

ignored

2.109s

duration

100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.039s passed
testAddExistingFormulaSucc() 0.045s passed
testAddExistingFormulaTwoInAntec() 0.035s passed
testAddExistingFormulaTwoInAntec2() 0.034s passed
testAddExistingFormulaTwoInSucc() 0.037s passed
testAddExistingFormulaTwoInSucc2() 0.035s passed
testAddingRule() 0.038s passed
testAntecTacletWithoutIf() 0.035s passed
testBugBrokenApply() 0.036s passed
testBugEmptyBlock() 0.037s passed
testBugID176() 0.035s passed
testBugID177() 0.034s passed
testBugID188() 0.035s passed
testCatchList() 1.080s passed
testCompleteContextAddBug() 0.036s passed
testContextAdding() 0.037s passed
testIncompleteNoFindTacletApp() 0.037s passed
testIncompleteSuccTacletApp() 0.035s passed
testModalityLevel0() 0.037s passed
testModalityLevel1() 0.038s passed
testModalityLevel2() 0.037s passed
testNoFindTacletWithoutIf() 0.036s passed
testPrgTacletApp() 0.039s passed
testRemoveEmptyBlock() 0.037s passed
testRewriteTacletWithoutIf() 0.035s passed
testSuccTacletAllRight() 0.035s passed
testSuccTacletWithoutIf() 0.035s passed
testTacletVariableCollector() 0.044s passed
testTacletWithIf() 0.036s passed