| 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 . |
|
|||||||||||
| Package | Tests | Fail | Error | % Pass | |||||||
| org.qedeq.kernel.se.state | 39 39 | 0 0 | 0 0 | 0.129 | 100% |
|
|||||
| Test Classes | Tests | Fail | Error | % Pass | |||||||
| AbstractStateTestAbstractStateTest | 7 7 | 0 0 | 0 0 | 0.0269999990.027 | 1.0100% | 1.0
|
|||||
| DependencyStateTestDependencyStateTest | 7 7 | 0 0 | 0 0 | 0.0180.018 | 1.0100% | 1.0
|
|||||
| FormallyProvedStateTestFormallyProvedStateTest | 6 6 | 0 0 | 0 0 | 0.0150000010.015 | 1.0100% | 1.0
|
|||||
| LoadingImportsStateTestLoadingImportsStateTest | 7 7 | 0 0 | 0 0 | 0.0169999990.017 | 1.0100% | 1.0
|
|||||
| LoadingStateTestLoadingStateTest | 6 6 | 0 0 | 0 0 | 0.0350.035 | 1.0100% | 1.0
|
|||||
| WellFormedStateTestWellFormedStateTest | 6 6 | 0 0 | 0 0 | 0.0170.017 | 1.0100% | 1.0
|
|||||
|
|||||||||||