Unit Test Results.
Designed for use with
JUnit
and
Ant
.
Class org.qedeq.kernel.bo.logic.wf.FormulaCheckerFormulaTest
Name
Tests
Errors
Failures
Time(s)
Time Stamp
Host
FormulaCheckerFormulaTest
6
0
0
0.170
2014-02-14T01:54:08
vserver3141
Tests
Name
Status
Type
Time(s)
testFormulaPositive01
Success
0.105
testFormulaPositive02
Success
0.004
testFormulaPositive03
Success
0.006
testFormulaNegative01
Success
0.009
testFormulaNegative02
Success
0.003
testFormulaNegative03
Success
0.005
Properties »