Clover Test Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
 
Package Tests Fail Error % Pass
org.qedeq.kernel.bo.logic.proof.finder 3 3 0 0 0 0 102.294 100%
 
Test Classes Tests Fail Error % Pass
ProofFinderImplTestProofFinderImplTest 3 3 0 0 0 0 102.294102.294 1.0100% 1.0