|
1.0
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_01
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_01
|
1
PASS
|
|
1.0
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1
|
1
PASS
|
|
1.0
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative02
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative02
|
1
PASS
|
|
1.0
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin
|
1
PASS
|
|
1.0
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1
|
1
PASS
|
|
1.0
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_01
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_01
|
1
PASS
|
|
1.0
|
org.qedeq.base.test.EachClassHasATestCase.testIfEveryClassIsTested
org.qedeq.base.test.EachClassHasATestCase.testIfEveryClassIsTested
|
1
PASS
|
|
1.0
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1
|
1
PASS
|
|
1.0
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative02
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative02
|
1
PASS
|
|
1.0
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck1
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck1
|
1
PASS
|
|
1.0
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind
|
1
PASS
|
|
1.0
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration
|
1
PASS
|
|
1.0
|
org.qedeq.kernel.bo.service.basis.DefaultKernelQedeqBoTest.testConstructor
org.qedeq.kernel.bo.service.basis.DefaultKernelQedeqBoTest.testConstructor
|
1
PASS
|
|
1.0
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin
|
1
PASS
|
|
1.0
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration1
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration1
|
1
PASS
|
|
1.0
|
org.qedeq.kernel.se.state.FormallyProvedStateTest.testGetCode
org.qedeq.kernel.se.state.FormallyProvedStateTest.testGetCode
|
1
PASS
|
|
1.0
|
org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPluginTest.testQedeqSampleScript1
org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPluginTest.testQedeqSampleScript1
|
1
PASS
|
|
1.0
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule
|
1
PASS
|
|
1.0
|
org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration
org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration
|
1
PASS
|
|
1.0
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration
|
1
PASS
|
|
1.0
|
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq1
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq1
|
1
PASS
|
|
1.0
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript1
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript1
|
1
PASS
|