Clover Coverage Report
Coverage timestamp: Fri Feb 14 2014 01:47:57 UTC
988   3,075   409   7.66
438   2,225   0.41   12.9
129   10   3.17  
10    
 
 Package
Cloud icon for org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.logic 10.0 10 3.1705427 3.17 0.7318328 73.2% 0.7318328
 
 Class
SimpleProofFinderExecutor SimpleProofFinderExecutor 19.0 19 2.2105262 2.21 0.48920864 48.9% 0.48920864
FormalProofCheckerExecutor FormalProofCheckerExecutor 27.0 27 3.0370371 3.04 0.6210191 62.1% 0.6210191
WellFormedCheckerExecutor WellFormedCheckerExecutor 23.0 23 7.304348 7.3 0.7441176 74.4% 0.7441176
FormalProofCheckerPlugin FormalProofCheckerPlugin 5.0 5 1.0 1 0.8 80% 0.8
WellFormedCheckerPlugin WellFormedCheckerPlugin 5.0 5 1.0 1 0.8 80% 0.8
DefaultExistenceChecker DefaultExistenceChecker 23.0 23 1.3043479 1.3 0.87234044 87.2% 0.87234044
ModuleConstantsExistenceCheckerImpl ModuleConstantsExistenceCheckerImpl 20.0 20 3.5 3.5 0.8731884 87.3% 0.8731884
SimpleProofFinderPlugin SimpleProofFinderPlugin 5.0 5 1.0 1 0.9285714 92.9% 0.9285714
CheckRequiredModuleException CheckRequiredModuleException 2.0 2 1.0 1 1.0 100% 1.0