TestApplyTaclet

29

tests

0

failures

0

ignored

2.273s

duration

100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.030s passed
testAddExistingFormulaSucc() 0.093s passed
testAddExistingFormulaTwoInAntec() 0.027s passed
testAddExistingFormulaTwoInAntec2() 0.026s passed
testAddExistingFormulaTwoInSucc() 0.071s passed
testAddExistingFormulaTwoInSucc2() 0.026s passed
testAddingRule() 0.032s passed
testAntecTacletWithoutIf() 0.026s passed
testBugBrokenApply() 0.166s passed
testBugEmptyBlock() 0.032s passed
testBugID176() 0.134s passed
testBugID177() 0.065s passed
testBugID188() 0.050s passed
testCatchList() 0.883s passed
testCompleteContextAddBug() 0.039s passed
testContextAdding() 0.032s passed
testIncompleteNoFindTacletApp() 0.030s passed
testIncompleteSuccTacletApp() 0.033s passed
testModalityLevel0() 0.086s passed
testModalityLevel1() 0.032s passed
testModalityLevel2() 0.032s passed
testNoFindTacletWithoutIf() 0.029s passed
testPrgTacletApp() 0.069s passed
testRemoveEmptyBlock() 0.027s passed
testRewriteTacletWithoutIf() 0.076s passed
testSuccTacletAllRight() 0.031s passed
testSuccTacletWithoutIf() 0.030s passed
testTacletVariableCollector() 0.040s passed
testTacletWithIf() 0.026s passed