Unit Test Results.

Designed for use with JUnit and Ant.

Class org.qedeq.kernel.bo.test.KernelBoPestSuite

NameTestsErrorsFailuresTime(s)Time StampHost
KernelBoPestSuite1010.0242014-02-14T07:30:54vserver3141

Failures

NameStatusTypeTime(s)
warningFailurethe following tests are missing in the main test suite: {class org.qedeq.kernel.bo.logic.wf.FormulaCheckerNegationTest, class org.qedeq.kernel.bo.service.latex.ExtendedGenerateLatexTest, class org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerQuantifiersTest, class org.qedeq.kernel.bo.service.internal.Element2LatexImplTest, class org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest, class org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerLogicalConnectivesTest, class org.qedeq.kernel.bo.logic.model.FunctionVariableTest, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerTest, class org.qedeq.kernel.bo.parser.SimpleMathParserTest, class org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest, class org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest, class org.qedeq.kernel.bo.logic.ProofCheckerFactoryImplTest, class org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPluginTest, class org.qedeq.kernel.bo.log.LogListenerImplTest, class org.qedeq.kernel.bo.log.TraceListenerTest, class org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest, class org.qedeq.kernel.bo.logic.model.ModelFunctionConstantTest, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerGlobalTest, class org.qedeq.kernel.bo.logic.model.CalculateTruthThreeModelTest, class org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest, class org.qedeq.kernel.bo.logic.common.FormulaUtilityReplaceSubjectVariableQuantifierTest, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerFunctionTermTest, class org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest, class org.qedeq.kernel.bo.logic.FormulaCheckerFactoryImplTest, class org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest, class org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicThreeModelTest, class org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest, class org.qedeq.kernel.bo.common.BasicKernelTest, class org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerSubjectVariableTest, class org.qedeq.kernel.bo.parser.LatexMathParserTest, class org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest, class org.qedeq.kernel.bo.service.basis.DefaultKernelQedeqBoTest, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerTermTest, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerClassTermTest, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerPredicateFormulaTest, class org.qedeq.kernel.bo.logic.common.FormulaUtilityReplaceOperatorVariableTest, class org.qedeq.kernel.bo.test.QedeqBoTestCase, class org.qedeq.kernel.bo.logic.model.OperatorTest, class org.qedeq.kernel.bo.log.QedeqLogTest, class org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest, class org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest, class org.qedeq.kernel.bo.service.basis.CheckRequiredModuleExceptionTest, class org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerFormulaTest, class org.qedeq.kernel.bo.log.DefaultModuleEventListenerTest, class org.qedeq.kernel.bo.log.ModuleEventListenerLogTest, class org.qedeq.kernel.bo.parser.OperatorTest, class org.qedeq.kernel.bo.KernelContextTest, class org.qedeq.kernel.bo.logic.model.PredicateVariableTest, class org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest, class org.qedeq.kernel.bo.common.QedeqBoSetTest, class org.qedeq.kernel.bo.service.latex.GenerateLatexTest, class org.qedeq.kernel.bo.parser.AsciiMathParserTest, class org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest, class org.qedeq.kernel.bo.logic.model.ModelPredicateConstantTest, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest, class org.qedeq.kernel.bo.module.VisitorContextTest, class org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest}

junit.framework.AssertionFailedError: the following tests are missing in the main test suite: {class org.qedeq.kernel.bo.logic.wf.FormulaCheckerNegationTest, class org.qedeq.kernel.bo.service.latex.ExtendedGenerateLatexTest, class org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerQuantifiersTest, class org.qedeq.kernel.bo.service.internal.Element2LatexImplTest, class org.qedeq.kernel.bo.service.unicode.Latex2UnicodeParserTest, class org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerLogicalConnectivesTest, class org.qedeq.kernel.bo.logic.model.FunctionVariableTest, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerTest, class org.qedeq.kernel.bo.parser.SimpleMathParserTest, class org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest, class org.qedeq.kernel.bo.logic.model.DynamicDirectInterpreterTest, class org.qedeq.kernel.bo.logic.ProofCheckerFactoryImplTest, class org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPluginTest, class org.qedeq.kernel.bo.log.LogListenerImplTest, class org.qedeq.kernel.bo.log.TraceListenerTest, class org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest, class org.qedeq.kernel.bo.logic.model.ModelFunctionConstantTest, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerGlobalTest, class org.qedeq.kernel.bo.logic.model.CalculateTruthThreeModelTest, class org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest, class org.qedeq.kernel.bo.logic.common.FormulaUtilityReplaceSubjectVariableQuantifierTest, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerFunctionTermTest, class org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest, class org.qedeq.kernel.bo.logic.FormulaCheckerFactoryImplTest, class org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest, class org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicThreeModelTest, class org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest, class org.qedeq.kernel.bo.common.BasicKernelTest, class org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerSubjectVariableTest, class org.qedeq.kernel.bo.parser.LatexMathParserTest, class org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest, class org.qedeq.kernel.bo.service.basis.DefaultKernelQedeqBoTest, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerTermTest, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerClassTermTest, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerPredicateFormulaTest, class org.qedeq.kernel.bo.logic.common.FormulaUtilityReplaceOperatorVariableTest, class org.qedeq.kernel.bo.test.QedeqBoTestCase, class org.qedeq.kernel.bo.logic.model.OperatorTest, class org.qedeq.kernel.bo.log.QedeqLogTest, class org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest, class org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest, class org.qedeq.kernel.bo.service.basis.CheckRequiredModuleExceptionTest, class org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerFormulaTest, class org.qedeq.kernel.bo.log.DefaultModuleEventListenerTest, class org.qedeq.kernel.bo.log.ModuleEventListenerLogTest, class org.qedeq.kernel.bo.parser.OperatorTest, class org.qedeq.kernel.bo.KernelContextTest, class org.qedeq.kernel.bo.logic.model.PredicateVariableTest, class org.qedeq.kernel.bo.logic.model.CalculateTruthUnaryModelTest, class org.qedeq.kernel.bo.common.QedeqBoSetTest, class org.qedeq.kernel.bo.service.latex.GenerateLatexTest, class org.qedeq.kernel.bo.parser.AsciiMathParserTest, class org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest, class org.qedeq.kernel.bo.logic.model.ModelPredicateConstantTest, class org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest, class org.qedeq.kernel.bo.module.VisitorContextTest, class org.qedeq.kernel.bo.logic.model.DynamicInterpreterTest}
at org.qedeq.base.test.QedeqTestSuite$1.runTest(QedeqTestSuite.java:175)
0.006
Properties »