EMMA Coverage Report (generated Tue May 03 17:02:00 CDT 2011)
[all classes][tuffy.main]

COVERAGE SUMMARY FOR SOURCE FILE [NonPartInfer.java]

nameclass, %method, %block, %line, %
NonPartInfer.java100% (1/1)100% (2/2)59%  (133/224)67%  (22.1/33)

COVERAGE BREAKDOWN BY CLASS AND METHOD

nameclass, %method, %block, %line, %
     
class NonPartInfer100% (1/1)100% (2/2)59%  (133/224)67%  (22.1/33)
run (CommandOptions): void 100% (1/1)59%  (130/221)66%  (21.1/32)
NonPartInfer (): void 100% (1/1)100% (3/3)100% (1/1)

[source file 'tuffy/main/NonPartInfer.java' not found in sourcepath]

[all classes][tuffy.main]
EMMA 2.0.5312 (C) Vladimir Roubtsov