EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes][org.sat4j.minisat.constraints.pb] |
name | class, % | method, % | block, % |
---|---|---|---|
PBSolver | 0% (0/1) | 0% (0/5) | 0% (0/216) |
name | method, % | block, % |
---|---|---|
<static initializer> | 0% (0/1) | 0% (0/8) |
PBSolver (AssertingClauseGenerator, LearningStrategy, DataStructureFactory, I... | 0% (0/1) | 0% (0/12) |
analyze (Constr, Handle): int | 0% (0/1) | 0% (0/179) |
chooseConflict (Constr): IConflict | 0% (0/1) | 0% (0/4) |
toString (String): String | 0% (0/1) | 0% (0/13) |
[all classes][org.sat4j.minisat.constraints.pb] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |