EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes][org.sat4j.core] |
name | class, % | method, % | block, % |
---|---|---|---|
VecInt$1 | 100% (1/1) | 4% (1/24) | 5% (3/58) |
name | method, % | block, % |
---|---|---|
clear (): void | 0% (0/1) | 0% (0/1) |
contains (int): boolean | 0% (0/1) | 0% (0/2) |
copyTo (IVecInt): void | 0% (0/1) | 0% (0/4) |
copyTo (int []): void | 0% (0/1) | 0% (0/1) |
delete (int): int | 0% (0/1) | 0% (0/4) |
ensure (int): void | 0% (0/1) | 0% (0/1) |
get (int): int | 0% (0/1) | 0% (0/4) |
growTo (int, int): void | 0% (0/1) | 0% (0/1) |
insertFirst (int): void | 0% (0/1) | 0% (0/4) |
last (): int | 0% (0/1) | 0% (0/4) |
moveTo (IVecInt): void | 0% (0/1) | 0% (0/1) |
moveTo (int []): void | 0% (0/1) | 0% (0/1) |
moveTo2 (IVecInt): void | 0% (0/1) | 0% (0/1) |
pop (): IVecInt | 0% (0/1) | 0% (0/4) |
push (int): IVecInt | 0% (0/1) | 0% (0/4) |
remove (int): void | 0% (0/1) | 0% (0/4) |
set (int, int): void | 0% (0/1) | 0% (0/4) |
shrink (int): void | 0% (0/1) | 0% (0/1) |
shrinkTo (int): void | 0% (0/1) | 0% (0/1) |
size (): int | 0% (0/1) | 0% (0/2) |
sort (): void | 0% (0/1) | 0% (0/1) |
sortUnique (): void | 0% (0/1) | 0% (0/1) |
unsafePush (int): void | 0% (0/1) | 0% (0/4) |
VecInt$1 (): void | 100% (1/1) | 100% (3/3) |
[all classes][org.sat4j.core] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |