Clover coverage report -
Coverage timestamp: jeu. sept. 29 2005 23:57:39 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 1 862   Methods: 74
NCLOC: 1 029   Classes: 7
Files: 7  
 
 Package Conditionals Statements Methods TOTAL
org.sat4j.minisat.constraints.pb 86,7% 87,5% 87,8% 87,3%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
WatchPb 72,9% 74,1% 80% 74,4%
coverage coverage
PBSolver 85,7% 90,9% 100% 89,8%
coverage coverage
MaxWatchPb 90% 92,6% 90% 91,5%
coverage coverage
MinWatchPb 95,2% 95,4% 90,9% 95,1%
coverage coverage
MapPb 100% 97,7% 100% 98,5%
coverage coverage
Conflict 100% 100% 100% 100%
coverage
 
CloverReport generated by Clover Code Coverage v1.3.9
jeu. sept. 29 2005 23:57:47 CEST.		   Open Source License registered to the OpenSAT Project. This license of Clover is provided to support the development of OpenSAT only.