EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes][org.sat4j.minisat.core] |
name | class, % | method, % | block, % |
---|---|---|---|
NullSearchListener | 100% (1/1) | 92% (11/12) | 93% (13/14) |
name | method, % | block, % |
---|---|---|
delete (int []): void | 0% (0/1) | 0% (0/1) |
NullSearchListener (): void | 100% (1/1) | 100% (3/3) |
adding (int): void | 100% (1/1) | 100% (1/1) |
assuming (int): void | 100% (1/1) | 100% (1/1) |
backtracking (int): void | 100% (1/1) | 100% (1/1) |
beginLoop (): void | 100% (1/1) | 100% (1/1) |
conflictFound (): void | 100% (1/1) | 100% (1/1) |
end (Lbool): void | 100% (1/1) | 100% (1/1) |
learn (Constr): void | 100% (1/1) | 100% (1/1) |
propagating (int): void | 100% (1/1) | 100% (1/1) |
solutionFound (): void | 100% (1/1) | 100% (1/1) |
start (): void | 100% (1/1) | 100% (1/1) |
[all classes][org.sat4j.minisat.core] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |