Clover Coverage Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
419   776   38   14.45
8   592   0.09   7.25
29   4   1.31  
4    
 
 Package
org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.logic 4.0 4 1.3103448 1.31 0.94298244 94.3% 0.94298244
 
 Class
QedeqBoFormalLogicCheckerTest QedeqBoFormalLogicCheckerTest 3.0 3 1.0 1 0.84615386 84.6% 0.84615386
SimpleProofFinderPluginTest SimpleProofFinderPluginTest 10.0 10 1.0 1 0.921875 92.2% 0.921875
QedeqBoFormalLogicCheckerDirectTest QedeqBoFormalLogicCheckerDirectTest 7.0 7 1.8571428 1.86 0.93333334 93.3% 0.93333334
FormalProofCheckerPluginTest FormalProofCheckerPluginTest 9.0 9 1.3333334 1.33 0.96444446 96.4% 0.96444446