Unit Test Results.

Designed for use with JUnit and Ant.

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

NameTestsErrorsFailuresTime(s)Time StampHost
FormulaCheckerQuantifiersTest30000.4572014-02-13T22:58:49vserver3141

Tests

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