Unit Test Results.

Designed for use with JUnit and Ant.

Package org.qedeq.kernel.bo.logic.wf

Classes

NameTestsErrorsFailuresTime(s)Time StampHost
FormulaCheckerClassTermTest8000.1482014-02-14T01:53:59vserver3141
FormulaCheckerContextTest12007.3422014-02-14T01:54:00vserver3141
FormulaCheckerFormulaTest6000.1702014-02-14T01:54:08vserver3141
FormulaCheckerFunctionTermTest14000.2412014-02-14T01:54:09vserver3141
FormulaCheckerGlobalTest19000.1622014-02-14T01:54:10vserver3141
FormulaCheckerLogicalConnectivesTest24000.4002014-02-14T01:54:10vserver3141
FormulaCheckerNegationTest3000.0972014-02-14T01:54:12vserver3141
FormulaCheckerPredicateFormulaTest13000.1402014-02-14T01:54:12vserver3141
FormulaCheckerQuantifiersTest30000.3362014-02-14T01:54:13vserver3141
FormulaCheckerSubjectVariableTest4000.1652014-02-14T01:54:14vserver3141
FormulaCheckerTermTest14000.1992014-02-14T01:54:15vserver3141
FormulaCheckerTest21000.3752014-02-14T01:54:16vserver3141