Loading...
Test Case % Success
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 1.0 (100%)
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 1.0 (100%)
KernelContextTest KernelContextTest 1.0 (100%)
KernelFacade KernelFacade -1.0 ( - )
KernelSeEachClassHasATest KernelSeEachClassHasATest 1.0 (100%)
KernelXmlEachClassHasATest KernelXmlEachClassHasATest 1.0 (100%)
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%)
Qedeq2UnicodeTextExecutorTest Qedeq2UnicodeTextExecutorTest 1.0 (100%)
QedeqBoFactoryAssert QedeqBoFactoryAssert -1.0 ( - )
QedeqBoFactoryTest QedeqBoFactoryTest 1.0 (100%)
QedeqBoFormalLogicCheckerDirectTest QedeqBoFormalLogicCheckerDirectTest 1.0 (100%)
QedeqBoFormalLogicCheckerTest QedeqBoFormalLogicCheckerTest 1.0 (100%)
QedeqBoSetTest QedeqBoSetTest 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%)
Xml2Xml Xml2Xml -1.0 ( - )
XmlNormalizer XmlNormalizer -1.0 ( - )
XmlNormalizerHandler XmlNormalizerHandler -1.0 ( - )
XmlReaderExceptionTest XmlReaderExceptionTest 1.0 (100%)
XmlSyntaxExceptionTest XmlSyntaxExceptionTest 1.0 (100%)
YodaUtilityTest YodaUtilityTest 1.0 (100%)