|
|||||||||||
Package | Tests | Fail | Error | % Pass | |||||||
org.qedeq.kernel.se.state | 39 39 | 0 0 | 0 0 | 0.24 | 100% |
|
|||||
Test Classes | Tests | Fail | Error | % Pass | |||||||
AbstractStateTestAbstractStateTest | 7 7 | 0 0 | 0 0 | 0.0600000020.06 | 1.0100% | 1.0
|
|||||
DependencyStateTestDependencyStateTest | 7 7 | 0 0 | 0 0 | 0.030.03 | 1.0100% | 1.0
|
|||||
FormallyProvedStateTestFormallyProvedStateTest | 6 6 | 0 0 | 0 0 | 0.0539999980.054 | 1.0100% | 1.0
|
|||||
LoadingImportsStateTestLoadingImportsStateTest | 7 7 | 0 0 | 0 0 | 0.0130.013 | 1.0100% | 1.0
|
|||||
LoadingStateTestLoadingStateTest | 6 6 | 0 0 | 0 0 | 0.0250.025 | 1.0100% | 1.0
|
|||||
WellFormedStateTestWellFormedStateTest | 6 6 | 0 0 | 0 0 | 0.0580.058 | 1.0100% | 1.0
|
|||||
|