| AbstractFormulaChecker
AbstractFormulaChecker
|
0.8269231
(82.7%)
|
| AbstractParserTest
AbstractParserTest
|
0.6666667
(66.7%)
|
| AbstractValueObjectTest
AbstractValueObjectTest
|
0.8778055
(87.8%)
|
| AbstractVoModuleTest
AbstractVoModuleTest
|
1.0
(100%)
|
| 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
|
0.96153843
(96.2%)
|
| CheckLogicTest
CheckLogicTest
|
0.91566265
(91.6%)
|
| CheckRequiredModuleExceptionTest
CheckRequiredModuleExceptionTest
|
1.0
(100%)
|
| Context2XPathOld
Context2XPathOld
|
0.0
(0%)
|
| DateUtilityTest
DateUtilityTest
|
1.0
(100%)
|
| DefaultKernelQedeqBoTest
DefaultKernelQedeqBoTest
|
0.8503401
(85%)
|
| DummyInternalKernalServices
DummyInternalKernalServices
|
0.0
(0%)
|
| DummyPlugin
DummyPlugin
|
0.25
(25%)
|
| DynamicGetter
DynamicGetter
|
0.7755102
(77.6%)
|
| EnumeratorTest
EnumeratorTest
|
1.0
(100%)
|
| EqualsUtilityTest
EqualsUtilityTest
|
1.0
(100%)
|
| ExtendedGenerateLatexTest
ExtendedGenerateLatexTest
|
1.0
(100%)
|
| FormulaCheckerClassTermTest
FormulaCheckerClassTermTest
|
1.0
(100%)
|
| FormulaCheckerFormulaTest
FormulaCheckerFormulaTest
|
1.0
(100%)
|
| FormulaCheckerFunctionTermTest
FormulaCheckerFunctionTermTest
|
1.0
(100%)
|
| FormulaCheckerGlobalTest
FormulaCheckerGlobalTest
|
0.53405017
(53.4%)
|
| FormulaCheckerLogicalConnectivesTest
FormulaCheckerLogicalConnectivesTest
|
1.0
(100%)
|
| FormulaCheckerNegationTest
FormulaCheckerNegationTest
|
1.0
(100%)
|
| FormulaCheckerPredicateFormulaTest
FormulaCheckerPredicateFormulaTest
|
1.0
(100%)
|
| FormulaCheckerQuantifiersTest
FormulaCheckerQuantifiersTest
|
1.0
(100%)
|
| FormulaCheckerSubjectVariableTest
FormulaCheckerSubjectVariableTest
|
1.0
(100%)
|
| FormulaCheckerTermTest
FormulaCheckerTermTest
|
1.0
(100%)
|
| FormulaCheckerTest
FormulaCheckerTest
|
1.0
(100%)
|
| FormulaVoTest
FormulaVoTest
|
1.0
(100%)
|
| FunctionDefinitionVoTest
FunctionDefinitionVoTest
|
1.0
(100%)
|
| GenerateLatexTest
GenerateLatexTest
|
0.8584475
(85.8%)
|
| GenerateXmlTest
GenerateXmlTest
|
0.88461536
(88.5%)
|
| HeaderVoTest
HeaderVoTest
|
1.0
(100%)
|
| HttpProxy
HttpProxy
|
0.0
(0%)
|
| ImportListVoTest
ImportListVoTest
|
1.0
(100%)
|
| ImportVoTest
ImportVoTest
|
1.0
(100%)
|
| IoUtilityTest
IoUtilityTest
|
0.86290324
(86.3%)
|
| KernelFacade
KernelFacade
|
0.9285714
(92.9%)
|
| 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
|
0.9
(90%)
|
| LocationListVoTest
LocationListVoTest
|
1.0
(100%)
|
| LocationVoTest
LocationVoTest
|
1.0
(100%)
|
| ModuleConstantsExistenceCheckerTest
ModuleConstantsExistenceCheckerTest
|
0.880597
(88.1%)
|
| NanoHTTPD
NanoHTTPD
|
0.0
(0%)
|
| NanoHTTPD.HTTPSession
NanoHTTPD.HTTPSession
|
0.0
(0%)
|
| NanoHTTPD.Response
NanoHTTPD.Response
|
0.0
(0%)
|
| NodeVoTest
NodeVoTest
|
1.0
(100%)
|
| ObjectProxy
ObjectProxy
|
0.90163934
(90.2%)
|
| PredicateDefinitionVoTest
PredicateDefinitionVoTest
|
1.0
(100%)
|
| ProofListVoTest
ProofListVoTest
|
1.0
(100%)
|
| ProofVoTest
ProofVoTest
|
1.0
(100%)
|
| PropositionVoTest
PropositionVoTest
|
1.0
(100%)
|
| ProxyThread
ProxyThread
|
0.0
(0%)
|
| Qedeq2LatexTest
Qedeq2LatexTest
|
0.9661017
(96.6%)
|
| QedeqBoFactoryAssert
QedeqBoFactoryAssert
|
0.6
(60%)
|
| QedeqBoFactoryTest
QedeqBoFactoryTest
|
0.84810126
(84.8%)
|
| QedeqBoFormalLogicCheckerTest
QedeqBoFormalLogicCheckerTest
|
0.8888889
(88.9%)
|
| QedeqNotNullTraverserTest
QedeqNotNullTraverserTest
|
0.9361702
(93.6%)
|
| QedeqParserTest
QedeqParserTest
|
0.85714287
(85.7%)
|
| QedeqTestCase
QedeqTestCase
|
0.90909094
(90.9%)
|
| QedeqVoTest
QedeqVoTest
|
1.0
(100%)
|
| ResourceLoaderUtilityTest
ResourceLoaderUtilityTest
|
0.9375
(93.8%)
|
| RuleVoTest
RuleVoTest
|
1.0
(100%)
|
| SchemaTest
SchemaTest
|
0.6363636
(63.6%)
|
| SectionListVoTest
SectionListVoTest
|
1.0
(100%)
|
| SectionVoTest
SectionVoTest
|
1.0
(100%)
|
| SimpleMathParserTest
SimpleMathParserTest
|
1.0
(100%)
|
| SimpleXPathTest
SimpleXPathTest
|
0.8863636
(88.6%)
|
| SourceAreaTest
SourceAreaTest
|
0.9577465
(95.8%)
|
| SourcePositionTest
SourcePositionTest
|
1.0
(100%)
|
| SpecificationVoTest
SpecificationVoTest
|
1.0
(100%)
|
| StringUtilityTest
StringUtilityTest
|
0.9382716
(93.8%)
|
| SubsectionListVoTest
SubsectionListVoTest
|
1.0
(100%)
|
| SubsectionVoTest
SubsectionVoTest
|
1.0
(100%)
|
| TermVoTest
TermVoTest
|
1.0
(100%)
|
| TestParser
TestParser
|
0.84782606
(84.8%)
|
| TextInputTest
TextInputTest
|
0.8613139
(86.1%)
|
| TextOutputTest
TextOutputTest
|
1.0
(100%)
|
| TraceTest
TraceTest
|
1.0
(100%)
|
| UsedByListVoTest
UsedByListVoTest
|
1.0
(100%)
|
| VariableListVoTest
VariableListVoTest
|
1.0
(100%)
|
| VisitorContextTest
VisitorContextTest
|
0.8947368
(89.5%)
|
| XPathLocationParserTest
XPathLocationParserTest
|
1.0
(100%)
|
| XmlReaderExceptionTest
XmlReaderExceptionTest
|
0.86206895
(86.2%)
|
| XmlSyntaxExceptionTest
XmlSyntaxExceptionTest
|
1.0
(100%)
|
| YodaUtilityTest
YodaUtilityTest
|
0.95
(95%)
|