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

COVERAGE SUMMARY FOR CLASS [Vec]

nameclass, %method, %block, %
Vec100% (1/1)28%  (10/36)16%  (134/819)

COVERAGE BREAKDOWN BY METHOD

namemethod, %block, %
Vec (Object []): void0%   (0/1)0%   (0/10)
Vec (int, Object): void0%   (0/1)0%   (0/23)
access$000 (Vec): int0%   (0/1)0%   (0/3)
access$100 (Vec): Object []0%   (0/1)0%   (0/3)
copyTo (Object []): void0%   (0/1)0%   (0/20)
delete (int): Object0%   (0/1)0%   (0/45)
equals (Object): boolean0%   (0/1)0%   (0/35)
growTo (int, Object): void0%   (0/1)0%   (0/30)
hashCode (): int0%   (0/1)0%   (0/21)
insertFirst (Object): void0%   (0/1)0%   (0/21)
insertFirstWithShifting (Object): void0%   (0/1)0%   (0/43)
isEmpty (): boolean0%   (0/1)0%   (0/7)
iterator (): Iterator0%   (0/1)0%   (0/5)
last (): Object0%   (0/1)0%   (0/17)
moveTo (int, int): void0%   (0/1)0%   (0/14)
pop (): void0%   (0/1)0%   (0/21)
remove (Object): void0%   (0/1)0%   (0/50)
selectionSort (int, int, Comparator): void0%   (0/1)0%   (0/52)
set (int, Object): void0%   (0/1)0%   (0/6)
shrink (int): void0%   (0/1)0%   (0/29)
shrinkTo (int): void0%   (0/1)0%   (0/39)
sort (Comparator): void0%   (0/1)0%   (0/7)
sort (int, int, Comparator): void0%   (0/1)0%   (0/82)
sortUnique (Comparator): void0%   (0/1)0%   (0/48)
toString (): String0%   (0/1)0%   (0/41)
unsafePush (Object): void0%   (0/1)0%   (0/12)
<static initializer>100% (1/1)92%  (12/13)
Vec (): void100% (1/1)100% (4/4)
Vec (int): void100% (1/1)100% (8/8)
clear (): void100% (1/1)100% (16/16)
copyTo (IVec): void100% (1/1)100% (35/35)
ensure (int): void100% (1/1)100% (26/26)
get (int): Object100% (1/1)100% (5/5)
moveTo (IVec): void100% (1/1)100% (6/6)
push (Object): IVec100% (1/1)100% (19/19)
size (): int100% (1/1)100% (3/3)

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