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%) |