|
|||||||||||
Package | Tests | Fail | Error | % Pass | |||||||
org.qedeq.kernel.bo.service.logic | 14 14 | 0 0 | 0 0 | 166.208 | 100% |
|
|||||
Test Classes | Tests | Fail | Error | % Pass | |||||||
FormalProofCheckerPluginTestFormalProofCheckerPluginTest | 5 5 | 0 0 | 0 0 | 5.6285.628 | 1.0100% | 1.0
|
|||||
QedeqBoFormalLogicCheckerDirectTestQedeqBoFormalLogicCheckerDirectTest | 5 5 | 0 0 | 0 0 | 0.911999940.912 | 1.0100% | 1.0
|
|||||
QedeqBoFormalLogicCheckerTestQedeqBoFormalLogicCheckerTest | 1 1 | 0 0 | 0 0 | 1.2941.294 | 1.0100% | 1.0
|
|||||
SimpleProofFinderPluginTestSimpleProofFinderPluginTest | 3 3 | 0 0 | 0 0 | 158.374158.374 | 1.0100% | 1.0
|
|||||
|