Clover coverage report -
Coverage timestamp: jeu. juin 15 2006 08:24:33 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 1 255   Methods: 66
NCLOC: 608   Classes: 3
Files: 3  
 
 Package Conditionals Statements Methods TOTAL
org.sat4j.minisat.constraints.card 63,5% 61,1% 47% 60,2%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
MaxWatchCard 50% 51% 31,8% 48,4%
coverage coverage
MinWatchCard 64,3% 66% 60% 64,9%
coverage coverage
AtLeast 87,5% 64,4% 47,4% 67,7%
coverage 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.