TestApplyTaclet

29

tests

0

failures

0

ignored

2.574s

duration

100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.064s passed
testAddExistingFormulaSucc() 0.268s passed
testAddExistingFormulaTwoInAntec() 0.034s passed
testAddExistingFormulaTwoInAntec2() 0.033s passed
testAddExistingFormulaTwoInSucc() 0.032s passed
testAddExistingFormulaTwoInSucc2() 0.033s passed
testAddingRule() 0.120s passed
testAntecTacletWithoutIf() 0.034s passed
testBugBrokenApply() 0.202s passed
testBugEmptyBlock() 0.071s passed
testBugID176() 0.029s passed
testBugID177() 0.028s passed
testBugID188() 0.032s passed
testCatchList() 0.968s passed
testCompleteContextAddBug() 0.046s passed
testContextAdding() 0.080s passed
testIncompleteNoFindTacletApp() 0.030s passed
testIncompleteSuccTacletApp() 0.031s passed
testModalityLevel0() 0.044s passed
testModalityLevel1() 0.047s passed
testModalityLevel2() 0.085s passed
testNoFindTacletWithoutIf() 0.034s passed
testPrgTacletApp() 0.037s passed
testRemoveEmptyBlock() 0.036s passed
testRewriteTacletWithoutIf() 0.030s passed
testSuccTacletAllRight() 0.031s passed
testSuccTacletWithoutIf() 0.029s passed
testTacletVariableCollector() 0.031s passed
testTacletWithIf() 0.035s passed