|
0.31034482
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm00
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm00
|
1
PASS
|
|
0.31034482
|
org.qedeq.kernel.bo.module.VisitorContextTest.testContext
org.qedeq.kernel.bo.module.VisitorContextTest.testContext
|
1
PASS
|
|
0.31034482
|
org.qedeq.kernel.xml.parser.QedeqParserTest.testParse1
org.qedeq.kernel.xml.parser.QedeqParserTest.testParse1
|
1
PASS
|
|
0.31034482
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm00
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm00
|
1
PASS
|
|
0.31034482
|
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testGetXPathLocation
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testGetXPathLocation
|
1
PASS
|
|
0.31034482
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm00
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm00
|
1
PASS
|
|
0.27586207
|
org.qedeq.kernel.bo.KernelContextTest.testGetBuildId
org.qedeq.kernel.bo.KernelContextTest.testGetBuildId
|
1
PASS
|
|
0.27586207
|
org.qedeq.kernel.bo.common.BasicKernelTest.testGetBuildId
org.qedeq.kernel.bo.common.BasicKernelTest.testGetBuildId
|
1
PASS
|
|
0.2413793
|
org.qedeq.base.test.EachClassHasATestCase.testIfEveryClassIsTested
org.qedeq.base.test.EachClassHasATestCase.testIfEveryClassIsTested
|
3
FAIL
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress3
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress3
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testGetConfig
org.qedeq.kernel.bo.KernelContextTest.testGetConfig
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testLoadAllModulesFromQedeq
org.qedeq.kernel.bo.KernelContextTest.testLoadAllModulesFromQedeq
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testStartup
org.qedeq.kernel.bo.KernelContextTest.testStartup
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testGetServiceProcesses
org.qedeq.kernel.bo.KernelContextTest.testGetServiceProcesses
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testLoadRequiredModules
org.qedeq.kernel.bo.KernelContextTest.testLoadRequiredModules
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testGetSource
org.qedeq.kernel.bo.KernelContextTest.testGetSource
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testRemoveModule
org.qedeq.kernel.bo.KernelContextTest.testRemoveModule
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testClearAllPluginResults
org.qedeq.kernel.bo.KernelContextTest.testClearAllPluginResults
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testClearLocalBuffer
org.qedeq.kernel.bo.KernelContextTest.testClearLocalBuffer
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testLoadModule
org.qedeq.kernel.bo.KernelContextTest.testLoadModule
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testInit
org.qedeq.kernel.bo.KernelContextTest.testInit
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testIsRuleVersionSupported
org.qedeq.kernel.bo.KernelContextTest.testIsRuleVersionSupported
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testGetAllLoadedModules
org.qedeq.kernel.bo.KernelContextTest.testGetAllLoadedModules
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testStopAllPluginExecutions
org.qedeq.kernel.bo.KernelContextTest.testStopAllPluginExecutions
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress2
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress2
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testExecutePlugin
org.qedeq.kernel.bo.KernelContextTest.testExecutePlugin
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testCheckWellFormedness
org.qedeq.kernel.bo.KernelContextTest.testCheckWellFormedness
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.common.BasicKernelTest.testIsRuleVersionSupported
org.qedeq.kernel.bo.common.BasicKernelTest.testIsRuleVersionSupported
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testGetRunningServiceProcesses
org.qedeq.kernel.bo.KernelContextTest.testGetRunningServiceProcesses
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testGetQedeqBo
org.qedeq.kernel.bo.KernelContextTest.testGetQedeqBo
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testShutdown
org.qedeq.kernel.bo.KernelContextTest.testShutdown
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testRemoveAllModules
org.qedeq.kernel.bo.KernelContextTest.testRemoveAllModules
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testCheckFormallyProved
org.qedeq.kernel.bo.KernelContextTest.testCheckFormallyProved
|
1
PASS
|
|
0.13793103
|
org.qedeq.kernel.bo.KernelContextTest.testGetPlugins
org.qedeq.kernel.bo.KernelContextTest.testGetPlugins
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration6
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration6
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException04
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException04
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm16
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm16
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_10
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_10
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm21
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm21
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm42
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm42
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm04
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm04
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm02
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm02
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm24
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm24
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm06
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm06
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.KernelContextTest.testIsSetReadTimeoutSupported
org.qedeq.kernel.bo.KernelContextTest.testIsSetReadTimeoutSupported
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive04
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive04
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm01
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm01
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm20
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm20
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm15
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm15
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm40
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm40
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_02
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_02
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm05
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm05
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_09
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_09
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq4
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq4
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException01
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException01
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.common.BasicKernelTest.testGetMaximalRuleVersion
org.qedeq.kernel.bo.common.BasicKernelTest.testGetMaximalRuleVersion
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm14
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm14
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck4
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck4
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03b
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03b
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm49
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm49
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.common.BasicKernelTest.testGetKernelVersionDirectory
org.qedeq.kernel.bo.common.BasicKernelTest.testGetKernelVersionDirectory
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm01
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm01
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_07
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_07
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm03
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm03
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive05
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive05
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm17
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm17
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm20
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm20
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm22
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm22
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm26
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm26
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm33
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm33
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm18
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm18
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.KernelContextTest.testGetMaximalRuleVersion
org.qedeq.kernel.bo.KernelContextTest.testGetMaximalRuleVersion
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq6
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq6
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm47
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm47
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm30
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm30
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm18
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm18
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testXPathNotOk2
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testXPathNotOk2
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm06
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm06
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm34
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm34
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm07
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm07
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm46
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm46
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative04
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative04
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_02
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_02
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm27
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm27
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm11
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm11
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript1
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript1
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1b
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1b
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative02
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative02
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq5
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq5
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException03
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException03
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_13
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_13
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.common.BasicKernelTest.testGetKernelVersion
org.qedeq.kernel.bo.common.BasicKernelTest.testGetKernelVersion
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.common.BasicKernelTest.testGetKernelCodeName
org.qedeq.kernel.bo.common.BasicKernelTest.testGetKernelCodeName
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_03
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_03
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.common.BasicKernelTest.testGetDedicationVersion
org.qedeq.kernel.bo.common.BasicKernelTest.testGetDedicationVersion
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative00
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative00
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.KernelContextTest.testGetKernelCodeName
org.qedeq.kernel.bo.KernelContextTest.testGetKernelCodeName
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm23
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm23
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm28
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm28
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm03
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm03
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm39
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm39
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm15
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm15
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm48
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm48
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_01
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_01
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testFileNotOk
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testFileNotOk
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_05
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_05
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm01
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm01
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm36
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm36
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException05
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException05
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3b
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3b
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration2
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration2
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm21
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm21
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm10
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm10
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm27
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm27
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm06
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm06
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration4
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration4
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm19
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm19
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq3
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq3
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm25
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm25
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm19
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm19
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_06
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_06
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm02
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm02
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.xml.parser.QedeqParserTest.testParse2
org.qedeq.kernel.xml.parser.QedeqParserTest.testParse2
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_05
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_05
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm02
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm02
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm43
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm43
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm07
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm07
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq2
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq2
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L002
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L002
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm31
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm31
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm12
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm12
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.KernelContextTest.testGetKernelVersionDirectory
org.qedeq.kernel.bo.KernelContextTest.testGetKernelVersionDirectory
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative04
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative04
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm35
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm35
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin4
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin4
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative01
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative01
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm03
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm03
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck6
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck6
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_06
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_06
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm12
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm12
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v2
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v2
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative02
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative02
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.KernelContextTest.testGetDescriptiveKernelVersion
org.qedeq.kernel.bo.KernelContextTest.testGetDescriptiveKernelVersion
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm50
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm50
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm09
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm09
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_04
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_04
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_10
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_10
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testXPathNotOk
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testXPathNotOk
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm22
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm22
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm10
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm10
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive06
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive06
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm29
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm29
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck1
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck1
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.KernelContextTest.testGetKernelVersion
org.qedeq.kernel.bo.KernelContextTest.testGetKernelVersion
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative00
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative00
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript2
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript2
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3c
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3c
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm08
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm08
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testTagNotFound
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testTagNotFound
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative03
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative03
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm13
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm13
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm04
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm04
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration
org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm05
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm05
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative03
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative03
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.common.BasicKernelTest.testIsSetReadTimeoutSupported
org.qedeq.kernel.bo.common.BasicKernelTest.testIsSetReadTimeoutSupported
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm28
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm28
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm09
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm09
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_11
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_11
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm41
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm41
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPluginTest.testQedeqSampleScript1
org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPluginTest.testQedeqSampleScript1
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm45
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm45
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm32
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm32
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm17
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm17
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm16
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm16
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException00
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException00
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm09
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm09
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm37
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm37
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_04
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_04
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_08
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_08
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_01
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_01
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration5
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration5
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.KernelContextTest.testIsSetConnectionTimeOutSupported
org.qedeq.kernel.bo.KernelContextTest.testIsSetConnectionTimeOutSupported
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm04
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm04
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm08
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm08
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind2
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind2
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm23
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm23
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_12
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_12
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_09
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_09
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm24
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm24
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm08
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm08
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm14
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm14
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.common.BasicKernelTest.testIsSetConnectionTimeOutSupported
org.qedeq.kernel.bo.common.BasicKernelTest.testIsSetConnectionTimeOutSupported
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException06
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException06
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm26
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm26
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm38
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm38
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm13
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm13
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm07
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm07
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException02
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException02
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive02
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive02
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative01
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative01
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_03
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_03
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm05
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm05
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm44
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm44
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm11
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm11
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.common.BasicKernelTest.testGetDescriptiveKernelVersion
org.qedeq.kernel.bo.common.BasicKernelTest.testGetDescriptiveKernelVersion
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive01
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive01
|
1
PASS
|
|
0.06896552
|
org.qedeq.kernel.bo.KernelContextTest.testGetDedicationVersion
org.qedeq.kernel.bo.KernelContextTest.testGetDedicationVersion
|
1
PASS
|