| Clover Test Report |
 | Report generated by Clover Code Coverage v2.3.1 Sat Sep 18 2010 04:09:52 UTC. |
Clover: Open Source License registered to qedeq.org . |
|
|||||||||||
| Class | Tests | Fail | Error | % Tests Success | |||||||
| QedeqBoFormalLogicCheckerTest | 1 1 | 0 0 | 0 0 | 0.855 | 100% |
|
|||||
| Tests | Started | Status | Message | ||||||||
| QedeqBoFormalLogicCheckerTest.testCheckModuleQedeqBoFormalLogicCheckerTest.testCheckModule | 128478296325518 Sep 04:09:23 | 1 PASS | 0.8550.855 | ||||||||
|
|||||||||||