Loading...
Test Case % Success
AbstractFormulaChecker AbstractFormulaChecker -1.0 ( - )
AbstractParserTestCase AbstractParserTestCase -1.0 ( - )
AsciiMathParserTest AsciiMathParserTest 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%)
CheckRequiredModuleExceptionTest CheckRequiredModuleExceptionTest 1.0 (100%)
DefaultKernelQedeqBoTest DefaultKernelQedeqBoTest 1.0 (100%)
DefaultModuleEventListenerTest DefaultModuleEventListenerTest 1.0 (100%)
DummyInternalKernelServices DummyInternalKernelServices -1.0 ( - )
DummyKernelServices DummyKernelServices -1.0 ( - )
DummyPlugin DummyPlugin -1.0 ( - )
DummyServiceModule DummyServiceModule -1.0 ( - )
DynamicDirectInterpreterTest DynamicDirectInterpreterTest 1.0 (100%)
DynamicHeuristicCheckerPluginTest DynamicHeuristicCheckerPluginTest 1.0 (100%)
DynamicInterpreter DynamicInterpreter -1.0 ( - )
DynamicInterpreterTest DynamicInterpreterTest 1.0 (100%)
Element2LatexImplTest Element2LatexImplTest 1.0 (100%)
EqualFormula EqualFormula -1.0 ( - )
EqualFormulaSet EqualFormulaSet -1.0 ( - )
ExtendedGenerateLatexTest ExtendedGenerateLatexTest 1.0 (100%)
FormalProofCheckerPluginTest FormalProofCheckerPluginTest 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%)
FunctionVariableTest FunctionVariableTest 1.0 (100%)
GenerateLatexTest GenerateLatexTest 1.0 (100%)
GenerateUtf8Test GenerateUtf8Test 1.0 (100%)
HeuristicCheckerExecutor HeuristicCheckerExecutor -1.0 ( - )
HeuristicCheckerPlugin HeuristicCheckerPlugin -1.0 ( - )
HeuristicCheckerPluginTest HeuristicCheckerPluginTest 1.0 (100%)
HttpProxy HttpProxy -1.0 ( - )
Interpreter Interpreter -1.0 ( - )
KernelBoEachClassHasATest KernelBoEachClassHasATest -1.0 ( - )
KernelContextTest KernelContextTest 1.0 (100%)
KernelFacade KernelFacade -1.0 ( - )
Latex2UnicodeParserTest Latex2UnicodeParserTest 1.0 (100%)
LatexMathParserTest LatexMathParserTest 1.0 (100%)
LoadRequiredModulesTest LoadRequiredModulesTest 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%)
ModuleEventListenerLogTest ModuleEventListenerLogTest 1.0 (100%)
OperatorTest OperatorTest 1.0 (100%)
OperatorTest OperatorTest 1.0 (100%)
OperatorTest.MyOperator OperatorTest.MyOperator -1.0 ( - )
PredicateVariableTest PredicateVariableTest 1.0 (100%)
ProofCheckerFactoryImplTest ProofCheckerFactoryImplTest 1.0 (100%)
ProofCheckerTest ProofCheckerTest 1.0 (100%)
ProofFinderImplTest ProofFinderImplTest 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 ( - )
QedeqLogTest QedeqLogTest 1.0 (100%)
SimpleMathParserTest SimpleMathParserTest 1.0 (100%)
SimpleProofFinderPluginTest SimpleProofFinderPluginTest 1.0 (100%)
TestFormulaCheckerFactoryImpl TestFormulaCheckerFactoryImpl -1.0 ( - )
TestFormulaCheckerImpl TestFormulaCheckerImpl -1.0 ( - )
TestingProofCheckerFactoryImpl TestingProofCheckerFactoryImpl -1.0 ( - )
ThreeModel ThreeModel -1.0 ( - )
TraceListenerTest TraceListenerTest 1.0 (100%)
UnaryModel UnaryModel -1.0 ( - )
VisitorContextTest VisitorContextTest 1.0 (100%)