| 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 | |||||||
| ProofFinderImplTest | 3 3 | 0 0 | 0 0 | 109.457 | 100% |
|
|||||
| Tests | Started | Status | Message | ||||||||
| ProofFinderImplTest.testFind3ProofFinderImplTest.testFind3 | 136939774948124 May 12:15:49 | 1 PASS | 0.2420.242 | ||||||||
| ProofFinderImplTest.testFind2ProofFinderImplTest.testFind2 | 136939766837524 May 12:14:28 | 1 PASS | 81.09681.096 | ||||||||
| ProofFinderImplTest.testFindProofFinderImplTest.testFind | 136939764024124 May 12:14:00 | 1 PASS | 28.11928.119 | ||||||||
|
|||||||||||