Clover coverage report -
Coverage timestamp: jeu. sept. 29 2005 23:57:39 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 1 139   Methods: 56
NCLOC: 523   Classes: 3
Files: 3  
 
 Package Conditionals Statements Methods TOTAL
org.sat4j.minisat.constraints.card 67,4% 65,7% 44,6% 64%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
MaxWatchCard 60,3% 60,6% 42,1% 58,6%
coverage coverage
MinWatchCard 64,1% 64,2% 50% 62,8%
coverage coverage
AtLeast 90,6% 77,6% 41,2% 75,7%
coverage 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.