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%)
|