Test |
Duration |
Result |
testAddExistingFormulaAntec() |
0.071s |
passed |
testAddExistingFormulaSucc() |
0.194s |
passed |
testAddExistingFormulaTwoInAntec() |
0.067s |
passed |
testAddExistingFormulaTwoInAntec2() |
0.066s |
passed |
testAddExistingFormulaTwoInSucc() |
0.061s |
passed |
testAddExistingFormulaTwoInSucc2() |
0.066s |
passed |
testAddingRule() |
0.065s |
passed |
testAntecTacletWithoutIf() |
0.066s |
passed |
testBugBrokenApply() |
0.078s |
passed |
testBugEmptyBlock() |
0.089s |
passed |
testBugID176() |
0.506s |
passed |
testBugID177() |
0.060s |
passed |
testBugID188() |
0.059s |
passed |
testCatchList() |
1.065s |
passed |
testCompleteContextAddBug() |
0.071s |
passed |
testContextAdding() |
0.063s |
passed |
testIncompleteNoFindTacletApp() |
0.059s |
passed |
testIncompleteSuccTacletApp() |
0.061s |
passed |
testModalityLevel0() |
0.070s |
passed |
testModalityLevel1() |
0.063s |
passed |
testModalityLevel2() |
0.193s |
passed |
testNoFindTacletWithoutIf() |
0.061s |
passed |
testPrgTacletApp() |
0.061s |
passed |
testRemoveEmptyBlock() |
0.074s |
passed |
testRewriteTacletWithoutIf() |
0.057s |
passed |
testSuccTacletAllRight() |
0.063s |
passed |
testSuccTacletWithoutIf() |
0.061s |
passed |
testTacletVariableCollector() |
0.080s |
passed |
testTacletWithIf() |
0.065s |
passed |