| KernelBoEachClassHasATest.testIfEveryClassIsTestedKernelBoEachClassHasATest.testIfEveryClassIsTested |
136940311592224 May 13:45:15 |
3
FAIL
|
9.7299.729 |
the following classes have no test classes: {"org.qedeq.kernel.bo.log.ModuleEventLog", "org.qedeq.kernel.bo.log.ModuleLogListenerImpl", "org.qedeq.kernel.bo.logic.ProofFinderFactoryImpl", "org.qedeq.kernel.bo.logic.common.ClassOperatorAlreadyExistsException", "org.qedeq.kernel.bo.logic.common.FormulaUtility", "org.qedeq.kernel.bo.logic.common.FunctionConstant", "org.qedeq.kernel.bo.logic.common.FunctionKey", "org.qedeq.kernel.bo.logic.common.IdentityOperatorAlreadyExistsException", "org.qedeq.kernel.bo.logic.common.LogicalCheckException", "org.qedeq.kernel.bo.logic.common.LogicalCheckExceptionList", "org.qedeq.kernel.bo.logic.common.PredicateConstant", "org.qedeq.kernel.bo.logic.common.PredicateKey", "org.qedeq.kernel.bo.logic.common.SubjectVariable", "org.qedeq.kernel.bo.logic.model.CalculateTruth", "org.qedeq.kernel.bo.logic.model.DynamicModel", "org.qedeq.kernel.bo.logic.model.Entity", "org.qedeq.kernel.bo.logic.model.FourDynamicModel", "org.qedeq.kernel.bo.logic.model.Function", "org.qedeq.kernel.bo.logic.model.FunctionVariableInterpreter", "org.qedeq.kernel.bo.logic.model.HeuristicException", "org.qedeq.kernel.bo.logic.model.Interpreter", "org.qedeq.kernel.bo.logic.model.Predicate", "org.qedeq.kernel.bo.logic.model.PredicateVariableInterpreter", "org.qedeq.kernel.bo.logic.model.SixDynamicModel", "org.qedeq.kernel.bo.logic.model.SubjectVariableAllocation", "org.qedeq.kernel.bo.logic.model.SubjectVariableInterpreter", "org.qedeq.kernel.bo.logic.model.ThreeDynamicModel", "org.qedeq.kernel.bo.logic.model.ThreeModel", "org.qedeq.kernel.bo.logic.model.UnaryDynamicModel", "org.qedeq.kernel.bo.logic.model.UnaryModel", "org.qedeq.kernel.bo.logic.proof.checker.ProofCheckException", "org.qedeq.kernel.bo.logic.proof.checker.ProofChecker0Impl", "org.qedeq.kernel.bo.logic.proof.checker.ProofChecker1Impl", "org.qedeq.kernel.bo.logic.proof.checker.ProofChecker2Impl", "org.qedeq.kernel.bo.logic.proof.common.ProofException", "org.qedeq.kernel.bo.logic.proof.common.ProofFoundException", "org.qedeq.kernel.bo.logic.proof.common.ProofNotFoundException", "org.qedeq.kernel.bo.logic.proof.finder.ModusPonensBo", "org.qedeq.kernel.bo.logic.proof.finder.ProofFinderUtility", "org.qedeq.kernel.bo.logic.proof.finder.SubstPredBo", "org.qedeq.kernel.bo.logic.wf.AbstractFormulaChecker", "org.qedeq.kernel.bo.logic.wf.ElementCheckException", "org.qedeq.kernel.bo.logic.wf.EverythingExists", "org.qedeq.kernel.bo.logic.wf.FormulaCheckException", "org.qedeq.kernel.bo.logic.wf.FormulaCheckerImpl", "org.qedeq.kernel.bo.logic.wf.TermCheckException", "org.qedeq.kernel.bo.logic.wf.TestFormulaCheckerFactoryImpl", "org.qedeq.kernel.bo.logic.wf.TestFormulaCheckerImpl", "org.qedeq.kernel.bo.logic.work.EqualFormula", "org.qedeq.kernel.bo.logic.work.EqualFormulaSet", "org.qedeq.kernel.bo.logic.work.LogicalEquivalence", "org.qedeq.kernel.bo.module.ControlVisitor", "org.qedeq.kernel.bo.module.DefaultReference", "org.qedeq.kernel.bo.module.KernelModuleReferenceList", "org.qedeq.kernel.bo.module.KernelNodeBo", "org.qedeq.kernel.bo.module.KernelQedeqBoSet", "org.qedeq.kernel.bo.module.ModuleLabels", "org.qedeq.kernel.bo.module.PluginResults", "org.qedeq.kernel.bo.module.ReferenceLinkException", "org.qedeq.kernel.bo.module.RuntimeVisitorException", "org.qedeq.kernel.bo.parser.ClosingBracketMissingException", "org.qedeq.kernel.bo.parser.EndSymbolNotFoundException", "org.qedeq.kernel.bo.parser.MathParser", "org.qedeq.kernel.bo.parser.MementoTextInput", "org.qedeq.kernel.bo.parser.ParserException", "org.qedeq.kernel.bo.parser.SeparatorNotFoundException", "org.qedeq.kernel.bo.parser.Term", "org.qedeq.kernel.bo.parser.TermAtom", "org.qedeq.kernel.bo.parser.TooFewArgumentsException", "org.qedeq.kernel.bo.parser.TooMuchArgumentsException", "org.qedeq.kernel.bo.parser.UnexpectedOperatorException", "org.qedeq.kernel.bo.service.control.DefaultInternalKernelServices", "org.qedeq.kernel.bo.service.control.Element2Utf8Impl", "org.qedeq.kernel.bo.service.control.KernelQedeqBoStorage", "org.qedeq.kernel.bo.service.control.ModuleArbiter", "org.qedeq.kernel.bo.service.control.ModuleFileNotFoundException", "org.qedeq.kernel.bo.service.control.ModuleLabelsCreator", "org.qedeq.kernel.bo.service.control.PluginManager", "org.qedeq.kernel.bo.service.control.PluginResultManager", "org.qedeq.kernel.bo.service.control.QedeqBoFactoryAssert", "org.qedeq.kernel.bo.service.control.QedeqVoBuilder", "org.qedeq.kernel.bo.service.control.ServiceCallImpl", "org.qedeq.kernel.bo.service.control.ServiceProcessImpl", "org.qedeq.kernel.bo.service.control.ServiceProcessManager", "org.qedeq.kernel.bo.service.control.ServiceResultImpl", "org.qedeq.kernel.bo.service.control.StateManager", "org.qedeq.kernel.bo.service.dependency.LoadDirectlyRequiredModulesExecutor", "org.qedeq.kernel.bo.service.dependency.LoadDirectlyRequiredModulesPlugin", "org.qedeq.kernel.bo.service.dependency.LoadRequiredModuleException", "org.qedeq.kernel.bo.service.dependency.LoadRequiredModulesExecutor", "org.qedeq.kernel.bo.service.dependency.LoadRequiredModulesPlugin", "org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerExecutor", "org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerExecutor", "org.qedeq.kernel.bo.service.latex.LatexContentException", "org.qedeq.kernel.bo.service.latex.LatexListDataException", "org.qedeq.kernel.bo.service.latex.Qedeq2LatexExecutor", "org.qedeq.kernel.bo.service.latex.Qedeq2LatexPlugin", "org.qedeq.kernel.bo.service.latex.QedeqBoDuplicateLanguageChecker", "org.qedeq.kernel.bo.service.logic.CheckRequiredModuleException", "org.qedeq.kernel.bo.service.logic.DefaultExistenceChecker", "org.qedeq.kernel.bo.service.logic.FormalProofCheckerExecutor", "org.qedeq.kernel.bo.service.logic.ModuleConstantsExistenceCheckerImpl", "org.qedeq.kernel.bo.service.logic.SimpleProofFinderExecutor", "org.qedeq.kernel.bo.service.logic.WellFormedCheckerExecutor", "org.qedeq.kernel.bo.service.logic.WellFormedCheckerPlugin", "org.qedeq.kernel.bo.service.unicode.Latex2UnicodeSpecials", "org.qedeq.kernel.bo.service.unicode.ProofLineData", "org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutor", "org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextPlugin", "org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeVisitor", "org.qedeq.kernel.bo.service.unicode.Qedeq2Utf8Executor", "org.qedeq.kernel.bo.service.unicode.Qedeq2Utf8Plugin", "org.qedeq.kernel.bo.service.unicode.UnicodeException"}
the following classes have no test classes: {"org.qedeq.kernel.bo.log.ModuleEventLog", "org.qedeq.kernel.bo.log.ModuleLogListenerImpl", "org.qedeq.kernel.bo.logic.ProofFinderFactoryImpl", "org.qedeq.kernel.bo.logic.common.ClassOperatorAlreadyExistsException", "org.qedeq.kernel.bo.logic.common.FormulaUtility", "org.qedeq.kernel.bo.logic.common.FunctionConstant", "org.qedeq.kernel.bo.logic.common.FunctionKey", "org.qedeq.kernel.bo.logic.common.IdentityOperatorAlreadyExistsException", "org.qedeq.kernel.bo.logic.common.LogicalCheckException", "org.qedeq.kernel.bo.logic.common.LogicalCheckExceptionList", "org.qedeq.kernel.bo.logic.common.PredicateConstant", "org.qedeq.kernel.bo.logic.common.PredicateKey", "org.qedeq.kernel.bo.logic.common.SubjectVariable", "org.qedeq.kernel.bo.logic.model.CalculateTruth", "org.qedeq.kernel.bo.logic.model.DynamicModel", "org.qedeq.kernel.bo.logic.model.Entity", "org.qedeq.kernel.bo.logic.model.FourDynamicModel", "org.qedeq.kernel.bo.logic.model.Function", "org.qedeq.kernel.bo.logic.model.FunctionVariableInterpreter", "org.qedeq.kernel.bo.logic.model.HeuristicException", "org.qedeq.kernel.bo.logic.model.Interpreter", "org.qedeq.kernel.bo.logic.model.Predicate", "org.qedeq.kernel.bo.logic.model.PredicateVariableInterpreter", "org.qedeq.kernel.bo.logic.model.SixDynamicModel", "org.qedeq.kernel.bo.logic.model.SubjectVariableAllocation", "org.qedeq.kernel.bo.logic.model.SubjectVariableInterpreter", "org.qedeq.kernel.bo.logic.model.ThreeDynamicModel", "org.qedeq.kernel.bo.logic.model.ThreeModel", "org.qedeq.kernel.bo.logic.model.UnaryDynamicModel", "org.qedeq.kernel.bo.logic.model.UnaryModel", "org.qedeq.kernel.bo.logic.proof.checker.ProofCheckException", "org.qedeq.kernel.bo.logic.proof.checker.ProofChecker0Impl", "org.qedeq.kernel.bo.logic.proof.checker.ProofChecker1Impl", "org.qedeq.kernel.bo.logic.proof.checker.ProofChecker2Impl", "org.qedeq.kernel.bo.logic.proof.common.ProofException", "org.qedeq.kernel.bo.logic.proof.common.ProofFoundException", "org.qedeq.kernel.bo.logic.proof.common.ProofNotFoundException", "org.qedeq.kernel.bo.logic.proof.finder.ModusPonensBo", "org.qedeq.kernel.bo.logic.proof.finder.ProofFinderUtility", "org.qedeq.kernel.bo.logic.proof.finder.SubstPredBo", "org.qedeq.kernel.bo.logic.wf.AbstractFormulaChecker", "org.qedeq.kernel.bo.logic.wf.ElementCheckException", "org.qedeq.kernel.bo.logic.wf.EverythingExists", "org.qedeq.kernel.bo.logic.wf.FormulaCheckException", "org.qedeq.kernel.bo.logic.wf.FormulaCheckerImpl", "org.qedeq.kernel.bo.logic.wf.TermCheckException", "org.qedeq.kernel.bo.logic.wf.TestFormulaCheckerFactoryImpl", "org.qedeq.kernel.bo.logic.wf.TestFormulaCheckerImpl", "org.qedeq.kernel.bo.logic.work.EqualFormula", "org.qedeq.kernel.bo.logic.work.EqualFormulaSet", "org.qedeq.kernel.bo.logic.work.LogicalEquivalence", "org.qedeq.kernel.bo.module.ControlVisitor", "org.qedeq.kernel.bo.module.DefaultReference", "org.qedeq.kernel.bo.module.KernelModuleReferenceList", "org.qedeq.kernel.bo.module.KernelNodeBo", "org.qedeq.kernel.bo.module.KernelQedeqBoSet", "org.qedeq.kernel.bo.module.ModuleLabels", "org.qedeq.kernel.bo.module.PluginResults", "org.qedeq.kernel.bo.module.ReferenceLinkException", "org.qedeq.kernel.bo.module.RuntimeVisitorException", "org.qedeq.kernel.bo.parser.ClosingBracketMissingException", "org.qedeq.kernel.bo.parser.EndSymbolNotFoundException", "org.qedeq.kernel.bo.parser.MathParser", "org.qedeq.kernel.bo.parser.MementoTextInput", "org.qedeq.kernel.bo.parser.ParserException", "org.qedeq.kernel.bo.parser.SeparatorNotFoundException", "org.qedeq.kernel.bo.parser.Term", "org.qedeq.kernel.bo.parser.TermAtom", "org.qedeq.kernel.bo.parser.TooFewArgumentsException", "org.qedeq.kernel.bo.parser.TooMuchArgumentsException", "org.qedeq.kernel.bo.parser.UnexpectedOperatorException", "org.qedeq.kernel.bo.service.control.DefaultInternalKernelServices", "org.qedeq.kernel.bo.service.control.Element2Utf8Impl", "org.qedeq.kernel.bo.service.control.KernelQedeqBoStorage", "org.qedeq.kernel.bo.service.control.ModuleArbiter", "org.qedeq.kernel.bo.service.control.ModuleFileNotFoundException", "org.qedeq.kernel.bo.service.control.ModuleLabelsCreator", "org.qedeq.kernel.bo.service.control.PluginManager", "org.qedeq.kernel.bo.service.control.PluginResultManager", "org.qedeq.kernel.bo.service.control.QedeqBoFactoryAssert", "org.qedeq.kernel.bo.service.control.QedeqVoBuilder", "org.qedeq.kernel.bo.service.control.ServiceCallImpl", "org.qedeq.kernel.bo.service.control.ServiceProcessImpl", "org.qedeq.kernel.bo.service.control.ServiceProcessManager", "org.qedeq.kernel.bo.service.control.ServiceResultImpl", "org.qedeq.kernel.bo.service.control.StateManager", "org.qedeq.kernel.bo.service.dependency.LoadDirectlyRequiredModulesExecutor", "org.qedeq.kernel.bo.service.dependency.LoadDirectlyRequiredModulesPlugin", "org.qedeq.kernel.bo.service.dependency.LoadRequiredModuleException", "org.qedeq.kernel.bo.service.dependency.LoadRequiredModulesExecutor", "org.qedeq.kernel.bo.service.dependency.LoadRequiredModulesPlugin", "org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerExecutor", "org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerExecutor", "org.qedeq.kernel.bo.service.latex.LatexContentException", "org.qedeq.kernel.bo.service.latex.LatexListDataException", "org.qedeq.kernel.bo.service.latex.Qedeq2LatexExecutor", "org.qedeq.kernel.bo.service.latex.Qedeq2LatexPlugin", "org.qedeq.kernel.bo.service.latex.QedeqBoDuplicateLanguageChecker", "org.qedeq.kernel.bo.service.logic.CheckRequiredModuleException", "org.qedeq.kernel.bo.service.logic.DefaultExistenceChecker", "org.qedeq.kernel.bo.service.logic.FormalProofCheckerExecutor", "org.qedeq.kernel.bo.service.logic.ModuleConstantsExistenceCheckerImpl", "org.qedeq.kernel.bo.service.logic.SimpleProofFinderExecutor", "org.qedeq.kernel.bo.service.logic.WellFormedCheckerExecutor", "org.qedeq.kernel.bo.service.logic.WellFormedCheckerPlugin", "org.qedeq.kernel.bo.service.unicode.Latex2UnicodeSpecials", "org.qedeq.kernel.bo.service.unicode.ProofLineData", "org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutor", "org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextPlugin", "org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeVisitor", "org.qedeq.kernel.bo.service.unicode.Qedeq2Utf8Executor", "org.qedeq.kernel.bo.service.unicode.Qedeq2Utf8Plugin", "org.qedeq.kernel.bo.service.unicode.UnicodeException"}
junit.framework.AssertionFailedError: the following classes have no test classes: {"org.qedeq.kernel.bo.log.ModuleEventLog", "org.qedeq.kernel.bo.log.ModuleLogListenerImpl", "org.qedeq.kernel.bo.logic.ProofFinderFactoryImpl", "org.qedeq.kernel.bo.logic.common.ClassOperatorAlreadyExistsException", "org.qedeq.kernel.bo.logic.common.FormulaUtility", "org.qedeq.kernel.bo.logic.common.FunctionConstant", "org.qedeq.kernel.bo.logic.common.FunctionKey", "org.qedeq.kernel.bo.logic.common.IdentityOperatorAlreadyExistsException", "org.qedeq.kernel.bo.logic.common.LogicalCheckException", "org.qedeq.kernel.bo.logic.common.LogicalCheckExceptionList", "org.qedeq.kernel.bo.logic.common.PredicateConstant", "org.qedeq.kernel.bo.logic.common.PredicateKey", "org.qedeq.kernel.bo.logic.common.SubjectVariable", "org.qedeq.kernel.bo.logic.model.CalculateTruth", "org.qedeq.kernel.bo.logic.model.DynamicModel", "org.qedeq.kernel.bo.logic.model.Entity", "org.qedeq.kernel.bo.logic.model.FourDynamicModel", "org.qedeq.kernel.bo.logic.model.Function", "org.qedeq.kernel.bo.logic.model.FunctionVariableInterpreter", "org.qedeq.kernel.bo.logic.model.HeuristicException", "org.qedeq.kernel.bo.logic.model.Interpreter", "org.qedeq.kernel.bo.logic.model.Predicate", "org.qedeq.kernel.bo.logic.model.PredicateVariableInterpreter", "org.qedeq.kernel.bo.logic.model.SixDynamicModel", "org.qedeq.kernel.bo.logic.model.SubjectVariableAllocation", "org.qedeq.kernel.bo.logic.model.SubjectVariableInterpreter", "org.qedeq.kernel.bo.logic.model.ThreeDynamicModel", "org.qedeq.kernel.bo.logic.model.ThreeModel", "org.qedeq.kernel.bo.logic.model.UnaryDynamicModel", "org.qedeq.kernel.bo.logic.model.UnaryModel", "org.qedeq.kernel.bo.logic.proof.checker.ProofCheckException", "org.qedeq.kernel.bo.logic.proof.checker.ProofChecker0Impl", "org.qedeq.kernel.bo.logic.proof.checker.ProofChecker1Impl", "org.qedeq.kernel.bo.logic.proof.checker.ProofChecker2Impl", "org.qedeq.kernel.bo.logic.proof.common.ProofException", "org.qedeq.kernel.bo.logic.proof.common.ProofFoundException", "org.qedeq.kernel.bo.logic.proof.common.ProofNotFoundException", "org.qedeq.kernel.bo.logic.proof.finder.ModusPonensBo", "org.qedeq.kernel.bo.logic.proof.finder.ProofFinderUtility", "org.qedeq.kernel.bo.logic.proof.finder.SubstPredBo", "org.qedeq.kernel.bo.logic.wf.AbstractFormulaChecker", "org.qedeq.kernel.bo.logic.wf.ElementCheckException", "org.qedeq.kernel.bo.logic.wf.EverythingExists", "org.qedeq.kernel.bo.logic.wf.FormulaCheckException", "org.qedeq.kernel.bo.logic.wf.FormulaCheckerImpl", "org.qedeq.kernel.bo.logic.wf.TermCheckException", "org.qedeq.kernel.bo.logic.wf.TestFormulaCheckerFactoryImpl", "org.qedeq.kernel.bo.logic.wf.TestFormulaCheckerImpl", "org.qedeq.kernel.bo.logic.work.EqualFormula", "org.qedeq.kernel.bo.logic.work.EqualFormulaSet", "org.qedeq.kernel.bo.logic.work.LogicalEquivalence", "org.qedeq.kernel.bo.module.ControlVisitor", "org.qedeq.kernel.bo.module.DefaultReference", "org.qedeq.kernel.bo.module.KernelModuleReferenceList", "org.qedeq.kernel.bo.module.KernelNodeBo", "org.qedeq.kernel.bo.module.KernelQedeqBoSet", "org.qedeq.kernel.bo.module.ModuleLabels", "org.qedeq.kernel.bo.module.PluginResults", "org.qedeq.kernel.bo.module.ReferenceLinkException", "org.qedeq.kernel.bo.module.RuntimeVisitorException", "org.qedeq.kernel.bo.parser.ClosingBracketMissingException", "org.qedeq.kernel.bo.parser.EndSymbolNotFoundException", "org.qedeq.kernel.bo.parser.MathParser", "org.qedeq.kernel.bo.parser.MementoTextInput", "org.qedeq.kernel.bo.parser.ParserException", "org.qedeq.kernel.bo.parser.SeparatorNotFoundException", "org.qedeq.kernel.bo.parser.Term", "org.qedeq.kernel.bo.parser.TermAtom", "org.qedeq.kernel.bo.parser.TooFewArgumentsException", "org.qedeq.kernel.bo.parser.TooMuchArgumentsException", "org.qedeq.kernel.bo.parser.UnexpectedOperatorException", "org.qedeq.kernel.bo.service.control.DefaultInternalKernelServices", "org.qedeq.kernel.bo.service.control.Element2Utf8Impl", "org.qedeq.kernel.bo.service.control.KernelQedeqBoStorage", "org.qedeq.kernel.bo.service.control.ModuleArbiter", "org.qedeq.kernel.bo.service.control.ModuleFileNotFoundException", "org.qedeq.kernel.bo.service.control.ModuleLabelsCreator", "org.qedeq.kernel.bo.service.control.PluginManager", "org.qedeq.kernel.bo.service.control.PluginResultManager", "org.qedeq.kernel.bo.service.control.QedeqBoFactoryAssert", "org.qedeq.kernel.bo.service.control.QedeqVoBuilder", "org.qedeq.kernel.bo.service.control.ServiceCallImpl", "org.qedeq.kernel.bo.service.control.ServiceProcessImpl", "org.qedeq.kernel.bo.service.control.ServiceProcessManager", "org.qedeq.kernel.bo.service.control.ServiceResultImpl", "org.qedeq.kernel.bo.service.control.StateManager", "org.qedeq.kernel.bo.service.dependency.LoadDirectlyRequiredModulesExecutor", "org.qedeq.kernel.bo.service.dependency.LoadDirectlyRequiredModulesPlugin", "org.qedeq.kernel.bo.service.dependency.LoadRequiredModuleException", "org.qedeq.kernel.bo.service.dependency.LoadRequiredModulesExecutor", "org.qedeq.kernel.bo.service.dependency.LoadRequiredModulesPlugin", "org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerExecutor", "org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerExecutor", "org.qedeq.kernel.bo.service.latex.LatexContentException", "org.qedeq.kernel.bo.service.latex.LatexListDataException", "org.qedeq.kernel.bo.service.latex.Qedeq2LatexExecutor", "org.qedeq.kernel.bo.service.latex.Qedeq2LatexPlugin", "org.qedeq.kernel.bo.service.latex.QedeqBoDuplicateLanguageChecker", "org.qedeq.kernel.bo.service.logic.CheckRequiredModuleException", "org.qedeq.kernel.bo.service.logic.DefaultExistenceChecker", "org.qedeq.kernel.bo.service.logic.FormalProofCheckerExecutor", "org.qedeq.kernel.bo.service.logic.ModuleConstantsExistenceCheckerImpl", "org.qedeq.kernel.bo.service.logic.SimpleProofFinderExecutor", "org.qedeq.kernel.bo.service.logic.WellFormedCheckerExecutor", "org.qedeq.kernel.bo.service.logic.WellFormedCheckerPlugin", "org.qedeq.kernel.bo.service.unicode.Latex2UnicodeSpecials", "org.qedeq.kernel.bo.service.unicode.ProofLineData", "org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutor", "org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextPlugin", "org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeVisitor", "org.qedeq.kernel.bo.service.unicode.Qedeq2Utf8Executor", "org.qedeq.kernel.bo.service.unicode.Qedeq2Utf8Plugin", "org.qedeq.kernel.bo.service.unicode.UnicodeException"} at junit.framework.Assert.fail(Assert.java:47)
|
