| EMMA Coverage Report (generated Fri Feb 14 08:28:31 UTC 2014) |
|---|
| [all classes] |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| org.qedeq.kernel.bo.service.logic | 100% (10/10) | 85% (119/140) | 69% (3961/5772) | 74% (821.6/1111) |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| SimpleProofFinderExecutor.java | 100% (2/2) | 57% (12/21) | 47% (289/620) | 46% (57.8/126) |
| FormalProofCheckerExecutor.java | 100% (1/1) | 79% (22/28) | 53% (578/1089) | 61% (136.7/223) |
| WellFormedCheckerExecutor.java | 100% (1/1) | 100% (24/24) | 71% (1892/2647) | 77% (355.9/461) |
| ModuleConstantsExistenceCheckerImpl.java | 100% (1/1) | 90% (18/20) | 82% (683/831) | 89% (162.8/183) |
| DefaultExistenceChecker.java | 100% (1/1) | 96% (23/24) | 85% (331/388) | 91% (65.6/72) |
| FormalProofCheckerPlugin.java | 100% (1/1) | 86% (6/7) | 92% (37/40) | 86% (6.9/8) |
| WellFormedCheckerPlugin.java | 100% (1/1) | 86% (6/7) | 92% (37/40) | 86% (6.9/8) |
| SimpleProofFinderPlugin.java | 100% (1/1) | 86% (6/7) | 97% (101/104) | 96% (24.9/26) |
| CheckRequiredModuleException.java | 100% (1/1) | 100% (2/2) | 100% (13/13) | 100% (4/4) |
| [all classes] |
| EMMA 2.1.5320 (stable) (C) Vladimir Roubtsov |