Unit Test Results.

Designed for use with JUnit and Ant.

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

Classes

NameTestsErrorsFailuresTime(s)Time StampHost
FormulaCheckerClassTermTest8000.2882014-02-13T22:58:24vserver3141
FormulaCheckerContextTest120011.0312014-02-13T22:58:26vserver3141
FormulaCheckerFormulaTest6000.1852014-02-13T22:58:38vserver3141
FormulaCheckerFunctionTermTest14000.5712014-02-13T22:58:40vserver3141
FormulaCheckerGlobalTest19000.2662014-02-13T22:58:42vserver3141
FormulaCheckerLogicalConnectivesTest24000.4062014-02-13T22:58:43vserver3141
FormulaCheckerNegationTest3000.3242014-02-13T22:58:46vserver3141
FormulaCheckerPredicateFormulaTest13000.2532014-02-13T22:58:47vserver3141
FormulaCheckerQuantifiersTest30000.4572014-02-13T22:58:49vserver3141
FormulaCheckerSubjectVariableTest4000.2232014-02-13T22:58:51vserver3141
FormulaCheckerTermTest14001.6942014-02-13T22:58:52vserver3141
FormulaCheckerTest21000.6082014-02-13T22:58:56vserver3141