Clover coverage report -
Coverage timestamp:
jeu. sept. 29 2005 23:57:39 CEST
Overview
Package
File
FRAMES
NO FRAMES
package stats:
LOC:
471
Methods:
40
NCLOC:
233
Classes:
1
Files:
1
Package
Conditionals
Statements
Methods
TOTAL
org.sat4j.minisat
-
98,1%
95%
97,2%
Classes
Conditionals
Statements
Methods
TOTAL
SolverFactory
-
98,1%
95%
97,2%
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.