| 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.logic.proof.checker | 3 3 | 0 0 | 0 0 | 1.81 | 100% |
|
|||||
| Test Classes | Tests | Fail | Error | % Pass | |||||||
| ProofCheckerTestProofCheckerTest | 3 3 | 0 0 | 0 0 | 1.811.81 | 1.0100% | 1.0
|
|||||
|
|||||||||||