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

COVERAGE SUMMARY FOR CLASS [VecInt]

nameclass, %method, %block, %
VecInt100% (1/1)56%  (23/41)37%  (327/892)

COVERAGE BREAKDOWN BY METHOD

namemethod, %block, %
VecInt (int []): void0%   (0/1)0%   (0/10)
VecInt (int, int): void0%   (0/1)0%   (0/22)
access$100 (VecInt): int []0%   (0/1)0%   (0/3)
contains (int): boolean0%   (0/1)0%   (0/18)
copyTo (IVecInt): void0%   (0/1)0%   (0/26)
copyTo (int []): void0%   (0/1)0%   (0/20)
equals (Object): boolean0%   (0/1)0%   (0/34)
hashCode (): int0%   (0/1)0%   (0/24)
insertFirst (int): void0%   (0/1)0%   (0/21)
isEmpty (): boolean0%   (0/1)0%   (0/7)
isSubsetOf (IVecInt): boolean0%   (0/1)0%   (0/58)
moveTo (IVecInt): void0%   (0/1)0%   (0/7)
moveTo2 (IVecInt): void0%   (0/1)0%   (0/27)
pushAll (IVecInt): void0%   (0/1)0%   (0/26)
remove (int): void0%   (0/1)0%   (0/51)
shrinkTo (int): void0%   (0/1)0%   (0/22)
sort (): void0%   (0/1)0%   (0/6)
toString (): String0%   (0/1)0%   (0/41)
sort (int, int): void100% (1/1)20%  (15/75)
get (int): int100% (1/1)39%  (9/23)
set (int, int): void100% (1/1)42%  (10/24)
shrink (int): void100% (1/1)44%  (11/25)
last (): int100% (1/1)59%  (10/17)
pop (): IVecInt100% (1/1)59%  (10/17)
delete (int): int100% (1/1)64%  (25/39)
growTo (int, int): void100% (1/1)72%  (21/29)
<static initializer>100% (1/1)94%  (16/17)
selectionSort (int, int): void100% (1/1)96%  (48/50)
sortUnique (): void100% (1/1)98%  (44/45)
VecInt (): void100% (1/1)100% (4/4)
VecInt (int): void100% (1/1)100% (7/7)
access$000 (VecInt): int100% (1/1)100% (3/3)
clear (): void100% (1/1)100% (4/4)
ensure (int): void100% (1/1)100% (25/25)
iterator (): Iterator100% (1/1)100% (5/5)
moveTo (int []): void100% (1/1)100% (12/12)
moveTo (int, int): void100% (1/1)100% (9/9)
push (int): IVecInt100% (1/1)100% (19/19)
size (): int100% (1/1)100% (3/3)
unsafeGet (int): int100% (1/1)100% (5/5)
unsafePush (int): void100% (1/1)100% (12/12)

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