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

COVERAGE SUMMARY FOR CLASS [ResultsManager]

nameclass, %method, %block, %
ResultsManager0%   (0/1)0%   (0/12)0%   (0/315)

COVERAGE BREAKDOWN BY METHOD

namemethod, %block, %
ResultsManager (String, boolean): void0%   (0/1)0%   (0/13)
compare (String, ExitCode): ResultCode0%   (0/1)0%   (0/32)
computeResultCode (ExitCode, ExitCode): ResultCode0%   (0/1)0%   (0/54)
createPath (): String0%   (0/1)0%   (0/20)
getFileDescription (): String0%   (0/1)0%   (0/48)
getFiles (): String []0%   (0/1)0%   (0/9)
getInformations (Reader): Map0%   (0/1)0%   (0/80)
getInformations (String): Map0%   (0/1)0%   (0/16)
getInformations (URL): Map0%   (0/1)0%   (0/7)
printLine (String, ExitCode, ResultCode): String0%   (0/1)0%   (0/19)
save (): void0%   (0/1)0%   (0/5)
save (String): void0%   (0/1)0%   (0/12)

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