EMMA Coverage Report (generated Fri May 21 08:45:31 CEST 2010) |
---|
[all classes][org.opt4j.sat] |
name | class, % | method, % | block, % |
---|---|---|---|
SATDecoderModule | 0% (0/1) | 0% (0/4) | 0% (0/35) |
name | method, % | block, % |
---|---|---|
SATDecoderModule (): void | 0% (0/1) | 0% (0/6) |
config (): void | 0% (0/1) | 0% (0/8) |
getInstances (): int | 0% (0/1) | 0% (0/3) |
setInstances (int): void | 0% (0/1) | 0% (0/18) |
[all classes][org.opt4j.sat] |
EMMA 2.0.9414 (unsupported private build) (C) Vladimir Roubtsov |