Unit Test Results.

Designed for use with JUnit and Ant.

Class org.qedeq.kernel.se.test.KernelSePestSuite

NameTestsErrorsFailuresTime(s)Time StampHost
KernelSePestSuite1010.0242014-02-14T07:31:03vserver3141

Tests

NameStatusTypeTime(s)
warningFailurethe 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
Properties »