Loading...
Test Case % Success
AbstractFormulaChecker AbstractFormulaChecker -1.0 ( - )
AbstractParserTest AbstractParserTest -1.0 ( - )
AbstractValueObjectTest AbstractValueObjectTest -1.0 ( - )
AbstractVoModuleTest AbstractVoModuleTest -1.0 ( - )
AsciiMathParserTest AsciiMathParserTest 1.0 (100%)
AuthorListVoTest AuthorListVoTest 1.0 (100%)
AuthorVoTest AuthorVoTest 1.0 (100%)
AxiomVoTest AxiomVoTest 1.0 (100%)
ChapterListVoTest ChapterListVoTest 1.0 (100%)
ChapterVoTest ChapterVoTest 1.0 (100%)
CharsetParserTest CharsetParserTest 1.0 (100%)
CheckLogicTest CheckLogicTest 1.0 (100%)
CheckRequiredModuleExceptionTest CheckRequiredModuleExceptionTest 1.0 (100%)
Context2XPathOld Context2XPathOld -1.0 ( - )
DateUtilityTest DateUtilityTest 1.0 (100%)
DefaultKernelQedeqBoTest DefaultKernelQedeqBoTest 1.0 (100%)
DummyInternalKernalServices DummyInternalKernalServices -1.0 ( - )
DummyPlugin DummyPlugin -1.0 ( - )
DynamicGetter DynamicGetter -1.0 ( - )
EnumeratorTest EnumeratorTest 1.0 (100%)
EqualsUtilityTest EqualsUtilityTest 1.0 (100%)
ExtendedGenerateLatexTest ExtendedGenerateLatexTest 1.0 (100%)
FormulaCheckerClassTermTest FormulaCheckerClassTermTest -1.0 ( - )
FormulaCheckerFormulaTest FormulaCheckerFormulaTest -1.0 ( - )
FormulaCheckerFunctionTermTest FormulaCheckerFunctionTermTest -1.0 ( - )
FormulaCheckerGlobalTest FormulaCheckerGlobalTest -1.0 ( - )
FormulaCheckerLogicalConnectivesTest FormulaCheckerLogicalConnectivesTest -1.0 ( - )
FormulaCheckerNegationTest FormulaCheckerNegationTest -1.0 ( - )
FormulaCheckerPredicateFormulaTest FormulaCheckerPredicateFormulaTest -1.0 ( - )
FormulaCheckerQuantifiersTest FormulaCheckerQuantifiersTest -1.0 ( - )
FormulaCheckerSubjectVariableTest FormulaCheckerSubjectVariableTest -1.0 ( - )
FormulaCheckerTermTest FormulaCheckerTermTest -1.0 ( - )
FormulaCheckerTest FormulaCheckerTest -1.0 ( - )
FormulaVoTest FormulaVoTest 1.0 (100%)
FunctionDefinitionVoTest FunctionDefinitionVoTest 1.0 (100%)
GenerateLatexTest GenerateLatexTest 1.0 (100%)
GenerateXmlTest GenerateXmlTest 1.0 (100%)
HeaderVoTest HeaderVoTest 1.0 (100%)
HttpProxy HttpProxy -1.0 ( - )
ImportListVoTest ImportListVoTest 1.0 (100%)
ImportVoTest ImportVoTest 1.0 (100%)
IoUtilityTest IoUtilityTest 1.0 (100%)
KernelFacade KernelFacade -1.0 ( - )
LatexListVoTest LatexListVoTest 1.0 (100%)
LatexMathParserTest LatexMathParserTest 1.0 (100%)
LatexVoTest LatexVoTest 1.0 (100%)
LinkListVoTest LinkListVoTest 1.0 (100%)
LiteratureItemListVoTest LiteratureItemListVoTest 1.0 (100%)
LiteratureItemVoTest LiteratureItemVoTest 1.0 (100%)
LoadRequiredModulesTest LoadRequiredModulesTest 1.0 (100%)
LocationListVoTest LocationListVoTest 1.0 (100%)
LocationVoTest LocationVoTest 1.0 (100%)
ModuleConstantsExistenceCheckerTest ModuleConstantsExistenceCheckerTest 1.0 (100%)
NanoHTTPD NanoHTTPD -1.0 ( - )
NanoHTTPD.HTTPSession NanoHTTPD.HTTPSession -1.0 ( - )
NanoHTTPD.Response NanoHTTPD.Response -1.0 ( - )
NodeVoTest NodeVoTest 1.0 (100%)
ObjectProxy ObjectProxy -1.0 ( - )
PredicateDefinitionVoTest PredicateDefinitionVoTest 1.0 (100%)
ProofListVoTest ProofListVoTest 1.0 (100%)
ProofVoTest ProofVoTest 1.0 (100%)
PropositionVoTest PropositionVoTest 1.0 (100%)
ProxyThread ProxyThread -1.0 ( - )
Qedeq2LatexTest Qedeq2LatexTest 1.0 (100%)
QedeqBoFactoryAssert QedeqBoFactoryAssert -1.0 ( - )
QedeqBoFactoryTest QedeqBoFactoryTest 1.0 (100%)
QedeqBoFormalLogicCheckerTest QedeqBoFormalLogicCheckerTest 1.0 (100%)
QedeqNotNullTraverserTest QedeqNotNullTraverserTest 1.0 (100%)
QedeqParserTest QedeqParserTest 1.0 (100%)
QedeqTestCase QedeqTestCase -1.0 ( - )
QedeqVoTest QedeqVoTest 1.0 (100%)
ResourceLoaderUtilityTest ResourceLoaderUtilityTest 1.0 (100%)
RuleVoTest RuleVoTest 1.0 (100%)
SchemaTest SchemaTest 1.0 (100%)
SectionListVoTest SectionListVoTest 1.0 (100%)
SectionVoTest SectionVoTest 1.0 (100%)
SimpleMathParserTest SimpleMathParserTest 1.0 (100%)
SimpleXPathTest SimpleXPathTest 1.0 (100%)
SourceAreaTest SourceAreaTest 1.0 (100%)
SourcePositionTest SourcePositionTest 1.0 (100%)
SpecificationVoTest SpecificationVoTest 1.0 (100%)
StringUtilityTest StringUtilityTest 1.0 (100%)
SubsectionListVoTest SubsectionListVoTest 1.0 (100%)
SubsectionVoTest SubsectionVoTest 1.0 (100%)
TermVoTest TermVoTest 1.0 (100%)
TestParser TestParser -1.0 ( - )
TextInputTest TextInputTest 1.0 (100%)
TextOutputTest TextOutputTest 1.0 (100%)
TraceTest TraceTest 1.0 (100%)
UsedByListVoTest UsedByListVoTest 1.0 (100%)
VariableListVoTest VariableListVoTest 1.0 (100%)
VisitorContextTest VisitorContextTest 1.0 (100%)
XPathLocationParserTest XPathLocationParserTest 1.0 (100%)
XmlReaderExceptionTest XmlReaderExceptionTest 1.0 (100%)
XmlSyntaxExceptionTest XmlSyntaxExceptionTest 1.0 (100%)
YodaUtilityTest YodaUtilityTest 1.0 (100%)