Clover Coverage Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
934   4,940   365   2.93
40   2,951   0.39   21.27
319   15   1.14  
15    
 
 Package
org.qedeq.kernel.bo.logic.wf org.qedeq.kernel.bo.logic.wf 15.0 15 1.1442007 1.14 0.85846865 85.8% 0.85846865
 
 Class
TestFormulaCheckerImpl TestFormulaCheckerImpl 2.0 2 2.5 2.5 0.4375 43.8% 0.4375
FormulaCheckerGlobalTest FormulaCheckerGlobalTest 122.0 122 1.0 1 0.53571427 53.6% 0.53571427
AbstractFormulaChecker AbstractFormulaChecker 22.0 22 2.6363637 2.64 0.6935484 69.4% 0.6935484
FormulaCheckerContextTest FormulaCheckerContextTest 15.0 15 1.4666667 1.47 0.94957983 95% 0.94957983
FormulaCheckerClassTermTest FormulaCheckerClassTermTest 10.0 10 1.0 1 1.0 100% 1.0
FormulaCheckerFormulaTest FormulaCheckerFormulaTest 8.0 8 1.0 1 1.0 100% 1.0
FormulaCheckerFunctionTermTest FormulaCheckerFunctionTermTest 16.0 16 1.0 1 1.0 100% 1.0
FormulaCheckerLogicalConnectivesTest FormulaCheckerLogicalConnectivesTest 26.0 26 1.0 1 1.0 100% 1.0
FormulaCheckerNegationTest FormulaCheckerNegationTest 5.0 5 1.0 1 1.0 100% 1.0
FormulaCheckerPredicateFormulaTest FormulaCheckerPredicateFormulaTest 15.0 15 1.0 1 1.0 100% 1.0
FormulaCheckerQuantifiersTest FormulaCheckerQuantifiersTest 32.0 32 1.0 1 1.0 100% 1.0
FormulaCheckerSubjectVariableTest FormulaCheckerSubjectVariableTest 6.0 6 1.0 1 1.0 100% 1.0
FormulaCheckerTermTest FormulaCheckerTermTest 16.0 16 1.0 1 1.0 100% 1.0
FormulaCheckerTest FormulaCheckerTest 23.0 23 1.0 1 1.0 100% 1.0
TestFormulaCheckerFactoryImpl TestFormulaCheckerFactoryImpl 1.0 1 1.0 1 1.0 100% 1.0