EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes] |
name | class, % | method, % | block, % |
---|---|---|---|
org.sat4j.minisat.constraints.cnf | 100% (2/2) | 76% (37/49) | 64% (710/1102) |
name | class, % | method, % | block, % |
---|---|---|---|
WLClause | 100% (1/1) | 68% (15/22) | 61% (344/562) |
Lits | 100% (1/1) | 81% (22/27) | 68% (366/540) |
[all classes] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |