|
|||||||||||
Class | Tests | Fail | Error | % Tests Success | |||||||
SimpleProofFinderPluginTest | 3 3 | 0 0 | 0 0 | 158.374 | 100% |
|
|||||
Tests | Started | Status | Message | ||||||||
SimpleProofFinderPluginTest.testPluginSimpleProofFinderPluginTest.testPlugin | 139234228304214 Feb 01:44:43 | 1 PASS | 46.24446.244 | ||||||||
SimpleProofFinderPluginTest.testPluginFastSimpleProofFinderPluginTest.testPluginFast | 139234237999114 Feb 01:46:19 | 1 PASS | 61.47861.478 | ||||||||
SimpleProofFinderPluginTest.testPlugin2SimpleProofFinderPluginTest.testPlugin2 | 139234232930214 Feb 01:45:29 | 1 PASS | 50.65250.652 | ||||||||
|