Clover coverage report -
Coverage timestamp: jeu. juin 15 2006 08:24:33 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 2 821   Methods: 146
NCLOC: 1 264   Classes: 30
Files: 28  
 
 Package Conditionals Statements Methods TOTAL
org.sat4j.minisat.core 79,5% 73,8% 65,8% 73,2%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
DotSearchListener 0% 0% 0% 0%
coverage
LiteralsUtils - 0% 0% 0%
coverage
TextOutputListener - 0% 0% 0%
coverage
SolverStats - 39,4% 33,3% 38,9%
coverage coverage
IntQueue 16,7% 50% 83,3% 50%
coverage coverage
SearchParams - 50% 75% 56,7%
coverage coverage
Solver 87% 86,4% 80% 85,7%
coverage coverage
NullSearchListener - - 90,9% 90,9%
coverage coverage
Heap 100% 95,1% 87,5% 94%
coverage coverage
ActivityComparator - 100% 100% 100%
coverage
Lbool - 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.