EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009)
[all classes][org.sat4j.minisat.core]

COVERAGE SUMMARY FOR CLASS [Heap]

nameclass, %method, %block, %
Heap100% (1/1)82%  (14/17)75%  (277/367)

COVERAGE BREAKDOWN BY METHOD

namemethod, %block, %
heapProperty (): boolean0%   (0/1)0%   (0/4)
heapProperty (int): boolean0%   (0/1)0%   (0/34)
ok (int): boolean0%   (0/1)0%   (0/11)
increase (int): void100% (1/1)41%  (11/27)
setBounds (int): void100% (1/1)57%  (8/14)
inHeap (int): boolean100% (1/1)58%  (11/19)
insert (int): void100% (1/1)72%  (21/29)
empty (): boolean100% (1/1)78%  (7/9)
<static initializer>100% (1/1)88%  (7/8)
Heap (double []): void100% (1/1)100% (21/21)
comp (int, int): boolean100% (1/1)100% (14/14)
getmin (): int100% (1/1)100% (39/39)
left (int): int100% (1/1)100% (4/4)
parent (int): int100% (1/1)100% (4/4)
percolateDown (int): void100% (1/1)100% (75/75)
percolateUp (int): void100% (1/1)100% (49/49)
right (int): int100% (1/1)100% (6/6)

[all classes][org.sat4j.minisat.core]
EMMA 2.0.5312 (C) Vladimir Roubtsov