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

COVERAGE SUMMARY FOR CLASS [CSPReader]

nameclass, %method, %block, %
CSPReader0%   (0/1)0%   (0/10)0%   (0/449)

COVERAGE BREAKDOWN BY METHOD

namemethod, %block, %
<static initializer>0%   (0/1)0%   (0/8)
CSPReader (ISolver): void0%   (0/1)0%   (0/6)
decode (int []): String0%   (0/1)0%   (0/29)
intToVar (int []): Var []0%   (0/1)0%   (0/23)
manageAllowedTuples (int, int [], int): void0%   (0/1)0%   (0/10)
parseInstance (LineNumberReader): IProblem0%   (0/1)0%   (0/24)
parseInstance (Reader): IProblem0%   (0/1)0%   (0/7)
readArrayOfInt (Scanner): int []0%   (0/1)0%   (0/8)
readArrayOfInt (Scanner, int): int []0%   (0/1)0%   (0/17)
readProblem (LineNumberReader): void0%   (0/1)0%   (0/317)

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