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.148
2014-02-14T01:53:59
vserver3141
Tests
Name
Status
Type
Time(s)
testClassTermPositive01
Success
0.086
testClassTermPositive02
Success
0.004
testClassTermPositive03
Success
0.003
testClassTermNegative01
Success
0.005
testClassTermNegative02
Success
0.002
testClassTermNegative03
Success
0.003
testClassTermNegative04
Success
0.004
testClassTermNegative05
Success
0.006
Properties »