Unit Test Results.

Designed for use with JUnit and Ant.

All Tests

ClassNameStatusTypeTime(s)
BasePestSuitepestReadNextAttributeValueFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.SubTextInputTest.pestReadNextAttributeValue(SubTextInputTest.java:411)
0.005
BasePestSuitepestReadNextXmlNameErrorbegin of attribute or tag expected

java.lang.IllegalArgumentException: begin of attribute or tag expected
at org.qedeq.base.io.TextInput.readNextXmlName(TextInput.java:397)
at org.qedeq.base.io.SubTextInputTest.pestReadNextXmlName(SubTextInputTest.java:418)
0.001
BasePestSuitepestGetRowFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.SubTextInputTest.pestGetRow(SubTextInputTest.java:426)
0.003
BasePestSuitepestGetColumnFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.SubTextInputTest.pestGetColumn(SubTextInputTest.java:433)
0.003
BasePestSuitepestGetLineFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.SubTextInputTest.pestGetLine(SubTextInputTest.java:440)
0.001
BasePestSuitepestGetSetPositionFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.SubTextInputTest.pestGetSetPosition(SubTextInputTest.java:447)
0.004
BasePestSuitepestGetMaximumPositionFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.SubTextInputTest.pestGetMaximumPosition(SubTextInputTest.java:454)
0.002
BasePestSuitepestSetRowFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.SubTextInputTest.pestSetRow(SubTextInputTest.java:461)
0.002
BasePestSuitepestSetColumnFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.SubTextInputTest.pestSetColumn(SubTextInputTest.java:468)
0.003
BasePestSuitepestGetAddressFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.SubTextInputTest.pestGetAddress(SubTextInputTest.java:475)
0.002
BasePestSuitepestGetLocalAddressFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.SubTextInputTest.pestGetLocalAddress(SubTextInputTest.java:482)
0.004
BasePestSuitepestShowLinePositionFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.SubTextInputTest.pestShowLinePosition(SubTextInputTest.java:489)
0.001
BasePestSuitepestHashCodeFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.SubTextInputTest.pestHashCode(SubTextInputTest.java:496)
0.002
BasePestSuitepestToStringFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.SubTextInputTest.pestToString(SubTextInputTest.java:515)
0.002
BasePestSuitepestGetRowFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.TextInputTest.pestGetRow(TextInputTest.java:676)
0.002
BasePestSuitepestGetColumnFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.TextInputTest.pestGetColumn(TextInputTest.java:683)
0.003
BasePestSuitepestGetLineFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.TextInputTest.pestGetLine(TextInputTest.java:690)
0.001
BasePestSuitepestGetSetPositionFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.TextInputTest.pestGetSetPosition(TextInputTest.java:697)
0.000
BasePestSuitepestGetMaximumPositionFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.TextInputTest.pestGetMaximumPosition(TextInputTest.java:704)
0.005
BasePestSuitepestSetRowFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.TextInputTest.pestSetRow(TextInputTest.java:711)
0.002
BasePestSuitepestSetColumnFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.TextInputTest.pestSetColumn(TextInputTest.java:718)
0.003
BasePestSuitepestGetAddressFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.TextInputTest.pestGetAddress(TextInputTest.java:725)
0.001
BasePestSuitepestGetLocalAddressFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.TextInputTest.pestGetLocalAddress(TextInputTest.java:732)
0.002
BasePestSuitepestShowLinePositionFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.TextInputTest.pestShowLinePosition(TextInputTest.java:739)
0.003
BasePestSuitepestHashCodeFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.TextInputTest.pestHashCode(TextInputTest.java:746)
0.002
BasePestSuitepestToStringFailurenot implemented

junit.framework.AssertionFailedError: not implemented
at org.qedeq.base.io.TextInputTest.pestToString(TextInputTest.java:765)
0.000
BasePestSuitewarningFailurethe following tests are missing in the main test suite: {class org.qedeq.base.io.AbstractOutputTest, class org.qedeq.base.utility.StringUtilityTest, class org.qedeq.base.utility.SplitterTest, class org.qedeq.base.utility.EqualsUtilityTest, class org.qedeq.base.utility.EnumeratorTest, class org.qedeq.base.trace.TraceTest, class org.qedeq.base.io.PathTest, class org.qedeq.base.utility.YodaUtilityTest, class org.qedeq.base.io.ResourceLoaderUtilityTest, class org.qedeq.base.io.StringOutputTest, class org.qedeq.base.io.IoUtilityTest, class org.qedeq.base.io.SourcePositionTest, class org.qedeq.base.io.TextOutputTest, class org.qedeq.base.io.VersionSetTest, class org.qedeq.base.io.VersionTest, class org.qedeq.base.io.ParametersTest, class org.qedeq.base.io.UrlUtilityTest, class org.qedeq.base.io.SourceAreaTest, class org.qedeq.base.utility.DateUtilityTest}

