Clover coverage report -
Coverage timestamp:
jeu. juin 15 2006 08:24:33 CEST
Overview
Package
File
FRAMES
NO FRAMES
package stats:
LOC:
135
Methods:
6
NCLOC:
31
Classes:
2
Files:
2
Package
Conditionals
Statements
Methods
TOTAL
org.sat4j.minisat.uip
-
100%
100%
100%
Classes
Conditionals
Statements
Methods
TOTAL
DecisionUIP
-
100%
100%
100%
FirstUIP
-
100%
100%
100%
Report 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.