Unit Test Results.

Designed for use with JUnit and Ant.

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

NameTestsErrorsFailuresTime(s)Time StampHost
FormulaCheckerQuantifiersTest30000.3362014-02-14T01:54:13vserver3141

Tests

NameStatusTypeTime(s)
testQuantifiersPositive01Success0.137
testQuantifiersPositive02Success0.007
testQuantifiersPositive03Success0.003
testQuantifiersPositive04Success0.007
testQuantifiersPositive05Success0.007
testQuantifiersPositive06Success0.003
testQuantifiersNegative01Success0.006
testQuantifiersNegative02Success0.002
testQuantifiersNegative03Success0.001
testQuantifiersNegative04Success0.003
testQuantifiersNegative05Success0.001
testQuantifiersNegative06Success0.006
testQuantifiersNegative07Success0.003
testQuantifiersNegative08Success0.005
testQuantifiersNegative09Success0.002
testQuantifiersNegative10Success0.003
testQuantifiersNegative11Success0.003
testQuantifiersNegative12Success0.003
testQuantifiersNegative16Success0.009
testQuantifiersNegative17Success0.002
testQuantifiersNegative18Success0.007
testQuantifiersNegative19Success0.005
testQuantifiersNegative20Success0.004
testQuantifiersNegative21Success0.008
testQuantifiersNegative22Success0.006
testQuantifiersNegative23Success0.005
testQuantifiersNegative24Success0.002
testQuantifiersNegative25Success0.004
testQuantifiersNegative26Success0.005
testQuantifiersNegative27Success0.006
Properties »