|
0.2631579
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq6
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq6
|
1
PASS
|
|
0.2631579
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq5
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq5
|
1
PASS
|
|
0.2631579
|
org.qedeq.kernel.bo.module.VisitorContextTest.testContext
org.qedeq.kernel.bo.module.VisitorContextTest.testContext
|
1
PASS
|
|
0.24561404
|
org.qedeq.base.test.EachClassHasATestCase.testIfEveryClassIsTested
org.qedeq.base.test.EachClassHasATestCase.testIfEveryClassIsTested
|
3
FAIL
|
|
0.24561404
|
org.qedeq.base.test.EachClassHasATestCase.testIfEveryClassIsTested
org.qedeq.base.test.EachClassHasATestCase.testIfEveryClassIsTested
|
1
PASS
|
|
0.24561404
|
org.qedeq.base.test.EachClassHasATestCase.testIfEveryClassIsTested
org.qedeq.base.test.EachClassHasATestCase.testIfEveryClassIsTested
|
1
PASS
|
|
0.24561404
|
org.qedeq.base.test.EachClassHasATestCase.testIfEveryClassIsTested
org.qedeq.base.test.EachClassHasATestCase.testIfEveryClassIsTested
|
3
FAIL
|
|
0.15789473
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq4
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq4
|
1
PASS
|
|
0.15789473
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq3
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq3
|
1
PASS
|
|
0.15789473
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq2
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq2
|
1
PASS
|
|
0.10526316
|
org.qedeq.kernel.xml.schema.SchemaTest.testXml
org.qedeq.kernel.xml.schema.SchemaTest.testXml
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_10
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_10
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_02
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_02
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_09
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_09
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_07
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_07
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testXPathNotOk2
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testXPathNotOk2
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative04
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative04
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_02
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_02
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative02
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative02
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_13
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_13
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_03
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_03
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative00
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative00
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_01
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_01
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_05
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_05
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_06
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_06
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_05
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_05
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.xml.parser.QedeqParserTest.testParse2
org.qedeq.kernel.xml.parser.QedeqParserTest.testParse2
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L002
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L002
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative04
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative04
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative01
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative01
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_06
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_06
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v2
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v2
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative02
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative02
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_04
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_04
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_10
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_10
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testXPathNotOk
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testXPathNotOk
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.xml.parser.QedeqParserTest.testParse1
org.qedeq.kernel.xml.parser.QedeqParserTest.testParse1
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative00
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative00
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testTagNotFound
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testTagNotFound
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative03
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative03
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration
org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative03
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative03
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_11
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_11
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testGetXPathLocation
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testGetXPathLocation
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_04
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_04
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_08
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_08
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_01
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_01
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_12
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_12
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_09
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_09
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.xml.tracker.XPathLocationParserTest.testGetXPathLocation
org.qedeq.kernel.xml.tracker.XPathLocationParserTest.testGetXPathLocation
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative01
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative01
|
1
PASS
|
|
0.07017544
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_03
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_03
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException04
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException04
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm16
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm16
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm00
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm00
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm21
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm21
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm42
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm42
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm04
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm04
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm02
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm02
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm24
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm24
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm06
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm06
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm01
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm01
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testSaveFileFileStringBufferString
org.qedeq.base.io.IoUtilityTest.testSaveFileFileStringBufferString
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testListFilesRecursively
org.qedeq.base.io.IoUtilityTest.testListFilesRecursively
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.utility.YodaUtilityTest.testGetFieldValue
org.qedeq.base.utility.YodaUtilityTest.testGetFieldValue
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testSaveFileStringString
org.qedeq.base.io.IoUtilityTest.testSaveFileStringString
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testCompareTextFiles3
org.qedeq.base.io.IoUtilityTest.testCompareTextFiles3
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.se.config.ConfigAccessTest.testStore
org.qedeq.kernel.se.config.ConfigAccessTest.testStore
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress3
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress3
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm20
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm20
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm15
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm15
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm40
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm40
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testGetConfig
org.qedeq.kernel.bo.KernelContextTest.testGetConfig
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testCompareTextFiles2
org.qedeq.base.io.IoUtilityTest.testCompareTextFiles2
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testLoadAllModulesFromQedeq
org.qedeq.kernel.bo.KernelContextTest.testLoadAllModulesFromQedeq
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm05
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm05
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException01
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException01
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm14
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm14
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm49
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm49
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm01
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm01
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testStartup
org.qedeq.kernel.bo.KernelContextTest.testStartup
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm03
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm03
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm17
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm17
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm20
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm20
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm26
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm26
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm22
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm22
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm33
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm33
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testLoadFileFileStringBuffer
org.qedeq.base.io.IoUtilityTest.testLoadFileFileStringBuffer
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm18
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm18
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm47
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm47
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm30
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm30
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testGetServiceProcesses
org.qedeq.kernel.bo.KernelContextTest.testGetServiceProcesses
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm18
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm18
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm34
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm34
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm06
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm06
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm07
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm07
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testCompareFileBinary
org.qedeq.base.io.IoUtilityTest.testCompareFileBinary
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testLoadRequiredModules
org.qedeq.kernel.bo.KernelContextTest.testLoadRequiredModules
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm46
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm46
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testGetSource
org.qedeq.kernel.bo.KernelContextTest.testGetSource
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm27
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm27
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm11
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm11
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testCopyFile
org.qedeq.base.io.IoUtilityTest.testCopyFile
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException03
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException03
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testSaveFileFileStringBuffer
org.qedeq.base.io.IoUtilityTest.testSaveFileFileStringBuffer
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testLoadFileURLStringBufferString
org.qedeq.base.io.IoUtilityTest.testLoadFileURLStringBufferString
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm23
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm23
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testSaveFileURLFile
org.qedeq.base.io.IoUtilityTest.testSaveFileURLFile
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm28
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm28
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm03
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm03
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testRemoveModule
org.qedeq.kernel.bo.KernelContextTest.testRemoveModule
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm39
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm39
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm15
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm15
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm48
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm48
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testLoadFileURLStringBuffer
org.qedeq.base.io.IoUtilityTest.testLoadFileURLStringBuffer
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.se.config.QedeqConfigTest.testStore
org.qedeq.kernel.se.config.QedeqConfigTest.testStore
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.utility.YodaUtilityTest.testExecuteMethod
org.qedeq.base.utility.YodaUtilityTest.testExecuteMethod
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testLoadPropertiesUrl
org.qedeq.base.io.IoUtilityTest.testLoadPropertiesUrl
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm01
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm01
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm36
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm36
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testClearAllPluginResults
org.qedeq.kernel.bo.KernelContextTest.testClearAllPluginResults
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException05
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException05
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testLoadReader
org.qedeq.base.io.IoUtilityTest.testLoadReader
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm21
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm21
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm27
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm27
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm10
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm10
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testSaveFileStringStringBuffer
org.qedeq.base.io.IoUtilityTest.testSaveFileStringStringBuffer
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm06
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm06
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm19
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm19
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testDeleteDirFileBoolean
org.qedeq.base.io.IoUtilityTest.testDeleteDirFileBoolean
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm25
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm25
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm19
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm19
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm02
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm02
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testLoadFileStringString
org.qedeq.base.io.IoUtilityTest.testLoadFileStringString
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm02
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm02
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm43
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm43
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm07
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm07
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testCopyDirectory
org.qedeq.base.io.IoUtilityTest.testCopyDirectory
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testClearLocalBuffer
org.qedeq.kernel.bo.KernelContextTest.testClearLocalBuffer
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm31
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm31
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm12
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm12
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testLoadModule
org.qedeq.kernel.bo.KernelContextTest.testLoadModule
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testCreateRelativePath
org.qedeq.base.io.IoUtilityTest.testCreateRelativePath
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testInit
org.qedeq.kernel.bo.KernelContextTest.testInit
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testDeleteDirFileFileFilter
org.qedeq.base.io.IoUtilityTest.testDeleteDirFileFileFilter
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm35
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm35
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm03
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm03
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testCompareTextFiles1
org.qedeq.base.io.IoUtilityTest.testCompareTextFiles1
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm12
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm12
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testGetAllLoadedModules
org.qedeq.kernel.bo.KernelContextTest.testGetAllLoadedModules
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testStopAllPluginExecutions
org.qedeq.kernel.bo.KernelContextTest.testStopAllPluginExecutions
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testLoadFileBinary1
org.qedeq.base.io.IoUtilityTest.testLoadFileBinary1
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.UrlUtilityTest.testSaveUrlToFile
org.qedeq.base.io.UrlUtilityTest.testSaveUrlToFile
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm50
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm50
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm09
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm09
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm22
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm22
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress2
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress2
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testExecutePlugin
org.qedeq.kernel.bo.KernelContextTest.testExecutePlugin
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm10
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm10
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm29
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm29
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testCheckWellFormedness
org.qedeq.kernel.bo.KernelContextTest.testCheckWellFormedness
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm08
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm08
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm13
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm13
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm04
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm04
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testLoadAndSaveFileBinary
org.qedeq.base.io.IoUtilityTest.testLoadAndSaveFileBinary
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm05
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm05
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testLoadFileBinary2
org.qedeq.base.io.IoUtilityTest.testLoadFileBinary2
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testSaveFileBinary
org.qedeq.base.io.IoUtilityTest.testSaveFileBinary
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm28
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm28
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm09
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm09
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testGetRunningServiceProcesses
org.qedeq.kernel.bo.KernelContextTest.testGetRunningServiceProcesses
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testLoadFileFileStringBufferString
org.qedeq.base.io.IoUtilityTest.testLoadFileFileStringBufferString
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testGetQedeqBo
org.qedeq.kernel.bo.KernelContextTest.testGetQedeqBo
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm41
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm41
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testLoadStreamInputStreamStringBuffer
org.qedeq.base.io.IoUtilityTest.testLoadStreamInputStreamStringBuffer
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm45
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm45
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testShutdown
org.qedeq.kernel.bo.KernelContextTest.testShutdown
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.TextInputTest.testTextInputFileString
org.qedeq.base.io.TextInputTest.testTextInputFileString
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testRemoveAllModules
org.qedeq.kernel.bo.KernelContextTest.testRemoveAllModules
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm00
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm00
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm32
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm32
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm17
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm17
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException00
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException00
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm16
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm16
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm09
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm09
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm37
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm37
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testSaveFileFileString
org.qedeq.base.io.IoUtilityTest.testSaveFileFileString
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm00
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm00
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm04
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm04
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testLoadStreamWithoutException
org.qedeq.base.io.IoUtilityTest.testLoadStreamWithoutException
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm08
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm08
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm23
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm23
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testCreateNecessaryDirectories
org.qedeq.base.io.IoUtilityTest.testCreateNecessaryDirectories
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm24
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm24
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm08
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm08
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testSaveFileInputStreamFile
org.qedeq.base.io.IoUtilityTest.testSaveFileInputStreamFile
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm14
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm14
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testCopyDirectory3
org.qedeq.base.io.IoUtilityTest.testCopyDirectory3
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException06
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException06
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm26
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm26
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testSaveFileFileStringString
org.qedeq.base.io.IoUtilityTest.testSaveFileFileStringString
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm38
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm38
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm13
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm13
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm07
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm07
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException02
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException02
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testCheckFormallyProved
org.qedeq.kernel.bo.KernelContextTest.testCheckFormallyProved
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.KernelContextTest.testGetPlugins
org.qedeq.kernel.bo.KernelContextTest.testGetPlugins
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm05
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm05
|
1
PASS
|
|
0.03508772
|
org.qedeq.base.io.IoUtilityTest.testCopyDirectory2
org.qedeq.base.io.IoUtilityTest.testCopyDirectory2
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm44
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm44
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03
|
1
PASS
|
|
0.03508772
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm11
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm11
|
1
PASS
|