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

COVERAGE SUMMARY FOR CLASS [DimacsReader]

nameclass, %method, %block, %
DimacsReader0%   (0/1)0%   (0/12)0%   (0/332)

COVERAGE BREAKDOWN BY METHOD

namemethod, %block, %
<static initializer>0%   (0/1)0%   (0/8)
DimacsReader (ISolver): void0%   (0/1)0%   (0/5)
DimacsReader (ISolver, String): void0%   (0/1)0%   (0/12)
decode (int []): String0%   (0/1)0%   (0/29)
disableNumberOfConstraintCheck (): void0%   (0/1)0%   (0/4)
getSolver (): ISolver0%   (0/1)0%   (0/3)
handleConstr (String, IVecInt): boolean0%   (0/1)0%   (0/35)
parseInstance (LineNumberReader): IProblem0%   (0/1)0%   (0/36)
parseInstance (Reader): IProblem0%   (0/1)0%   (0/7)
readConstrs (LineNumberReader): void0%   (0/1)0%   (0/84)
readProblemLine (LineNumberReader): void0%   (0/1)0%   (0/90)
skipComments (LineNumberReader): void0%   (0/1)0%   (0/19)

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