EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009)
[all classes]

COVERAGE SUMMARY FOR PACKAGE [org.sat4j.core]

nameclass, %method, %block, %
org.sat4j.core100% (5/5)34%  (37/108)26%  (484/1894)

COVERAGE BREAKDOWN BY CLASS

nameclass, %method, %block, %
ASolverFactory100% (1/1)33%  (1/3)4%   (3/79)
VecInt$1100% (1/1)4%   (1/24)5%   (3/58)
Vec100% (1/1)28%  (10/36)16%  (134/819)
VecInt100% (1/1)56%  (23/41)37%  (327/892)
VecInt$2100% (1/1)50%  (2/4)37%  (17/46)

[all classes]
EMMA 2.0.5312 (C) Vladimir Roubtsov