Clover Test Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
 
Package Tests Fail Error % Pass
org.qedeq.kernel.se.state 39 39 0 0 0 0 0.094 100%
 
Test Classes Tests Fail Error % Pass
AbstractStateTestAbstractStateTest 7 7 0 0 0 0 0.010.01 1.0100% 1.0
DependencyStateTestDependencyStateTest 7 7 0 0 0 0 0.0130.013 1.0100% 1.0
FormallyProvedStateTestFormallyProvedStateTest 6 6 0 0 0 0 0.0160.016 1.0100% 1.0
LoadingImportsStateTestLoadingImportsStateTest 7 7 0 0 0 0 0.0120.012 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.0180000010.018 1.0100% 1.0