junit.framework.AssertionFailedError: the following tests are missing in the main test suite: {class org.qedeq.base.io.AbstractOutputTest, class org.qedeq.base.utility.StringUtilityTest, class org.qedeq.base.utility.SplitterTest, class org.qedeq.base.utility.EqualsUtilityTest, class org.qedeq.base.utility.EnumeratorTest, class org.qedeq.base.trace.TraceTest, class org.qedeq.base.io.PathTest, class org.qedeq.base.utility.YodaUtilityTest, class org.qedeq.base.io.ResourceLoaderUtilityTest, class org.qedeq.base.io.StringOutputTest, class org.qedeq.base.io.IoUtilityTest, class org.qedeq.base.io.SourcePositionTest, class org.qedeq.base.io.TextOutputTest, class org.qedeq.base.io.VersionSetTest, class org.qedeq.base.io.VersionTest, class org.qedeq.base.io.ParametersTest, class org.qedeq.base.io.UrlUtilityTest, class org.qedeq.base.io.SourceAreaTest, class org.qedeq.base.utility.DateUtilityTest}
at org.qedeq.base.test.QedeqTestSuite$1.runTest(QedeqTestSuite.java:175)
0.001
KernelBoPestSuitewarningFailurethe 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
KernelSePestSuitewarningFailurethe following tests are missing in the main test suite: {class org.qedeq.kernel.se.dto.module.RenameVoTest, class org.qedeq.kernel.se.dto.module.PredicateDefinitionVoTest, class org.qedeq.kernel.se.dto.module.ProofListVoTest, class org.qedeq.kernel.se.dto.module.InitialFunctionDefinitionVoTest, class org.qedeq.kernel.se.dto.module.FormalProofListVoTest, class org.qedeq.kernel.se.dto.module.ImportVoTest, class org.qedeq.kernel.se.dto.module.FormalProofVoTest, class org.qedeq.kernel.se.visitor.AbstractModuleVisitorTest, class org.qedeq.kernel.se.dto.module.ConclusionVoTest, class org.qedeq.kernel.se.dto.module.SubstPredVoTest, class org.qedeq.kernel.se.dto.module.ChangedRuleVoTest, class org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest, class org.qedeq.kernel.se.dto.module.PropositionVoTest, class org.qedeq.kernel.se.dto.module.UsedByListVoTest, class org.qedeq.kernel.se.dto.module.ModusPonensVoTest, class org.qedeq.kernel.se.dto.list.DefaultElementListTest, class org.qedeq.kernel.se.dto.module.LatexVoTest, class org.qedeq.kernel.se.state.LoadingImportsStateTest, class org.qedeq.kernel.se.dto.module.AuthorVoTest, class org.qedeq.kernel.se.visitor.InterruptExceptionTest, class org.qedeq.kernel.se.config.QedeqConfigTest, class org.qedeq.kernel.se.dto.module.SectionListVoTest, class org.qedeq.kernel.se.dto.module.ExistentialVoTest, class org.qedeq.kernel.se.common.SourceFileExceptionTest, class org.qedeq.kernel.se.common.ModuleContextTest, class org.qedeq.kernel.se.dto.module.LinkListVoTest, class org.qedeq.kernel.se.state.DependencyStateTest, class org.qedeq.kernel.se.common.RuleKeyTest, class org.qedeq.kernel.se.dto.module.SubstFuncVoTest, class org.qedeq.kernel.se.common.QedeqExceptionTest, class org.qedeq.kernel.se.common.IllegalModuleDataExceptionTest, class org.qedeq.kernel.se.dto.module.SubstFreeVoTest, class org.qedeq.kernel.se.dto.module.SubsectionVoTest, class org.qedeq.kernel.se.visitor.DefaultContextCheckerTest, class org.qedeq.kernel.se.dto.module.UniversalVoTest, class org.qedeq.kernel.se.dto.module.ChapterListVoTest, class org.qedeq.kernel.se.dto.module.ConditionalProofVoTest, class org.qedeq.kernel.se.dto.module.AuthorListVoTest, class org.qedeq.kernel.se.visitor.LatexList2TextTest, class org.qedeq.kernel.se.dto.module.SectionVoTest, class org.qedeq.kernel.se.dto.list.DefaultAtomTest, class org.qedeq.kernel.se.dto.module.RuleVoTest, class org.qedeq.kernel.se.state.AbstractStateTest, class org.qedeq.kernel.se.state.FormallyProvedStateTest, class org.qedeq.kernel.se.dto.module.ChapterVoTest, class org.qedeq.kernel.se.dto.module.TermVoTest, class org.qedeq.kernel.se.visitor.QedeqNumbersTest, class org.qedeq.kernel.se.dto.module.HypothesisVoTest, class org.qedeq.kernel.se.dto.module.InitialPredicateDefinitionVoTest, class org.qedeq.kernel.se.dto.module.LatexListVoTest, class org.qedeq.kernel.se.dto.module.SubsectionListVoTest, class org.qedeq.kernel.se.dto.list.ElementSetTest, class org.qedeq.kernel.se.dto.module.LiteratureItemListVoTest, class org.qedeq.kernel.se.dto.module.FormalProofLineListVoTest, class org.qedeq.kernel.se.common.DefaultModuleAddressTest, class org.qedeq.kernel.se.dto.module.ProofVoTest, class org.qedeq.kernel.se.dto.module.QedeqVoTest, class org.qedeq.kernel.se.dto.module.ImportListVoTest, class org.qedeq.kernel.se.dto.module.LocationListVoTest, class org.qedeq.kernel.se.state.WellFormedStateTest, class org.qedeq.kernel.se.dto.module.LocationVoTest, class org.qedeq.kernel.se.dto.module.HeaderVoTest, class org.qedeq.kernel.se.dto.module.ChangedRuleListVoTest, class org.qedeq.kernel.se.dto.module.LiteratureItemVoTest, class org.qedeq.kernel.se.dto.module.FormalProofLineVoTest, class org.qedeq.kernel.se.dto.module.FormulaVoTest, class org.qedeq.kernel.se.config.ConfigAccessTest, class org.qedeq.kernel.se.dto.module.AxiomVoTest, class org.qedeq.kernel.se.dto.module.SpecificationVoTest, class org.qedeq.kernel.se.dto.module.FunctionDefinitionVoTest, class org.qedeq.kernel.se.common.SourceFileExceptionListTest, class org.qedeq.kernel.se.dto.module.NodeVoTest, class org.qedeq.kernel.se.state.LoadingStateTest, class org.qedeq.kernel.se.dto.module.AddVoTest, class org.qedeq.kernel.se.common.ModuleDataExceptionTest}

junit.framework.AssertionFailedError: the following tests are missing in the main test suite: {class org.qedeq.kernel.se.dto.module.RenameVoTest, class org.qedeq.kernel.se.dto.module.PredicateDefinitionVoTest, class org.qedeq.kernel.se.dto.module.ProofListVoTest, class org.qedeq.kernel.se.dto.module.InitialFunctionDefinitionVoTest, class org.qedeq.kernel.se.dto.module.FormalProofListVoTest, class org.qedeq.kernel.se.dto.module.ImportVoTest, class org.qedeq.kernel.se.dto.module.FormalProofVoTest, class org.qedeq.kernel.se.visitor.AbstractModuleVisitorTest, class org.qedeq.kernel.se.dto.module.ConclusionVoTest, class org.qedeq.kernel.se.dto.module.SubstPredVoTest, class org.qedeq.kernel.se.dto.module.ChangedRuleVoTest, class org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest, class org.qedeq.kernel.se.dto.module.PropositionVoTest, class org.qedeq.kernel.se.dto.module.UsedByListVoTest, class org.qedeq.kernel.se.dto.module.ModusPonensVoTest, class org.qedeq.kernel.se.dto.list.DefaultElementListTest, class org.qedeq.kernel.se.dto.module.LatexVoTest, class org.qedeq.kernel.se.state.LoadingImportsStateTest, class org.qedeq.kernel.se.dto.module.AuthorVoTest, class org.qedeq.kernel.se.visitor.InterruptExceptionTest, class org.qedeq.kernel.se.config.QedeqConfigTest, class org.qedeq.kernel.se.dto.module.SectionListVoTest, class org.qedeq.kernel.se.dto.module.ExistentialVoTest, class org.qedeq.kernel.se.common.SourceFileExceptionTest, class org.qedeq.kernel.se.common.ModuleContextTest, class org.qedeq.kernel.se.dto.module.LinkListVoTest, class org.qedeq.kernel.se.state.DependencyStateTest, class org.qedeq.kernel.se.common.RuleKeyTest, class org.qedeq.kernel.se.dto.module.SubstFuncVoTest, class org.qedeq.kernel.se.common.QedeqExceptionTest, class org.qedeq.kernel.se.common.IllegalModuleDataExceptionTest, class org.qedeq.kernel.se.dto.module.SubstFreeVoTest, class org.qedeq.kernel.se.dto.module.SubsectionVoTest, class org.qedeq.kernel.se.visitor.DefaultContextCheckerTest, class org.qedeq.kernel.se.dto.module.UniversalVoTest, class org.qedeq.kernel.se.dto.module.ChapterListVoTest, class org.qedeq.kernel.se.dto.module.ConditionalProofVoTest, class org.qedeq.kernel.se.dto.module.AuthorListVoTest, class org.qedeq.kernel.se.visitor.LatexList2TextTest, class org.qedeq.kernel.se.dto.module.SectionVoTest, class org.qedeq.kernel.se.dto.list.DefaultAtomTest, class org.qedeq.kernel.se.dto.module.RuleVoTest, class org.qedeq.kernel.se.state.AbstractStateTest, class org.qedeq.kernel.se.state.FormallyProvedStateTest, class org.qedeq.kernel.se.dto.module.ChapterVoTest, class org.qedeq.kernel.se.dto.module.TermVoTest, class org.qedeq.kernel.se.visitor.QedeqNumbersTest, class org.qedeq.kernel.se.dto.module.HypothesisVoTest, class org.qedeq.kernel.se.dto.module.InitialPredicateDefinitionVoTest, class org.qedeq.kernel.se.dto.module.LatexListVoTest, class org.qedeq.kernel.se.dto.module.SubsectionListVoTest, class org.qedeq.kernel.se.dto.list.ElementSetTest, class org.qedeq.kernel.se.dto.module.LiteratureItemListVoTest, class org.qedeq.kernel.se.dto.module.FormalProofLineListVoTest, class org.qedeq.kernel.se.common.DefaultModuleAddressTest, class org.qedeq.kernel.se.dto.module.ProofVoTest, class org.qedeq.kernel.se.dto.module.QedeqVoTest, class org.qedeq.kernel.se.dto.module.ImportListVoTest, class org.qedeq.kernel.se.dto.module.LocationListVoTest, class org.qedeq.kernel.se.state.WellFormedStateTest, class org.qedeq.kernel.se.dto.module.LocationVoTest, class org.qedeq.kernel.se.dto.module.HeaderVoTest, class org.qedeq.kernel.se.dto.module.ChangedRuleListVoTest, class org.qedeq.kernel.se.dto.module.LiteratureItemVoTest, class org.qedeq.kernel.se.dto.module.FormalProofLineVoTest, class org.qedeq.kernel.se.dto.module.FormulaVoTest, class org.qedeq.kernel.se.config.ConfigAccessTest, class org.qedeq.kernel.se.dto.module.AxiomVoTest, class org.qedeq.kernel.se.dto.module.SpecificationVoTest, class org.qedeq.kernel.se.dto.module.FunctionDefinitionVoTest, class org.qedeq.kernel.se.common.SourceFileExceptionListTest, class org.qedeq.kernel.se.dto.module.NodeVoTest, class org.qedeq.kernel.se.state.LoadingStateTest, class org.qedeq.kernel.se.dto.module.AddVoTest, class org.qedeq.kernel.se.common.ModuleDataExceptionTest}
at org.qedeq.base.test.QedeqTestSuite$1.runTest(QedeqTestSuite.java:175)
0.008
KernelXmlPestSuitewarningFailurethe following tests are missing in the main test suite: {class org.qedeq.kernel.xml.tracker.SimpleXPathTest, class org.qedeq.kernel.xml.parser.QedeqParserTest, class org.qedeq.kernel.xml.schema.SchemaTest, class org.qedeq.kernel.xml.tracker.XPathLocationFinderTest, class org.qedeq.kernel.xml.common.XmlSyntaxExceptionTest, class org.qedeq.kernel.xml.tracker.XPathLocationParserTest, class org.qedeq.kernel.xml.dao.GenerateXmlTest, class org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest, class org.qedeq.kernel.xml.parser.CharsetParserTest}

junit.framework.AssertionFailedError: the following tests are missing in the main test suite: {class org.qedeq.kernel.xml.tracker.SimpleXPathTest, class org.qedeq.kernel.xml.parser.QedeqParserTest, class org.qedeq.kernel.xml.schema.SchemaTest, class org.qedeq.kernel.xml.tracker.XPathLocationFinderTest, class org.qedeq.kernel.xml.common.XmlSyntaxExceptionTest, class org.qedeq.kernel.xml.tracker.XPathLocationParserTest, class org.qedeq.kernel.xml.dao.GenerateXmlTest, class org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest, class org.qedeq.kernel.xml.parser.CharsetParserTest}
at org.qedeq.base.test.QedeqTestSuite$1.runTest(QedeqTestSuite.java:175)
0.002