EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes][org.sat4j.minisat.core] |
name | class, % | method, % | block, % |
---|---|---|---|
Heap | 100% (1/1) | 82% (14/17) | 75% (277/367) |
name | method, % | block, % |
---|---|---|
heapProperty (): boolean | 0% (0/1) | 0% (0/4) |
heapProperty (int): boolean | 0% (0/1) | 0% (0/34) |
ok (int): boolean | 0% (0/1) | 0% (0/11) |
increase (int): void | 100% (1/1) | 41% (11/27) |
setBounds (int): void | 100% (1/1) | 57% (8/14) |
inHeap (int): boolean | 100% (1/1) | 58% (11/19) |
insert (int): void | 100% (1/1) | 72% (21/29) |
empty (): boolean | 100% (1/1) | 78% (7/9) |
<static initializer> | 100% (1/1) | 88% (7/8) |
Heap (double []): void | 100% (1/1) | 100% (21/21) |
comp (int, int): boolean | 100% (1/1) | 100% (14/14) |
getmin (): int | 100% (1/1) | 100% (39/39) |
left (int): int | 100% (1/1) | 100% (4/4) |
parent (int): int | 100% (1/1) | 100% (4/4) |
percolateDown (int): void | 100% (1/1) | 100% (75/75) |
percolateUp (int): void | 100% (1/1) | 100% (49/49) |
right (int): int | 100% (1/1) | 100% (6/6) |
[all classes][org.sat4j.minisat.core] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |