TestApplyTaclet

29

tests

0

failures

0

ignored

3.487s

duration

100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.084s passed
testAddExistingFormulaSucc() 0.038s passed
testAddExistingFormulaTwoInAntec() 0.040s passed
testAddExistingFormulaTwoInAntec2() 0.039s passed
testAddExistingFormulaTwoInSucc() 0.039s passed
testAddExistingFormulaTwoInSucc2() 0.044s passed
testAddingRule() 0.076s passed
testAntecTacletWithoutIf() 0.040s passed
testBugBrokenApply() 0.040s passed
testBugEmptyBlock() 0.089s passed
testBugID176() 0.037s passed
testBugID177() 0.039s passed
testBugID188() 0.037s passed
testCatchList() 1.197s passed
testCompleteContextAddBug() 0.038s passed
testContextAdding() 0.095s passed
testIncompleteNoFindTacletApp() 0.039s passed
testIncompleteSuccTacletApp() 0.037s passed
testModalityLevel0() 0.040s passed
testModalityLevel1() 0.859s passed
testModalityLevel2() 0.079s passed
testNoFindTacletWithoutIf() 0.039s passed
testPrgTacletApp() 0.187s passed
testRemoveEmptyBlock() 0.043s passed
testRewriteTacletWithoutIf() 0.038s passed
testSuccTacletAllRight() 0.038s passed
testSuccTacletWithoutIf() 0.037s passed
testTacletVariableCollector() 0.040s passed
testTacletWithIf() 0.039s passed