TestApplyTaclet

29

tests

0

failures

0

ignored

4.956s

duration

100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.178s passed
testAddExistingFormulaSucc() 0.078s passed
testAddExistingFormulaTwoInAntec() 0.102s passed
testAddExistingFormulaTwoInAntec2() 0.071s passed
testAddExistingFormulaTwoInSucc() 0.073s passed
testAddExistingFormulaTwoInSucc2() 0.076s passed
testAddingRule() 0.096s passed
testAntecTacletWithoutIf() 0.074s passed
testBugBrokenApply() 0.097s passed
testBugEmptyBlock() 0.312s passed
testBugID176() 0.073s passed
testBugID177() 0.075s passed
testBugID188() 0.074s passed
testCatchList() 1.197s passed
testCompleteContextAddBug() 0.073s passed
testContextAdding() 1.260s passed
testIncompleteNoFindTacletApp() 0.073s passed
testIncompleteSuccTacletApp() 0.075s passed
testModalityLevel0() 0.081s passed
testModalityLevel1() 0.079s passed
testModalityLevel2() 0.084s passed
testNoFindTacletWithoutIf() 0.078s passed
testPrgTacletApp() 0.079s passed
testRemoveEmptyBlock() 0.091s passed
testRewriteTacletWithoutIf() 0.082s passed
testSuccTacletAllRight() 0.075s passed
testSuccTacletWithoutIf() 0.076s passed
testTacletVariableCollector() 0.093s passed
testTacletWithIf() 0.081s passed

Standard output

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