TestApplyTaclet

29

tests

0

failures

0

ignored

2.508s

duration

100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.034s passed
testAddExistingFormulaSucc() 0.309s passed
testAddExistingFormulaTwoInAntec() 0.030s passed
testAddExistingFormulaTwoInAntec2() 0.030s passed
testAddExistingFormulaTwoInSucc() 0.082s passed
testAddExistingFormulaTwoInSucc2() 0.031s passed
testAddingRule() 0.063s passed
testAntecTacletWithoutIf() 0.031s passed
testBugBrokenApply() 0.031s passed
testBugEmptyBlock() 0.044s passed
testBugID176() 0.030s passed
testBugID177() 0.030s passed
testBugID188() 0.031s passed
testCatchList() 0.895s passed
testCompleteContextAddBug() 0.031s passed
testContextAdding() 0.304s passed
testIncompleteNoFindTacletApp() 0.054s passed
testIncompleteSuccTacletApp() 0.032s passed
testModalityLevel0() 0.031s passed
testModalityLevel1() 0.032s passed
testModalityLevel2() 0.031s passed
testNoFindTacletWithoutIf() 0.043s passed
testPrgTacletApp() 0.092s passed
testRemoveEmptyBlock() 0.031s passed
testRewriteTacletWithoutIf() 0.031s passed
testSuccTacletAllRight() 0.031s passed
testSuccTacletWithoutIf() 0.030s passed
testTacletVariableCollector() 0.033s passed
testTacletWithIf() 0.031s passed