Clover coverage report -
Coverage timestamp:
jeu. sept. 29 2005 23:57:39 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. 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.