| 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 | |||||||
| QedeqBoFormalLogicCheckerTest | 1 1 | 0 0 | 0 0 | 1.703 | 100% |
|
|||||
| Tests | Started | Status | Message | ||||||||
| QedeqBoFormalLogicCheckerTest.testCheckModuleQedeqBoFormalLogicCheckerTest.testCheckModule | 136940253220224 May 13:35:32 | 1 PASS | 1.7031.703 | ||||||||
|
|||||||||||