EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes][org.sat4j.specs] |
name | class, % | method, % | block, % |
---|---|---|---|
ContradictionException | 0% (0/1) | 0% (0/4) | 0% (0/16) |
name | method, % | block, % |
---|---|---|
ContradictionException (): void | 0% (0/1) | 0% (0/3) |
ContradictionException (String): void | 0% (0/1) | 0% (0/4) |
ContradictionException (String, Throwable): void | 0% (0/1) | 0% (0/5) |
ContradictionException (Throwable): void | 0% (0/1) | 0% (0/4) |
[all classes][org.sat4j.specs] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |