Clover coverage report -
Coverage timestamp: jeu. juin 15 2006 08:24:33 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 3 479   Methods: 183
NCLOC: 1 977   Classes: 22
Files: 22  
 
 Package Conditionals Statements Methods TOTAL
org.sat4j.minisat.constraints.pb 65,1% 65,7% 67,8% 65,8%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
ConflictMap 0% 0% 0% 0%
coverage
MapPb 0% 0% 0% 0%
coverage
PBSolverWithImpliedClause 0% 11,1% 33,3% 12,5%
coverage coverage
ConflictArrayCard 0% 20% 66,7% 23,5%
coverage coverage
WatchPb 58,3% 66,7% 69,4% 64,8%
coverage coverage
PBSolverCard - 66,7% 66,7% 66,7%
coverage coverage
PBSolverClause - 66,7% 66,7% 66,7%
coverage coverage
MinWatchCardPB 55,6% 74,3% 84,6% 71,2%
coverage coverage
PuebloMinWatchPb 70% 75,7% 66,7% 73,2%
coverage coverage
MaxWatchPb 67,6% 79,2% 75% 75,4%
coverage coverage
ArrayPb 90% 83,7% 85,7% 86,1%
coverage coverage
MixableCBClausePB 83,3% 90% 80% 86,1%
coverage coverage
PBSolver 85,7% 87,9% 75% 86,3%
coverage coverage
AtLeastPB 87,5% 87% 84,6% 86,4%
coverage coverage
MinWatchPb 88,7% 90,2% 81,2% 89,1%
coverage coverage
WLClausePB 83,3% 93,3% 85,7% 89,3%
coverage coverage
ConflictArray 97,2% 98,1% 100% 97,9%
coverage coverage
ConflictArrayClause 100% 100% 100% 100%
coverage
 
CloverReport generated by Clover Code Coverage v1.3.9
jeu. juin 15 2006 08:24:39 CEST.		   Open Source License registered to the OpenSAT Project. This license of Clover is provided to support the development of OpenSAT only.