|
1.0
|
org.qedeq.kernel.se.test.AbstractValueObjectTestCase.testAll
org.qedeq.kernel.se.test.AbstractValueObjectTestCase.testAll
|
1
PASS
|
|
1.0
|
org.qedeq.kernel.se.test.AbstractValueObjectTestCase.testAll
org.qedeq.kernel.se.test.AbstractValueObjectTestCase.testAll
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_06
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_06
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.module.VisitorContextTest.testContext
org.qedeq.kernel.bo.module.VisitorContextTest.testContext
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_10
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_10
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_11
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_11
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1b
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1b
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_12
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_12
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration4
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration4
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin4
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin4
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration
org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq5
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq5
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_13
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_13
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_05
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_05
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive04
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive04
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07
|
1
PASS
|
|
0.039215688
|
org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testQedeq
org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testQedeq
|
1
PASS
|