EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes][org.sat4j.core] |
name | class, % | method, % | block, % |
---|---|---|---|
VecInt$2 | 100% (1/1) | 50% (2/4) | 37% (17/46) |
name | method, % | block, % |
---|---|---|
next (): Integer | 0% (0/1) | 0% (0/23) |
remove (): void | 0% (0/1) | 0% (0/4) |
hasNext (): boolean | 100% (1/1) | 80% (8/10) |
VecInt$2 (VecInt): void | 100% (1/1) | 100% (9/9) |
[all classes][org.sat4j.core] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |