Unit Test Results.

Designed for use with JUnit and Ant.

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

NameTestsErrorsFailuresTime(s)Time StampHost
FormulaCheckerGlobalTest19000.1622014-02-14T01:54:10vserver3141

Tests

NameStatusTypeTime(s)
testGlobalFormulaPositiveSuccess0.059
testGlobalFormulaNegative01Success0.002
testGlobalTermNegative01Success0.001
testGlobalFormulaNegative03Success0.001
testGlobalFormulaNegative04Success0.001
testGlobalFormulaNegative05Success0.002
testGlobalFormulaNegative06Success0.001
testGlobalFormulaNegative07Success0.001
testGlobalFormulaNegative08Success0.002
testGlobalFormulaNegative09Success0.002
testGlobalFormulaNegative11Success0.001
testGlobalFormulaNegative12Success0.001
testGlobalFormulaNegative13Success0.002
testGlobalFormulaNegative14Success0.003
testGlobalFormulaNegative15Success0.001
testGlobalFormulaNegative16Success0.001
testGlobalFormulaNegative21Success0.000
testGlobalFormulaNegative23Success0.000
testGlobalFormulaNegative24Success0.001
Properties »