TestApplyTaclet

29

tests

0

failures

0

ignored

2.043s

duration

100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.037s passed
testAddExistingFormulaSucc() 0.032s passed
testAddExistingFormulaTwoInAntec() 0.034s passed
testAddExistingFormulaTwoInAntec2() 0.034s passed
testAddExistingFormulaTwoInSucc() 0.034s passed
testAddExistingFormulaTwoInSucc2() 0.032s passed
testAddingRule() 0.034s passed
testAntecTacletWithoutIf() 0.033s passed
testBugBrokenApply() 0.033s passed
testBugEmptyBlock() 0.035s passed
testBugID176() 0.033s passed
testBugID177() 0.039s passed
testBugID188() 0.032s passed
testCatchList() 1.095s passed
testCompleteContextAddBug() 0.033s passed
testContextAdding() 0.035s passed
testIncompleteNoFindTacletApp() 0.033s passed
testIncompleteSuccTacletApp() 0.033s passed
testModalityLevel0() 0.033s passed
testModalityLevel1() 0.038s passed
testModalityLevel2() 0.035s passed
testNoFindTacletWithoutIf() 0.033s passed
testPrgTacletApp() 0.034s passed
testRemoveEmptyBlock() 0.035s passed
testRewriteTacletWithoutIf() 0.032s passed
testSuccTacletAllRight() 0.032s passed
testSuccTacletWithoutIf() 0.033s passed
testTacletVariableCollector() 0.033s passed
testTacletWithIf() 0.034s passed

Standard output

461658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
461658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms