| AbstractFormulaChecker
AbstractFormulaChecker
|
0.6935484
(69.4%)
|
| AbstractModuleVisitorTest
AbstractModuleVisitorTest
|
1.0
(100%)
|
| AbstractOutputTest
AbstractOutputTest
|
0.9957806
(99.6%)
|
| AbstractParserTestCase
AbstractParserTestCase
|
0.6865672
(68.7%)
|
| AbstractStateTest
AbstractStateTest
|
0.9722222
(97.2%)
|
| AbstractValueObjectTestCase
AbstractValueObjectTestCase
|
0.84156376
(84.2%)
|
| AbstractVoModuleTestCase
AbstractVoModuleTestCase
|
1.0
(100%)
|
| AddVoTest
AddVoTest
|
1.0
(100%)
|
| AsciiMathParserTest
AsciiMathParserTest
|
1.0
(100%)
|
| AuthorListVoTest
AuthorListVoTest
|
1.0
(100%)
|
| AuthorVoTest
AuthorVoTest
|
1.0
(100%)
|
| AxiomVoTest
AxiomVoTest
|
1.0
(100%)
|
| BaseEachClassHasATest
BaseEachClassHasATest
|
1.0
(100%)
|
| BasicKernelTest
BasicKernelTest
|
0.8378378
(83.8%)
|
| CalculateTruth
CalculateTruth
|
0.85714287
(85.7%)
|
| CalculateTruthDynamicThreeModelTest
CalculateTruthDynamicThreeModelTest
|
1.0
(100%)
|
| CalculateTruthDynamicUnaryModelTest
CalculateTruthDynamicUnaryModelTest
|
0.9130435
(91.3%)
|
| CalculateTruthTestCase
CalculateTruthTestCase
|
1.0
(100%)
|
| CalculateTruthThreeModelTest
CalculateTruthThreeModelTest
|
1.0
(100%)
|
| CalculateTruthUnaryModelTest
CalculateTruthUnaryModelTest
|
1.0
(100%)
|
| ChangedRuleListVoTest
ChangedRuleListVoTest
|
1.0
(100%)
|
| ChangedRuleVoTest
ChangedRuleVoTest
|
1.0
(100%)
|
| ChapterListVoTest
ChapterListVoTest
|
1.0
(100%)
|
| ChapterVoTest
ChapterVoTest
|
1.0
(100%)
|
| CharsetParserTest
CharsetParserTest
|
0.95652175
(95.7%)
|
| CheckRequiredModuleExceptionTest
CheckRequiredModuleExceptionTest
|
1.0
(100%)
|
| ClassFinder
ClassFinder
|
0.6573427
(65.7%)
|
| ConclusionVoTest
ConclusionVoTest
|
1.0
(100%)
|
| ConditionalProofVoTest
ConditionalProofVoTest
|
1.0
(100%)
|
| ConfigAccessTest
ConfigAccessTest
|
0.925
(92.5%)
|
| Context2SimpleXPathTest
Context2SimpleXPathTest
|
0.97727275
(97.7%)
|
| Context2XPathOld
Context2XPathOld
|
0.0
(0%)
|
| DateUtilityTest
DateUtilityTest
|
1.0
(100%)
|
| DefaultAtomTest
DefaultAtomTest
|
0.9390244
(93.9%)
|
| DefaultContextCheckerTest
DefaultContextCheckerTest
|
1.0
(100%)
|
| DefaultElementListTest
DefaultElementListTest
|
0.875
(87.5%)
|
| DefaultKernelQedeqBoTest
DefaultKernelQedeqBoTest
|
0.83908045
(83.9%)
|
| DefaultModuleAddressTest
DefaultModuleAddressTest
|
0.95348835
(95.3%)
|
| DefaultModuleEventListenerTest
DefaultModuleEventListenerTest
|
0.34146342
(34.1%)
|
| DependencyStateTest
DependencyStateTest
|
1.0
(100%)
|
| DummyInternalKernelServices
DummyInternalKernelServices
|
0.0
(0%)
|
| DummyKernelServices
DummyKernelServices
|
1.0
(100%)
|
| DummyPlugin
DummyPlugin
|
0.25
(25%)
|
| DummyServiceModule
DummyServiceModule
|
1.0
(100%)
|
| DynamicDirectInterpreterTest
DynamicDirectInterpreterTest
|
0.94711536
(94.7%)
|
| DynamicGetter
DynamicGetter
|
0.75
(75%)
|
| DynamicHeuristicCheckerPluginTest
DynamicHeuristicCheckerPluginTest
|
0.5609756
(56.1%)
|
| DynamicInterpreter
DynamicInterpreter
|
0.70153064
(70.2%)
|
| DynamicInterpreterTest
DynamicInterpreterTest
|
1.0
(100%)
|
| EachClassHasATestCase
EachClassHasATestCase
|
0.7906977
(79.1%)
|
| Element2LatexImplTest
Element2LatexImplTest
|
1.0
(100%)
|
| ElementSetTest
ElementSetTest
|
0.8195122
(82%)
|
| EnumeratorTest
EnumeratorTest
|
1.0
(100%)
|
| EqualFormula
EqualFormula
|
0.0
(0%)
|
| EqualFormulaSet
EqualFormulaSet
|
0.0
(0%)
|
| EqualsUtilityTest
EqualsUtilityTest
|
1.0
(100%)
|
| ExceptionList
ExceptionList
|
0.04
(4%)
|
| ExistentialVoTest
ExistentialVoTest
|
1.0
(100%)
|
| ExtendedGenerateLatexTest
ExtendedGenerateLatexTest
|
0.9375
(93.8%)
|
| FormalProofCheckerPluginTest
FormalProofCheckerPluginTest
|
0.9626168
(96.3%)
|
| FormalProofLineListVoTest
FormalProofLineListVoTest
|
1.0
(100%)
|
| FormalProofLineVoTest
FormalProofLineVoTest
|
1.0
(100%)
|
| FormalProofListVoTest
FormalProofListVoTest
|
1.0
(100%)
|
| FormalProofVoTest
FormalProofVoTest
|
1.0
(100%)
|
| FormallyProvedStateTest
FormallyProvedStateTest
|
1.0
(100%)
|
| FormulaCheckerClassTermTest
FormulaCheckerClassTermTest
|
1.0
(100%)
|
| FormulaCheckerContextTest
FormulaCheckerContextTest
|
0.94827586
(94.8%)
|
| FormulaCheckerFactoryImplTest
FormulaCheckerFactoryImplTest
|
0.75
(75%)
|
| FormulaCheckerFormulaTest
FormulaCheckerFormulaTest
|
1.0
(100%)
|
| FormulaCheckerFunctionTermTest
FormulaCheckerFunctionTermTest
|
1.0
(100%)
|
| FormulaCheckerGlobalTest
FormulaCheckerGlobalTest
|
0.53571427
(53.6%)
|
| 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%)
|
| FormulaUtilityReplaceOperatorVariableTest
FormulaUtilityReplaceOperatorVariableTest
|
0.64285713
(64.3%)
|
| FormulaUtilityReplaceSubjectVariableQuantifierTest
FormulaUtilityReplaceSubjectVariableQuantifierTest
|
1.0
(100%)
|
| FormulaVoTest
FormulaVoTest
|
1.0
(100%)
|
| FunctionDefinitionVoTest
FunctionDefinitionVoTest
|
1.0
(100%)
|
| FunctionVariableTest
FunctionVariableTest
|
0.6666667
(66.7%)
|
| GenerateLatexTest
GenerateLatexTest
|
0.93050194
(93.1%)
|
| GenerateUtf8Test
GenerateUtf8Test
|
0.877193
(87.7%)
|
| GenerateXmlTest
GenerateXmlTest
|
0.9375
(93.8%)
|
| HeaderVoTest
HeaderVoTest
|
1.0
(100%)
|
| HeuristicCheckerExecutor
HeuristicCheckerExecutor
|
0.6305733
(63.1%)
|
| HeuristicCheckerPlugin
HeuristicCheckerPlugin
|
0.8181818
(81.8%)
|
| HeuristicCheckerPluginTest
HeuristicCheckerPluginTest
|
0.80487806
(80.5%)
|
| HttpProxy
HttpProxy
|
0.0
(0%)
|
| HypothesisVoTest
HypothesisVoTest
|
1.0
(100%)
|
| IllegalModuleDataExceptionTest
IllegalModuleDataExceptionTest
|
0.97183096
(97.2%)
|
| ImportListVoTest
ImportListVoTest
|
1.0
(100%)
|
| ImportVoTest
ImportVoTest
|
1.0
(100%)
|
| InitialFunctionDefinitionVoTest
InitialFunctionDefinitionVoTest
|
1.0
(100%)
|
| InitialPredicateDefinitionVoTest
InitialPredicateDefinitionVoTest
|
1.0
(100%)
|
| Interpreter
Interpreter
|
0.8899371
(89%)
|
| InterruptExceptionTest
InterruptExceptionTest
|
1.0
(100%)
|
| IoUtilityTest
IoUtilityTest
|
0.8876501
(88.8%)
|
| KernelBoEachClassHasATest
KernelBoEachClassHasATest
|
0.6
(60%)
|
| KernelContextTest
KernelContextTest
|
0.83391005
(83.4%)
|
| KernelFacade
KernelFacade
|
0.9130435
(91.3%)
|
| KernelSeEachClassHasATest
KernelSeEachClassHasATest
|
1.0
(100%)
|
| KernelXmlEachClassHasATest
KernelXmlEachClassHasATest
|
0.6
(60%)
|
| Latex2UnicodeParserTest
Latex2UnicodeParserTest
|
0.9787234
(97.9%)
|
| LatexList2TextTest
LatexList2TextTest
|
1.0
(100%)
|
| LatexListVoTest
LatexListVoTest
|
1.0
(100%)
|
| LatexMathParserTest
LatexMathParserTest
|
0.94285715
(94.3%)
|
| LatexVoTest
LatexVoTest
|
1.0
(100%)
|
| LinkListVoTest
LinkListVoTest
|
1.0
(100%)
|
| LiteratureItemListVoTest
LiteratureItemListVoTest
|
1.0
(100%)
|
| LiteratureItemVoTest
LiteratureItemVoTest
|
1.0
(100%)
|
| LoadRequiredModulesTest
LoadRequiredModulesTest
|
0.8347107
(83.5%)
|
| LoadingImportsStateTest
LoadingImportsStateTest
|
1.0
(100%)
|
| LoadingStateTest
LoadingStateTest
|
1.0
(100%)
|
| LocationListVoTest
LocationListVoTest
|
1.0
(100%)
|
| LocationVoTest
LocationVoTest
|
1.0
(100%)
|
| LogListenerImplTest
LogListenerImplTest
|
1.0
(100%)
|
| LogicalEquivalence
LogicalEquivalence
|
0.0
(0%)
|
| ModelFunctionConstantTest
ModelFunctionConstantTest
|
0.6666667
(66.7%)
|
| ModelPredicateConstantTest
ModelPredicateConstantTest
|
0.6666667
(66.7%)
|
| ModuleConstantsExistenceCheckerTest
ModuleConstantsExistenceCheckerTest
|
0.79347825
(79.3%)
|
| ModuleContextTest
ModuleContextTest
|
0.93043476
(93%)
|
| ModuleDataExceptionTest
ModuleDataExceptionTest
|
0.97619045
(97.6%)
|
| ModuleEventListenerLogTest
ModuleEventListenerLogTest
|
0.3580247
(35.8%)
|
| ModusPonensVoTest
ModusPonensVoTest
|
1.0
(100%)
|
| NanoHTTPD
NanoHTTPD
|
0.036
(3.6%)
|
| 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%)
|
| OperatorTest
OperatorTest
|
0.95
(95%)
|
| OperatorTest
OperatorTest
|
0.9813084
(98.1%)
|
| OperatorTest.MyOperator
OperatorTest.MyOperator
|
1.0
(100%)
|
| ParametersTest
ParametersTest
|
0.992126
(99.2%)
|
| PathTest
PathTest
|
0.9877301
(98.8%)
|
| PredicateDefinitionVoTest
PredicateDefinitionVoTest
|
1.0
(100%)
|
| PredicateVariableTest
PredicateVariableTest
|
0.6666667
(66.7%)
|
| ProofCheckerFactoryImplTest
ProofCheckerFactoryImplTest
|
0.75
(75%)
|
| ProofCheckerTest
ProofCheckerTest
|
0.95522386
(95.5%)
|
| ProofFinderImplTest
ProofFinderImplTest
|
0.9607843
(96.1%)
|
| ProofListVoTest
ProofListVoTest
|
1.0
(100%)
|
| ProofVoTest
ProofVoTest
|
1.0
(100%)
|
| PropositionVoTest
PropositionVoTest
|
1.0
(100%)
|
| ProxyThread
ProxyThread
|
0.0
(0%)
|
| Qedeq2LatexTest
Qedeq2LatexTest
|
0.97183096
(97.2%)
|
| QedeqBoFactoryAssert
QedeqBoFactoryAssert
|
0.7027027
(70.3%)
|
| QedeqBoFactoryTest
QedeqBoFactoryTest
|
0.8068182
(80.7%)
|
| QedeqBoFormalLogicCheckerDirectTest
QedeqBoFormalLogicCheckerDirectTest
|
0.9310345
(93.1%)
|
| QedeqBoFormalLogicCheckerTest
QedeqBoFormalLogicCheckerTest
|
0.84615386
(84.6%)
|
| QedeqBoTestCase
QedeqBoTestCase
|
0.8301887
(83%)
|
| QedeqConfigTest
QedeqConfigTest
|
0.89873415
(89.9%)
|
| QedeqExceptionTest
QedeqExceptionTest
|
0.9444444
(94.4%)
|
| QedeqLogTest
QedeqLogTest
|
1.0
(100%)
|
| QedeqNotNullTraverserTest
QedeqNotNullTraverserTest
|
0.22727273
(22.7%)
|
| QedeqNumbersTest
QedeqNumbersTest
|
0.97979796
(98%)
|
| QedeqParserTest
QedeqParserTest
|
0.85714287
(85.7%)
|
| QedeqTestCase
QedeqTestCase
|
0.6315789
(63.2%)
|
| QedeqVisitorTester
QedeqVisitorTester
|
0.95581394
(95.6%)
|
| QedeqVoCreator
QedeqVoCreator
|
0.8212766
(82.1%)
|
| QedeqVoTest
QedeqVoTest
|
1.0
(100%)
|
| RenameVoTest
RenameVoTest
|
1.0
(100%)
|
| ResourceLoaderUtilityTest
ResourceLoaderUtilityTest
|
0.93939394
(93.9%)
|
| RigidContextChecker
RigidContextChecker
|
0.42857143
(42.9%)
|
| RuleKeyTest
RuleKeyTest
|
0.96153843
(96.2%)
|
| RuleVoTest
RuleVoTest
|
1.0
(100%)
|
| SaxErrorHandler
SaxErrorHandler
|
0.33333334
(33.3%)
|
| SchemaTest
SchemaTest
|
0.6363636
(63.6%)
|
| SectionListVoTest
SectionListVoTest
|
1.0
(100%)
|
| SectionVoTest
SectionVoTest
|
1.0
(100%)
|
| SimpleMathParserTest
SimpleMathParserTest
|
0.9726027
(97.3%)
|
| SimpleProofFinderPluginTest
SimpleProofFinderPluginTest
|
0.921875
(92.2%)
|
| SimpleXPathTest
SimpleXPathTest
|
0.8863636
(88.6%)
|
| SourceAreaTest
SourceAreaTest
|
0.9577465
(95.8%)
|
| SourceFileExceptionListTest
SourceFileExceptionListTest
|
0.9160305
(91.6%)
|
| SourceFileExceptionTest
SourceFileExceptionTest
|
0.91588783
(91.6%)
|
| SourcePositionTest
SourcePositionTest
|
1.0
(100%)
|
| SpecificationVoTest
SpecificationVoTest
|
1.0
(100%)
|
| SplitterTest
SplitterTest
|
1.0
(100%)
|
| StringOutputTest
StringOutputTest
|
1.0
(100%)
|
| StringUtilityTest
StringUtilityTest
|
0.9511494
(95.1%)
|
| SubTextInputTest
SubTextInputTest
|
0.87118644
(87.1%)
|
| SubsectionListVoTest
SubsectionListVoTest
|
1.0
(100%)
|
| SubsectionVoTest
SubsectionVoTest
|
1.0
(100%)
|
| SubstFreeVoTest
SubstFreeVoTest
|
1.0
(100%)
|
| SubstFuncVoTest
SubstFuncVoTest
|
1.0
(100%)
|
| SubstPredVoTest
SubstPredVoTest
|
1.0
(100%)
|
| TermVoTest
TermVoTest
|
1.0
(100%)
|
| TestFormulaCheckerFactoryImpl
TestFormulaCheckerFactoryImpl
|
1.0
(100%)
|
| TestFormulaCheckerImpl
TestFormulaCheckerImpl
|
0.4375
(43.8%)
|
| TestingProofCheckerFactoryImpl
TestingProofCheckerFactoryImpl
|
0.64705884
(64.7%)
|
| TextInputTest
TextInputTest
|
0.88913524
(88.9%)
|
| TextOutputTest
TextOutputTest
|
0.99038464
(99%)
|
| ThreeModel
ThreeModel
|
0.9070632
(90.7%)
|
| TraceListenerTest
TraceListenerTest
|
1.0
(100%)
|
| TraceTest
TraceTest
|
1.0
(100%)
|
| UnaryModel
UnaryModel
|
0.9529412
(95.3%)
|
| UniversalVoTest
UniversalVoTest
|
1.0
(100%)
|
| UrlUtilityTest
UrlUtilityTest
|
1.0
(100%)
|
| UsedByListVoTest
UsedByListVoTest
|
1.0
(100%)
|
| VersionSetTest
VersionSetTest
|
0.9230769
(92.3%)
|
| VersionTest
VersionTest
|
0.93296087
(93.3%)
|
| VisitorContextTest
VisitorContextTest
|
0.604
(60.4%)
|
| WebServer
WebServer
|
0.65384614
(65.4%)
|
| WebServerWorker
WebServerWorker
|
0.6923077
(69.2%)
|
| WellFormedStateTest
WellFormedStateTest
|
1.0
(100%)
|
| XPathLocationFinderTest
XPathLocationFinderTest
|
1.0
(100%)
|
| XPathLocationParserTest
XPathLocationParserTest
|
1.0
(100%)
|
| XmlNormalizer
XmlNormalizer
|
0.8108108
(81.1%)
|
| XmlNormalizerHandler
XmlNormalizerHandler
|
0.98630136
(98.6%)
|
| XmlReaderExceptionTest
XmlReaderExceptionTest
|
0.86206895
(86.2%)
|
| XmlSyntaxExceptionTest
XmlSyntaxExceptionTest
|
1.0
(100%)
|
| YodaUtilityTest
YodaUtilityTest
|
0.86885244
(86.9%)
|