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

COVERAGE SUMMARY FOR PACKAGE [tuffy.infer.ds]

nameclass, %method, %block, %line, %
tuffy.infer.ds100% (3/3)83%  (29/35)81%  (761/941)78%  (138.2/177)

COVERAGE BREAKDOWN BY SOURCE FILE

nameclass, %method, %block, %line, %
KeyBlock.java100% (1/1)50%  (2/4)33%  (18/55)40%  (4/10)
GAtom.java100% (1/1)79%  (15/19)60%  (203/340)62%  (49.3/80)
GClause.java100% (1/1)100% (12/12)99%  (540/546)98%  (84.9/87)

[all classes]
EMMA 2.0.5312 (C) Vladimir Roubtsov