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

COVERAGE SUMMARY FOR CLASS [Lanceur]

nameclass, %method, %block, %
Lanceur100% (1/1)50%  (7/14)31%  (250/799)

COVERAGE BREAKDOWN BY METHOD

namemethod, %block, %
getSuccess (int []): boolean0%   (0/1)0%   (0/14)
getSummary (int []): String0%   (0/1)0%   (0/99)
main (String []): void0%   (0/1)0%   (0/12)
runValidationFile (ISolver, String, boolean): void0%   (0/1)0%   (0/149)
showAvailableSolvers (): void0%   (0/1)0%   (0/24)
stockValidationFile (ISolver, String, String, boolean): void0%   (0/1)0%   (0/89)
usage (): void0%   (0/1)0%   (0/3)
run (String []): void100% (1/1)23%  (7/31)
configureSolver (String []): ISolver100% (1/1)51%  (138/272)
<static initializer>100% (1/1)88%  (7/8)
Lanceur (): void100% (1/1)100% (3/3)
createCLIOptions (): Options100% (1/1)100% (87/87)
createReader (ISolver, String): Reader100% (1/1)100% (5/5)
getInstanceName (String []): String100% (1/1)100% (3/3)

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