TestApplyTaclet

29

tests

0

failures

0

ignored

2.636s

duration

100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.029s passed
testAddExistingFormulaSucc() 0.067s passed
testAddExistingFormulaTwoInAntec() 0.047s passed
testAddExistingFormulaTwoInAntec2() 0.030s passed
testAddExistingFormulaTwoInSucc() 0.047s passed
testAddExistingFormulaTwoInSucc2() 0.039s passed
testAddingRule() 0.040s passed
testAntecTacletWithoutIf() 0.062s passed
testBugBrokenApply() 0.047s passed
testBugEmptyBlock() 0.079s passed
testBugID176() 0.034s passed
testBugID177() 0.040s passed
testBugID188() 0.030s passed
testCatchList() 0.917s passed
testCompleteContextAddBug() 0.034s passed
testContextAdding() 0.056s passed
testIncompleteNoFindTacletApp() 0.047s passed
testIncompleteSuccTacletApp() 0.280s passed
testModalityLevel0() 0.033s passed
testModalityLevel1() 0.259s passed
testModalityLevel2() 0.088s passed
testNoFindTacletWithoutIf() 0.028s passed
testPrgTacletApp() 0.031s passed
testRemoveEmptyBlock() 0.033s passed
testRewriteTacletWithoutIf() 0.062s passed
testSuccTacletAllRight() 0.049s passed
testSuccTacletWithoutIf() 0.035s passed
testTacletVariableCollector() 0.063s passed
testTacletWithIf() 0.030s passed