EMMA Coverage Report (generated Thu Mar 26 13:52:15 EDT 2009) |
---|
[all classes] |
name | class, % | method, % | block, % |
---|---|---|---|
org.sat4j.minisat.orders | 100% (1/1) | 72% (13/18) | 67% (202/300) |
name | class, % | method, % | block, % |
---|---|---|---|
VarOrderHeap | 100% (1/1) | 72% (13/18) | 67% (202/300) |
[all classes] |
EMMA 2.0.5312 (C) Vladimir Roubtsov |