org.qedeq.kernel.bo.service.logic
Loading...
Class Coverage    
FormalProofCheckerPluginTest FormalProofCheckerPluginTest 0.96444446 (96.4%)
QedeqBoFormalLogicCheckerDirectTest QedeqBoFormalLogicCheckerDirectTest 0.93333334 (93.3%)
QedeqBoFormalLogicCheckerTest QedeqBoFormalLogicCheckerTest 0.84615386 (84.6%)
SimpleProofFinderPluginTest SimpleProofFinderPluginTest 0.921875 (92.2%)