AbstractFormulaChecker
AbstractFormulaChecker
|
-1.0
( - )
|
AbstractModuleVisitorTest
AbstractModuleVisitorTest
|
1.0
(100%)
|
AbstractOutputTest
AbstractOutputTest
|
1.0
(100%)
|
AbstractParserTestCase
AbstractParserTestCase
|
-1.0
( - )
|
AbstractStateTest
AbstractStateTest
|
1.0
(100%)
|
AbstractValueObjectTestCase
AbstractValueObjectTestCase
|
-1.0
( - )
|
AbstractVoModuleTestCase
AbstractVoModuleTestCase
|
-1.0
( - )
|
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
|
1.0
(100%)
|
CalculateTruth
CalculateTruth
|
-1.0
( - )
|
CalculateTruthDynamicThreeModelTest
CalculateTruthDynamicThreeModelTest
|
1.0
(100%)
|
CalculateTruthDynamicUnaryModelTest
CalculateTruthDynamicUnaryModelTest
|
0.9148936
(91.5%)
|
CalculateTruthTestCase
CalculateTruthTestCase
|
-1.0
( - )
|
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
|
1.0
(100%)
|
CheckRequiredModuleExceptionTest
CheckRequiredModuleExceptionTest
|
1.0
(100%)
|
ClassFinder
ClassFinder
|
-1.0
( - )
|
ConclusionVoTest
ConclusionVoTest
|
1.0
(100%)
|
ConditionalProofVoTest
ConditionalProofVoTest
|
1.0
(100%)
|
ConfigAccessTest
ConfigAccessTest
|
1.0
(100%)
|
Context2SimpleXPathTest
Context2SimpleXPathTest
|
1.0
(100%)
|
Context2XPathOld
Context2XPathOld
|
-1.0
( - )
|
DateUtilityTest
DateUtilityTest
|
1.0
(100%)
|
DefaultAtomTest
DefaultAtomTest
|
1.0
(100%)
|
DefaultContextCheckerTest
DefaultContextCheckerTest
|
1.0
(100%)
|
DefaultElementListTest
DefaultElementListTest
|
1.0
(100%)
|
DefaultKernelQedeqBoTest
DefaultKernelQedeqBoTest
|
1.0
(100%)
|
DefaultModuleAddressTest
DefaultModuleAddressTest
|
1.0
(100%)
|
DefaultModuleEventListenerTest
DefaultModuleEventListenerTest
|
1.0
(100%)
|
DependencyStateTest
DependencyStateTest
|
1.0
(100%)
|
DummyInternalKernelServices
DummyInternalKernelServices
|
-1.0
( - )
|
DummyKernelServices
DummyKernelServices
|
-1.0
( - )
|
DummyPlugin
DummyPlugin
|
-1.0
( - )
|
DummyServiceModule
DummyServiceModule
|
-1.0
( - )
|
DynamicDirectInterpreterTest
DynamicDirectInterpreterTest
|
1.0
(100%)
|
DynamicGetter
DynamicGetter
|
-1.0
( - )
|
DynamicHeuristicCheckerPluginTest
DynamicHeuristicCheckerPluginTest
|
1.0
(100%)
|
DynamicInterpreter
DynamicInterpreter
|
-1.0
( - )
|
DynamicInterpreterTest
DynamicInterpreterTest
|
1.0
(100%)
|
EachClassHasATestCase
EachClassHasATestCase
|
-1.0
( - )
|
Element2LatexImplTest
Element2LatexImplTest
|
1.0
(100%)
|
ElementSetTest
ElementSetTest
|
1.0
(100%)
|
EnumeratorTest
EnumeratorTest
|
1.0
(100%)
|
EqualFormula
EqualFormula
|
-1.0
( - )
|
EqualFormulaSet
EqualFormulaSet
|
-1.0
( - )
|
EqualsUtilityTest
EqualsUtilityTest
|
1.0
(100%)
|
ExceptionList
ExceptionList
|
-1.0
( - )
|
ExistentialVoTest
ExistentialVoTest
|
1.0
(100%)
|
ExtendedGenerateLatexTest
ExtendedGenerateLatexTest
|
1.0
(100%)
|
FormalProofCheckerPluginTest
FormalProofCheckerPluginTest
|
1.0
(100%)
|
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
( - )
|
FormulaCheckerContextTest
FormulaCheckerContextTest
|
1.0
(100%)
|
FormulaCheckerFactoryImplTest
FormulaCheckerFactoryImplTest
|
1.0
(100%)
|
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
( - )
|
FormulaUtilityReplaceOperatorVariableTest
FormulaUtilityReplaceOperatorVariableTest
|
1.0
(100%)
|
FormulaUtilityReplaceSubjectVariableQuantifierTest
FormulaUtilityReplaceSubjectVariableQuantifierTest
|
1.0
(100%)
|
FormulaVoTest
FormulaVoTest
|
1.0
(100%)
|
FunctionDefinitionVoTest
FunctionDefinitionVoTest
|
1.0
(100%)
|
FunctionVariableTest
FunctionVariableTest
|
1.0
(100%)
|
GenerateLatexTest
GenerateLatexTest
|
1.0
(100%)
|
GenerateUtf8Test
GenerateUtf8Test
|
1.0
(100%)
|
GenerateXmlTest
GenerateXmlTest
|
1.0
(100%)
|
HeaderVoTest
HeaderVoTest
|
1.0
(100%)
|
HeuristicCheckerExecutor
HeuristicCheckerExecutor
|
-1.0
( - )
|
HeuristicCheckerPlugin
HeuristicCheckerPlugin
|
-1.0
( - )
|
HeuristicCheckerPluginTest
HeuristicCheckerPluginTest
|
1.0
(100%)
|
HttpProxy
HttpProxy
|
-1.0
( - )
|
HypothesisVoTest
HypothesisVoTest
|
1.0
(100%)
|
IllegalModuleDataExceptionTest
IllegalModuleDataExceptionTest
|
1.0
(100%)
|
ImportListVoTest
ImportListVoTest
|
1.0
(100%)
|
ImportVoTest
ImportVoTest
|
1.0
(100%)
|
InitialFunctionDefinitionVoTest
InitialFunctionDefinitionVoTest
|
1.0
(100%)
|
InitialPredicateDefinitionVoTest
InitialPredicateDefinitionVoTest
|
1.0
(100%)
|
Interpreter
Interpreter
|
-1.0
( - )
|
InterruptExceptionTest
InterruptExceptionTest
|
1.0
(100%)
|
IoUtilityTest
IoUtilityTest
|
1.0
(100%)
|
KernelBoEachClassHasATest
KernelBoEachClassHasATest
|
0.0
(0%)
|
KernelContextTest
KernelContextTest
|
1.0
(100%)
|
KernelFacade
KernelFacade
|
-1.0
( - )
|
KernelSeEachClassHasATest
KernelSeEachClassHasATest
|
1.0
(100%)
|
KernelXmlEachClassHasATest
KernelXmlEachClassHasATest
|
0.0
(0%)
|
Latex2UnicodeParserTest
Latex2UnicodeParserTest
|
1.0
(100%)
|
LatexList2TextTest
LatexList2TextTest
|
1.0
(100%)
|
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%)
|
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
|
-1.0
( - )
|
ModelFunctionConstantTest
ModelFunctionConstantTest
|
1.0
(100%)
|
ModelPredicateConstantTest
ModelPredicateConstantTest
|
1.0
(100%)
|
ModuleConstantsExistenceCheckerTest
ModuleConstantsExistenceCheckerTest
|
1.0
(100%)
|
ModuleContextTest
ModuleContextTest
|
1.0
(100%)
|
ModuleDataExceptionTest
ModuleDataExceptionTest
|
1.0
(100%)
|
ModuleEventListenerLogTest
ModuleEventListenerLogTest
|
1.0
(100%)
|
ModusPonensVoTest
ModusPonensVoTest
|
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
( - )
|
OperatorTest
OperatorTest
|
1.0
(100%)
|
OperatorTest
OperatorTest
|
1.0
(100%)
|
OperatorTest.MyOperator
OperatorTest.MyOperator
|
-1.0
( - )
|
ParametersTest
ParametersTest
|
1.0
(100%)
|
PathTest
PathTest
|
1.0
(100%)
|
PredicateDefinitionVoTest
PredicateDefinitionVoTest
|
1.0
(100%)
|
PredicateVariableTest
PredicateVariableTest
|
1.0
(100%)
|
ProofCheckerFactoryImplTest
ProofCheckerFactoryImplTest
|
1.0
(100%)
|
ProofCheckerTest
ProofCheckerTest
|
1.0
(100%)
|
ProofFinderImplTest
ProofFinderImplTest
|
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%)
|
QedeqBoFormalLogicCheckerDirectTest
QedeqBoFormalLogicCheckerDirectTest
|
1.0
(100%)
|
QedeqBoFormalLogicCheckerTest
QedeqBoFormalLogicCheckerTest
|
1.0
(100%)
|
QedeqBoTestCase
QedeqBoTestCase
|
-1.0
( - )
|
QedeqConfigTest
QedeqConfigTest
|
1.0
(100%)
|
QedeqExceptionTest
QedeqExceptionTest
|
1.0
(100%)
|
QedeqLogTest
QedeqLogTest
|
1.0
(100%)
|
QedeqNotNullTraverserTest
QedeqNotNullTraverserTest
|
1.0
(100%)
|
QedeqNumbersTest
QedeqNumbersTest
|
1.0
(100%)
|
QedeqParserTest
QedeqParserTest
|
1.0
(100%)
|
QedeqTestCase
QedeqTestCase
|
-1.0
( - )
|
QedeqVisitorTester
QedeqVisitorTester
|
-1.0
( - )
|
QedeqVoCreator
QedeqVoCreator
|
-1.0
( - )
|
QedeqVoTest
QedeqVoTest
|
1.0
(100%)
|
RenameVoTest
RenameVoTest
|
1.0
(100%)
|
ResourceLoaderUtilityTest
ResourceLoaderUtilityTest
|
1.0
(100%)
|
RigidContextChecker
RigidContextChecker
|
-1.0
( - )
|
RuleKeyTest
RuleKeyTest
|
1.0
(100%)
|
RuleVoTest
RuleVoTest
|
1.0
(100%)
|
SaxErrorHandler
SaxErrorHandler
|
-1.0
( - )
|
SchemaTest
SchemaTest
|
1.0
(100%)
|
SectionListVoTest
SectionListVoTest
|
1.0
(100%)
|
SectionVoTest
SectionVoTest
|
1.0
(100%)
|
SimpleMathParserTest
SimpleMathParserTest
|
1.0
(100%)
|
SimpleProofFinderPluginTest
SimpleProofFinderPluginTest
|
1.0
(100%)
|
SimpleXPathTest
SimpleXPathTest
|
1.0
(100%)
|
SourceAreaTest
SourceAreaTest
|
1.0
(100%)
|
SourceFileExceptionListTest
SourceFileExceptionListTest
|
1.0
(100%)
|
SourceFileExceptionTest
SourceFileExceptionTest
|
1.0
(100%)
|
SourcePositionTest
SourcePositionTest
|
1.0
(100%)
|
SpecificationVoTest
SpecificationVoTest
|
1.0
(100%)
|
SplitterTest
SplitterTest
|
1.0
(100%)
|
StringOutputTest
StringOutputTest
|
1.0
(100%)
|
StringUtilityTest
StringUtilityTest
|
1.0
(100%)
|
SubTextInputTest
SubTextInputTest
|
1.0
(100%)
|
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
( - )
|
TestFormulaCheckerImpl
TestFormulaCheckerImpl
|
-1.0
( - )
|
TestingProofCheckerFactoryImpl
TestingProofCheckerFactoryImpl
|
-1.0
( - )
|
TextInputTest
TextInputTest
|
1.0
(100%)
|
TextOutputTest
TextOutputTest
|
1.0
(100%)
|
ThreeModel
ThreeModel
|
-1.0
( - )
|
TraceListenerTest
TraceListenerTest
|
1.0
(100%)
|
TraceTest
TraceTest
|
1.0
(100%)
|
UnaryModel
UnaryModel
|
-1.0
( - )
|
UniversalVoTest
UniversalVoTest
|
1.0
(100%)
|
UrlUtilityTest
UrlUtilityTest
|
1.0
(100%)
|
UsedByListVoTest
UsedByListVoTest
|
1.0
(100%)
|
VersionSetTest
VersionSetTest
|
1.0
(100%)
|
VersionTest
VersionTest
|
1.0
(100%)
|
VisitorContextTest
VisitorContextTest
|
1.0
(100%)
|
WebServer
WebServer
|
-1.0
( - )
|
WebServerWorker
WebServerWorker
|
-1.0
( - )
|
WellFormedStateTest
WellFormedStateTest
|
1.0
(100%)
|
XPathLocationFinderTest
XPathLocationFinderTest
|
1.0
(100%)
|
XPathLocationParserTest
XPathLocationParserTest
|
1.0
(100%)
|
XmlNormalizer
XmlNormalizer
|
-1.0
( - )
|
XmlNormalizerHandler
XmlNormalizerHandler
|
-1.0
( - )
|
XmlReaderExceptionTest
XmlReaderExceptionTest
|
1.0
(100%)
|
XmlSyntaxExceptionTest
XmlSyntaxExceptionTest
|
1.0
(100%)
|
YodaUtilityTest
YodaUtilityTest
|
1.0
(100%)
|