TestApplyTaclet

29

tests

0

failures

0

ignored

4.411s

duration

100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.301s passed
testAddExistingFormulaSucc() 0.074s passed
testAddExistingFormulaTwoInAntec() 0.062s passed
testAddExistingFormulaTwoInAntec2() 0.067s passed
testAddExistingFormulaTwoInSucc() 0.071s passed
testAddExistingFormulaTwoInSucc2() 0.064s passed
testAddingRule() 1.203s passed
testAntecTacletWithoutIf() 0.068s passed
testBugBrokenApply() 0.068s passed
testBugEmptyBlock() 0.083s passed
testBugID176() 0.067s passed
testBugID177() 0.066s passed
testBugID188() 0.068s passed
testCatchList() 1.074s passed
testCompleteContextAddBug() 0.077s passed
testContextAdding() 0.076s passed
testIncompleteNoFindTacletApp() 0.070s passed
testIncompleteSuccTacletApp() 0.074s passed
testModalityLevel0() 0.071s passed
testModalityLevel1() 0.070s passed
testModalityLevel2() 0.068s passed
testNoFindTacletWithoutIf() 0.073s passed
testPrgTacletApp() 0.081s passed
testRemoveEmptyBlock() 0.069s passed
testRewriteTacletWithoutIf() 0.076s passed
testSuccTacletAllRight() 0.068s passed
testSuccTacletWithoutIf() 0.065s passed
testTacletVariableCollector() 0.076s passed
testTacletWithIf() 0.061s passed

Standard output

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