|
1.0
|
org.qedeq.kernel.se.test.AbstractValueObjectTestCase.testAll
org.qedeq.kernel.se.test.AbstractValueObjectTestCase.testAll
|
1
PASS
|
|
0.84313726
|
org.qedeq.kernel.se.test.AbstractValueObjectTestCase.testAll
org.qedeq.kernel.se.test.AbstractValueObjectTestCase.testAll
|
1
PASS
|
|
0.84313726
|
org.qedeq.kernel.se.test.AbstractValueObjectTestCase.testAll
org.qedeq.kernel.se.test.AbstractValueObjectTestCase.testAll
|
1
PASS
|
|
0.8039216
|
org.qedeq.kernel.se.test.AbstractValueObjectTestCase.testAll
org.qedeq.kernel.se.test.AbstractValueObjectTestCase.testAll
|
1
PASS
|
|
0.8039216
|
org.qedeq.kernel.se.test.AbstractValueObjectTestCase.testAll
org.qedeq.kernel.se.test.AbstractValueObjectTestCase.testAll
|
1
PASS
|
|
0.39215687
|
org.qedeq.kernel.se.dto.module.FormalProofVoTest.testConstructor
org.qedeq.kernel.se.dto.module.FormalProofVoTest.testConstructor
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3b
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3b
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind2
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind2
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck4
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck4
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03b
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03b
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
|
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.logic.SimpleProofFinderPluginTest.testPlugin2
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2
|
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.bo.logic.proof.checker.ProofCheckerTest.testCheck1
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck1
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck6
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck6
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3
|
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.proof.finder.ProofFinderImplTest.testFind
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3c
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3c
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2
|
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.se.visitor.QedeqNotNullTraverserTest.testQedeq
org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testQedeq
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3
|
1
PASS
|
|
0.15686275
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration
|
1
PASS
|