| EMMA Coverage Report (generated Fri Feb 14 08:28:31 UTC 2014) |
|---|
| [all classes] |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| org.qedeq.kernel.bo.logic | 100% (3/3) | 100% (7/7) | 74% (55/74) | 70% (16/23) |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| ProofCheckerFactoryImpl.java | 100% (1/1) | 100% (3/3) | 68% (41/60) | 63% (12/19) |
| FormulaCheckerFactoryImpl.java | 100% (1/1) | 100% (2/2) | 100% (7/7) | 100% (2/2) |
| ProofFinderFactoryImpl.java | 100% (1/1) | 100% (2/2) | 100% (7/7) | 100% (2/2) |
| [all classes] |
| EMMA 2.1.5320 (stable) (C) Vladimir Roubtsov |