Unit Test Results.

Designed for use with JUnit and Ant.

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

NameTestsErrorsFailuresTime(s)Time StampHost
FormulaCheckerLogicalConnectivesTest24000.4062014-02-13T22:58:43vserver3141

Tests

NameStatusTypeTime(s)
testLogicalConnectivePositive01Success0.223
testLogicalConnectivePositive02Success0.002
testLogicalConnectivePositive03Success0.002
testLogicalConnectivePositive04Success0.002
testLogicalConnectivePositive05Success0.003
testLogicalConnectivePositive06Success0.003
testLogicalConnectivePositive07Success0.002
testLogicalConnectiveNegative01Success0.005
testLogicalConnectiveNegative02Success0.002
testLogicalConnectiveNegative03Success0.002
testLogicalConnectiveNegative04Success0.002
testLogicalConnectiveNegative05Success0.002
testLogicalConnectiveNegative06Success0.004
testLogicalConnectiveNegative07Success0.006
testLogicalConnectiveNegative08Success0.002
testLogicalConnectiveNegative09Success0.003
testLogicalConnectiveNegative10Success0.010
testLogicalConnectiveNegative11Success0.004
testLogicalConnectiveNegative12Success0.012
testLogicalConnectiveNegative13Success0.003
testLogicalConnectiveNegative14Success0.001
testLogicalConnectiveNegative15Success0.003
testLogicalConnectiveNegative16Success0.003
testLogicalConnectiveNegative17Success0.006
Properties »