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

COVERAGE SUMMARY FOR CLASS [InstanceReader]

nameclass, %method, %block, %
InstanceReader100% (1/1)40%  (4/10)41%  (95/233)

COVERAGE BREAKDOWN BY METHOD

namemethod, %block, %
getCSPReader1 (): Reader0%   (0/1)0%   (0/13)
getCSPReader2 (): Reader0%   (0/1)0%   (0/13)
getCSPReader3 (): Reader0%   (0/1)0%   (0/13)
getDefaultExtendedDimacsReader (): Reader0%   (0/1)0%   (0/13)
getDefaultOPBReader (): Reader0%   (0/1)0%   (0/13)
parseInstance (Reader): IProblem0%   (0/1)0%   (0/4)
parseInstance (String): IProblem100% (1/1)50%  (68/137)
InstanceReader (ISolver): void100% (1/1)100% (9/9)
decode (int []): String100% (1/1)100% (5/5)
getDefaultSATReader (): Reader100% (1/1)100% (13/13)

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