| 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 | |||||||
| SimpleProofFinderPluginTest | 3 3 | 0 0 | 0 0 | 565.331 | 100% |
|
|||||
| Tests | Started | Status | Message | ||||||||
| SimpleProofFinderPluginTest.testPluginSimpleProofFinderPluginTest.testPlugin | 136940253539524 May 13:35:35 | 1 PASS | 176.572176.572 | ||||||||
| SimpleProofFinderPluginTest.testPluginFastSimpleProofFinderPluginTest.testPluginFast | 136940287767224 May 13:41:17 | 1 PASS | 223.079223.079 | ||||||||
| SimpleProofFinderPluginTest.testPlugin2SimpleProofFinderPluginTest.testPlugin2 | 136940271197924 May 13:38:31 | 1 PASS | 165.68165.68 | ||||||||
|
|||||||||||