EMMA Coverage Report (generated Tue Nov 23 11:59:29 CET 2010)
[all classes][org.opt4j.sat.sat4j]

COVERAGE SUMMARY FOR CLASS [SAT4JModule]

nameclass, %method, %block, %
SAT4JModule0%   (0/1)0%   (0/10)0%   (0/47)

COVERAGE BREAKDOWN BY METHOD

namemethod, %block, %
SAT4JModule (): void0%   (0/1)0%   (0/15)
config (): void0%   (0/1)0%   (0/4)
getLearnSize (): int0%   (0/1)0%   (0/3)
getLearning (): SAT4JSolver$Learning0%   (0/1)0%   (0/3)
getRestarts (): SAT4JSolver$Restarts0%   (0/1)0%   (0/3)
getTimeout (): int0%   (0/1)0%   (0/3)
setLearnSize (int): void0%   (0/1)0%   (0/4)
setLearning (SAT4JSolver$Learning): void0%   (0/1)0%   (0/4)
setRestarts (SAT4JSolver$Restarts): void0%   (0/1)0%   (0/4)
setTimeout (int): void0%   (0/1)0%   (0/4)

[all classes][org.opt4j.sat.sat4j]
EMMA 2.0.9414 (unsupported private build) (C) Vladimir Roubtsov