EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes] |
name | class, % | method, % | block, % |
---|---|---|---|
org.sat4j.core | 100% (5/5) | 34% (37/108) | 26% (484/1894) |
name | class, % | method, % | block, % |
---|---|---|---|
ASolverFactory | 100% (1/1) | 33% (1/3) | 4% (3/79) |
VecInt$1 | 100% (1/1) | 4% (1/24) | 5% (3/58) |
Vec | 100% (1/1) | 28% (10/36) | 16% (134/819) |
VecInt | 100% (1/1) | 56% (23/41) | 37% (327/892) |
VecInt$2 | 100% (1/1) | 50% (2/4) | 37% (17/46) |
[all classes] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |