Clover Test Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
 
Package Tests Fail Error % Pass
org.qedeq.kernel.bo.service.logic 14 14 0 0 0 0 566.329 100%
 
Test Classes Tests Fail Error % Pass
FormalProofCheckerPluginTestFormalProofCheckerPluginTest 5 5 0 0 0 0 9.88100059.881 1.0100% 1.0
QedeqBoFormalLogicCheckerDirectTestQedeqBoFormalLogicCheckerDirectTest 5 5 0 0 0 0 0.948999940.949 1.0100% 1.0
QedeqBoFormalLogicCheckerTestQedeqBoFormalLogicCheckerTest 1 1 0 0 0 0 1.341.34 1.0100% 1.0
SimpleProofFinderPluginTestSimpleProofFinderPluginTest 3 3 0 0 0 0 554.159554.159 1.0100% 1.0