Clover coverage report -
Coverage timestamp: jeu. sept. 29 2005 23:57:39 CEST
project stats: LOC: 15 115   Methods: 814
NCLOC: 7 562   Classes: 114
Files: 104   Packages: 14
 
  Conditionals Statements Methods TOTAL
Project 63,2% 61,3% 61,2% 61,7%
coverage coverage
 
 Packages Conditionals Statements Methods TOTAL
org.sat4j 0% 0% 0% 0%
coverage
org.sat4j.reader 21,7% 19,1% 16,1% 19,5%
coverage coverage
org.sat4j.specs - 37,5% 37,5% 37,5%
coverage coverage
org.sat4j.tools 52,9% 54% 46,9% 52,4%
coverage coverage
org.sat4j.minisat.constraints.card 67,4% 65,7% 44,6% 64%
coverage coverage
org.sat4j.core 75,4% 74,2% 61% 72%
coverage coverage
org.sat4j.minisat.constraints.cnf 84,6% 81,6% 71,7% 80,3%
coverage coverage
org.sat4j.minisat.orders 82,9% 82,7% 70% 80,5%
coverage coverage
org.sat4j.minisat.core 90,2% 81,7% 73,9% 81,9%
coverage coverage
org.sat4j.minisat.learning 100% 92,1% 75% 86,5%
coverage coverage
org.sat4j.minisat.constraints 94,7% 87,6% 80,8% 87,2%
coverage coverage
org.sat4j.minisat.constraints.pb 86,7% 87,5% 87,8% 87,3%
coverage coverage
org.sat4j.minisat - 98,1% 95% 97,2%
coverage coverage
org.sat4j.minisat.uip - 100% 100% 100%
coverage