Loading...
Class Coverage    
AbstractFormulaChecker AbstractFormulaChecker 0.6935484 (69.4%)
AbstractParserTestCase AbstractParserTestCase 0.65 (65%)
AsciiMathParserTest AsciiMathParserTest 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%)
CheckRequiredModuleExceptionTest CheckRequiredModuleExceptionTest 1.0 (100%)
DefaultKernelQedeqBoTest DefaultKernelQedeqBoTest 0.83908045 (83.9%)
DefaultModuleEventListenerTest DefaultModuleEventListenerTest 0.34146342 (34.1%)
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%)
DynamicHeuristicCheckerPluginTest DynamicHeuristicCheckerPluginTest 0.5609756 (56.1%)
DynamicInterpreter DynamicInterpreter 0.70153064 (70.2%)
DynamicInterpreterTest DynamicInterpreterTest 1.0 (100%)
Element2LatexImplTest Element2LatexImplTest 1.0 (100%)
EqualFormula EqualFormula 0.0 (0%)
EqualFormulaSet EqualFormulaSet 0.0 (0%)
ExtendedGenerateLatexTest ExtendedGenerateLatexTest 0.9375 (93.8%)
FormalProofCheckerPluginTest FormalProofCheckerPluginTest 0.96444446 (96.4%)
FormulaCheckerClassTermTest FormulaCheckerClassTermTest 1.0 (100%)
FormulaCheckerContextTest FormulaCheckerContextTest 0.94957983 (95%)
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.7368421 (73.7%)
FormulaUtilityReplaceSubjectVariableQuantifierTest FormulaUtilityReplaceSubjectVariableQuantifierTest 1.0 (100%)
FunctionVariableTest FunctionVariableTest 0.6666667 (66.7%)
GenerateLatexTest GenerateLatexTest 0.9296875 (93%)
GenerateUtf8Test GenerateUtf8Test 0.87826085 (87.8%)
HeuristicCheckerExecutor HeuristicCheckerExecutor 0.6305733 (63.1%)
HeuristicCheckerPlugin HeuristicCheckerPlugin 0.8181818 (81.8%)
HeuristicCheckerPluginTest HeuristicCheckerPluginTest 0.80487806 (80.5%)
HttpProxy HttpProxy 0.0 (0%)
Interpreter Interpreter 0.8962264 (89.6%)
KernelBoEachClassHasATest KernelBoEachClassHasATest 1.0 (100%)
KernelContextTest KernelContextTest 0.83391005 (83.4%)
KernelFacade KernelFacade 0.9130435 (91.3%)
Latex2UnicodeParserTest Latex2UnicodeParserTest 0.9787234 (97.9%)
LatexMathParserTest LatexMathParserTest 0.94285715 (94.3%)
LoadRequiredModulesTest LoadRequiredModulesTest 0.89252335 (89.3%)
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%)
ModuleEventListenerLogTest ModuleEventListenerLogTest 0.3580247 (35.8%)
OperatorTest OperatorTest 0.9813084 (98.1%)
OperatorTest OperatorTest 0.95 (95%)
OperatorTest.MyOperator OperatorTest.MyOperator 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%)
ProxyThread ProxyThread 0.0 (0%)
Qedeq2LatexTest Qedeq2LatexTest 0.97183096 (97.2%)
Qedeq2UnicodeTextExecutorTest Qedeq2UnicodeTextExecutorTest 0.789916 (79%)
QedeqBoFactoryAssert QedeqBoFactoryAssert 0.7037037 (70.4%)
QedeqBoFactoryTest QedeqBoFactoryTest 0.7977528 (79.8%)
QedeqBoFormalLogicCheckerDirectTest QedeqBoFormalLogicCheckerDirectTest 0.93333334 (93.3%)
QedeqBoFormalLogicCheckerTest QedeqBoFormalLogicCheckerTest 0.84615386 (84.6%)
QedeqBoSetTest QedeqBoSetTest 0.62030077 (62%)
QedeqBoTestCase QedeqBoTestCase 0.36220473 (36.2%)
QedeqLogTest QedeqLogTest 1.0 (100%)
SimpleMathParserTest SimpleMathParserTest 0.9726027 (97.3%)
SimpleProofFinderPluginTest SimpleProofFinderPluginTest 0.921875 (92.2%)
TestFormulaCheckerFactoryImpl TestFormulaCheckerFactoryImpl 1.0 (100%)
TestFormulaCheckerImpl TestFormulaCheckerImpl 0.4375 (43.8%)
TestingProofCheckerFactoryImpl TestingProofCheckerFactoryImpl 0.625 (62.5%)
ThreeModel ThreeModel 0.9070632 (90.7%)
TraceListenerTest TraceListenerTest 1.0 (100%)
UnaryModel UnaryModel 0.9529412 (95.3%)
VisitorContextTest VisitorContextTest 0.604 (60.4%)