Clover Coverage Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
10   105   6   1.67
0   33   0.6   3
6   2   1  
2    
 
 Package
org.qedeq.kernel.bo.logic org.qedeq.kernel.bo.logic 2.0 2 1.0 1 0.75 75% 0.75
 
 Class
FormulaCheckerFactoryImplTest FormulaCheckerFactoryImplTest 3.0 3 1.0 1 0.75 75% 0.75
ProofCheckerFactoryImplTest ProofCheckerFactoryImplTest 3.0 3 1.0 1 0.75 75% 0.75