| Clover Test Report |
 | Report generated by Clover Code Coverage v3.1.10 Fri May 24 2013 13:47:32 UTC. |
Clover: Open Source License registered to qedeq.org . |
|
|||||||||||
| Package | Tests | Fail | Error | % Pass | |||||||
| org.qedeq.kernel.bo.service.logic | 13 13 | 0 0 | 0 0 | 578.755 | 100% |
|
|||||
| Test Classes | Tests | Fail | Error | % Pass | |||||||
| FormalProofCheckerPluginTestFormalProofCheckerPluginTest | 4 4 | 0 0 | 0 0 | 10.68410.684 | 1.0100% | 1.0
|
|||||
| QedeqBoFormalLogicCheckerDirectTestQedeqBoFormalLogicCheckerDirectTest | 5 5 | 0 0 | 0 0 | 1.03700011.037 | 1.0100% | 1.0
|
|||||
| QedeqBoFormalLogicCheckerTestQedeqBoFormalLogicCheckerTest | 1 1 | 0 0 | 0 0 | 1.7031.703 | 1.0100% | 1.0
|
|||||
| SimpleProofFinderPluginTestSimpleProofFinderPluginTest | 3 3 | 0 0 | 0 0 | 565.331565.331 | 1.0100% | 1.0
|
|||||
|
|||||||||||