EMMA Coverage Report (generated Fri May 21 08:45:31 CEST 2010) |
---|
[all classes][org.opt4j.sat] |
name | class, % | method, % | block, % |
---|---|---|---|
Literal | 0% (0/1) | 0% (0/7) | 0% (0/114) |
name | method, % | block, % |
---|---|---|
Literal (Object, boolean): void | 0% (0/1) | 0% (0/9) |
equals (Object): boolean | 0% (0/1) | 0% (0/44) |
hashCode (): int | 0% (0/1) | 0% (0/28) |
negate (): Literal | 0% (0/1) | 0% (0/12) |
phase (): boolean | 0% (0/1) | 0% (0/3) |
toString (): String | 0% (0/1) | 0% (0/15) |
variable (): Object | 0% (0/1) | 0% (0/3) |
[all classes][org.opt4j.sat] |
EMMA 2.0.9414 (unsupported private build) (C) Vladimir Roubtsov |