Clover Test Report
Coverage timestamp: Thu Feb 13 2014 22:53:14 UTC
 
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