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

COVERAGE SUMMARY FOR PACKAGE [org.sat4j]

nameclass, %method, %block, %
org.sat4j80%  (4/5)46%  (22/48)43%  (683/1605)

COVERAGE BREAKDOWN BY CLASS

nameclass, %method, %block, %
ResultsManager0%   (0/1)0%   (0/12)0%   (0/315)
Lanceur100% (1/1)50%  (7/14)31%  (250/799)
ExitCode100% (1/1)71%  (5/7)87%  (80/92)
AbstractLauncher100% (1/1)62%  (8/13)88%  (343/389)
AbstractLauncher$1100% (1/1)100% (2/2)100% (10/10)

[all classes]
EMMA 2.0.5312 (C) Vladimir Roubtsov