Clover coverage report -
Coverage timestamp: jeu. sept. 29 2005 23:57:39 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 2 527   Methods: 119
NCLOC: 1 062   Classes: 27
Files: 25  
 
 Package Conditionals Statements Methods TOTAL
org.sat4j.minisat.core 90,2% 81,7% 73,9% 81,9%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
TextOutputListener - 0% 0% 0%
coverage
IntQueue 16,7% 50% 83,3% 50%
coverage coverage
SearchParams - 45,5% 62,5% 50%
coverage coverage
SolverStats - 50% 50% 50%
coverage coverage
Solver 93,4% 88,1% 78,5% 88%
coverage coverage
NullSearchListener - - 88,9% 88,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. 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.