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

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

nameclass, %method, %block, %
org.sat4j.minisat.constraints.pb0%   (0/4)0%   (0/15)0%   (0/351)

COVERAGE BREAKDOWN BY CLASS

nameclass, %method, %block, %
PBSolver0%   (0/1)0%   (0/5)0%   (0/216)
PBSolverCard0%   (0/1)0%   (0/3)0%   (0/26)
PBSolverClause0%   (0/1)0%   (0/3)0%   (0/26)
PBSolverWithImpliedClause0%   (0/1)0%   (0/4)0%   (0/83)

[all classes]
EMMA 2.0.5312 (C) Vladimir Roubtsov