EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009)
[all classes][org.sat4j.minisat.constraints.pb]

COVERAGE SUMMARY FOR CLASS [PBSolver]

nameclass, %method, %block, %
PBSolver0%   (0/1)0%   (0/5)0%   (0/216)

COVERAGE BREAKDOWN BY METHOD

namemethod, %block, %
<static initializer>0%   (0/1)0%   (0/8)
PBSolver (AssertingClauseGenerator, LearningStrategy, DataStructureFactory, I...0%   (0/1)0%   (0/12)
analyze (Constr, Handle): int0%   (0/1)0%   (0/179)
chooseConflict (Constr): IConflict0%   (0/1)0%   (0/4)
toString (String): String0%   (0/1)0%   (0/13)

[all classes][org.sat4j.minisat.constraints.pb]
EMMA 2.0.5312 (C) Vladimir Roubtsov