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

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

nameclass, %method, %block, %
org.sat4j.minisat.core100% (12/12)66%  (85/128)69%  (1994/2903)

COVERAGE BREAKDOWN BY CLASS

nameclass, %method, %block, %
ActivityComparator100% (1/1)50%  (1/2)27%  (3/11)
Solver$4100% (1/1)50%  (1/2)32%  (6/19)
Solver$1100% (1/1)33%  (1/3)50%  (3/6)
Solver$3100% (1/1)50%  (1/2)50%  (6/12)
Solver100% (1/1)62%  (42/68)65%  (1323/2021)
SearchParams100% (1/1)62%  (5/8)70%  (80/114)
Heap100% (1/1)82%  (14/17)75%  (277/367)
Lbool100% (1/1)33%  (2/6)78%  (54/69)
SolverStats100% (1/1)75%  (3/4)84%  (213/254)
NullSearchListener100% (1/1)92%  (11/12)93%  (13/14)
Handle100% (1/1)100% (1/1)100% (3/3)
Solver$2100% (1/1)100% (3/3)100% (13/13)

[all classes]
EMMA 2.0.5312 (C) Vladimir Roubtsov