EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes] |
name | class, % | method, % | block, % |
---|---|---|---|
org.sat4j.minisat.constraints.pb | 0% (0/4) | 0% (0/15) | 0% (0/351) |
name | class, % | method, % | block, % |
---|---|---|---|
PBSolver | 0% (0/1) | 0% (0/5) | 0% (0/216) |
PBSolverCard | 0% (0/1) | 0% (0/3) | 0% (0/26) |
PBSolverClause | 0% (0/1) | 0% (0/3) | 0% (0/26) |
PBSolverWithImpliedClause | 0% (0/1) | 0% (0/4) | 0% (0/83) |
[all classes] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |