Unit Test Results.
Designed for use with
JUnit
and
Ant
.
Class org.qedeq.kernel.bo.logic.wf.FormulaCheckerClassTermTest
Name
Tests
Errors
Failures
Time(s)
Time Stamp
Host
FormulaCheckerClassTermTest
8
0
0
0.288
2014-02-13T22:58:24
vserver3141
Tests
Name
Status
Type
Time(s)
testClassTermPositive01
Success
0.196
testClassTermPositive02
Success
0.004
testClassTermPositive03
Success
0.004
testClassTermNegative01
Success
0.005
testClassTermNegative02
Success
0.002
testClassTermNegative03
Success
0.004
testClassTermNegative04
Success
0.003
testClassTermNegative05
Success
0.005
Properties »