TestApplyTaclet

29

tests

0

failures

0

ignored

3.561s

duration

100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.081s passed
testAddExistingFormulaSucc() 0.075s passed
testAddExistingFormulaTwoInAntec() 0.077s passed
testAddExistingFormulaTwoInAntec2() 0.077s passed
testAddExistingFormulaTwoInSucc() 0.067s passed
testAddExistingFormulaTwoInSucc2() 0.073s passed
testAddingRule() 0.075s passed
testAntecTacletWithoutIf() 0.067s passed
testBugBrokenApply() 0.160s passed
testBugEmptyBlock() 0.073s passed
testBugID176() 0.067s passed
testBugID177() 0.066s passed
testBugID188() 0.064s passed
testCatchList() 1.220s passed
testCompleteContextAddBug() 0.321s passed
testContextAdding() 0.100s passed
testIncompleteNoFindTacletApp() 0.067s passed
testIncompleteSuccTacletApp() 0.070s passed
testModalityLevel0() 0.074s passed
testModalityLevel1() 0.068s passed
testModalityLevel2() 0.071s passed
testNoFindTacletWithoutIf() 0.068s passed
testPrgTacletApp() 0.069s passed
testRemoveEmptyBlock() 0.068s passed
testRewriteTacletWithoutIf() 0.068s passed
testSuccTacletAllRight() 0.068s passed
testSuccTacletWithoutIf() 0.068s passed
testTacletVariableCollector() 0.070s passed
testTacletWithIf() 0.069s passed

Standard output

488645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
488645     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  D:\a\key\key\key.core\src\test\resources\testcase\testrules.key:9#1 
488645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
488645     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
488677     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 32ms