TestApplyTaclet

29

tests

0

failures

0

ignored

1.831s

duration

100%

successful

Tests

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

Standard output

394232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
394233     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms