Clover coverage report -
Coverage timestamp:
jeu. juin 15 2006 08:24:33 CEST
Overview
Package
File
FRAMES
NO FRAMES
package stats:
LOC:
741
Methods:
59
NCLOC:
381
Classes:
1
Files:
1
Package
Conditionals
Statements
Methods
TOTAL
org.sat4j.minisat
50%
98,9%
96,6%
97,9%
Classes
Conditionals
Statements
Methods
TOTAL
SolverFactory
50%
98,9%
96,6%
97,9%
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.