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

COVERAGE SUMMARY FOR CLASS [VecInt$1]

nameclass, %method, %block, %
VecInt$1100% (1/1)4%   (1/24)5%   (3/58)

COVERAGE BREAKDOWN BY METHOD

namemethod, %block, %
clear (): void0%   (0/1)0%   (0/1)
contains (int): boolean0%   (0/1)0%   (0/2)
copyTo (IVecInt): void0%   (0/1)0%   (0/4)
copyTo (int []): void0%   (0/1)0%   (0/1)
delete (int): int0%   (0/1)0%   (0/4)
ensure (int): void0%   (0/1)0%   (0/1)
get (int): int0%   (0/1)0%   (0/4)
growTo (int, int): void0%   (0/1)0%   (0/1)
insertFirst (int): void0%   (0/1)0%   (0/4)
last (): int0%   (0/1)0%   (0/4)
moveTo (IVecInt): void0%   (0/1)0%   (0/1)
moveTo (int []): void0%   (0/1)0%   (0/1)
moveTo2 (IVecInt): void0%   (0/1)0%   (0/1)
pop (): IVecInt0%   (0/1)0%   (0/4)
push (int): IVecInt0%   (0/1)0%   (0/4)
remove (int): void0%   (0/1)0%   (0/4)
set (int, int): void0%   (0/1)0%   (0/4)
shrink (int): void0%   (0/1)0%   (0/1)
shrinkTo (int): void0%   (0/1)0%   (0/1)
size (): int0%   (0/1)0%   (0/2)
sort (): void0%   (0/1)0%   (0/1)
sortUnique (): void0%   (0/1)0%   (0/1)
unsafePush (int): void0%   (0/1)0%   (0/4)
VecInt$1 (): void100% (1/1)100% (3/3)

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