Clover coverage report -
Coverage timestamp: jeu. sept. 29 2005 23:57:39 CEST
package stats: LOC: 135   Methods: 6
NCLOC: 31   Classes: 2
Files: 2  
 
 Package Conditionals Statements Methods TOTAL
org.sat4j.minisat.uip - 100% 100% 100%
coverage
 
 Classes Conditionals Statements Methods TOTAL
DecisionUIP - 100% 100% 100%
coverage
FirstUIP - 100% 100% 100%
coverage