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

COVERAGE SUMMARY FOR PACKAGE [org.sat4j.minisat.constraints]

nameclass, %method, %block, %
org.sat4j.minisat.constraints100% (3/3)75%  (12/16)83%  (95/115)

COVERAGE BREAKDOWN BY CLASS

nameclass, %method, %block, %
MixedDataStructureDaniel100% (1/1)50%  (1/2)27%  (3/11)
AbstractDataStructureFactory100% (1/1)73%  (8/11)84%  (64/76)
ClausalDataStructureWL100% (1/1)100% (3/3)100% (28/28)

[all classes]
EMMA 2.0.5312 (C) Vladimir Roubtsov