Unit Test Results.

Designed for use with JUnit and Ant.

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

NameTestsErrorsFailuresTime(s)Time StampHost
FormulaCheckerClassTermTest8000.2882014-02-13T22:58:24vserver3141

Tests

NameStatusTypeTime(s)
testClassTermPositive01Success0.196
testClassTermPositive02Success0.004
testClassTermPositive03Success0.004
testClassTermNegative01Success0.005
testClassTermNegative02Success0.002
testClassTermNegative03Success0.004
testClassTermNegative04Success0.003
testClassTermNegative05Success0.005
Properties »