Unit Test Results.

Designed for use with JUnit and Ant.

Class org.qedeq.kernel.bo.logic.wf.FormulaCheckerNegationTest

NameTestsErrorsFailuresTime(s)Time StampHost
FormulaCheckerNegationTest3000.3242014-02-13T22:58:46vserver3141

Tests

NameStatusTypeTime(s)
testNegationPositive01Success0.130
testNegationNegative01Success0.006
testNegationNegative02Success0.002
Properties »