| 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 . |
|
|||||||||||
| Class | Tests | Fail | Error | % Tests Success | |||||||
| ProofCheckerTest | 3 3 | 0 0 | 0 0 | 1.81 | 100% |
|
|||||
| Tests | Started | Status | Message | ||||||||
| ProofCheckerTest.testCheck1ProofCheckerTest.testCheck1 | 136939763764124 May 12:13:57 | 1 PASS | 1.2661.266 | ||||||||
| ProofCheckerTest.testCheck6ProofCheckerTest.testCheck6 | 136939763913624 May 12:13:59 | 1 PASS | 0.3410.341 | ||||||||
| ProofCheckerTest.testCheck4ProofCheckerTest.testCheck4 | 136939763892424 May 12:13:58 | 1 PASS | 0.2030.203 | ||||||||
|
|||||||||||