EMMA Coverage Report (generated Sun Apr 19 18:16:08 EDT 2009)
[all classes]

OVERALL COVERAGE SUMMARY

nameclass, %method, %block, %line, %
all classes68%  (41/60)36%  (226/631)28%  (3811/13750)30%  (832.4/2809)

OVERALL STATS SUMMARY

total packages:13
total executable files:52
total classes:60
total methods:631
total executable lines:2809

COVERAGE BREAKDOWN BY PACKAGE

nameclass, %method, %block, %line, %
org.sat4j.minisat.constraints.pb0%   (0/4)0%   (0/15)0%   (0/351)0%   (0/63)
org.sat4j.specs0%   (0/2)0%   (0/8)0%   (0/32)0%   (0/16)
org.sat4j.minisat100% (1/1)14%  (8/59)6%   (55/946)9%   (16/180)
org.sat4j.minisat.uip100% (1/1)25%  (1/4)12%  (3/26)17%  (1/6)
org.sat4j.reader30%  (3/10)20%  (15/74)14%  (394/2751)18%  (99.9/571)
org.sat4j.core100% (5/5)27%  (29/108)17%  (319/1891)18%  (71.5/391)
org.apache.commons.cli56%  (5/9)50%  (41/82)30%  (468/1545)37%  (126.3/341)
org.sat4j.minisat.constraints.cnf100% (2/2)41%  (20/49)35%  (389/1102)40%  (76.4/192)
org.sat4j.minisat.orders100% (1/1)44%  (8/18)38%  (114/300)40%  (25.3/64)
org.sat4j80%  (4/5)46%  (22/48)41%  (665/1605)36%  (121.8/343)
org.sat4j.minisat.core100% (12/12)47%  (60/128)43%  (1253/2903)44%  (250.2/564)
org.sat4j.minisat.constraints100% (3/3)56%  (9/16)48%  (55/115)61%  (17/28)
org.sat4j.minisat.learning80%  (4/5)59%  (13/22)52%  (96/183)54%  (26.9/50)

[all classes]
EMMA 2.0.5312 (C) Vladimir Roubtsov