|
|||||||||||
Class | Tests | Fail | Error | % Tests Success | |||||||
SimpleProofFinderPluginTest | 3 3 | 0 0 | 0 0 | 554.159 | 100% |
|
|||||
Tests | Started | Status | Message | ||||||||
SimpleProofFinderPluginTest.testPlugin2SimpleProofFinderPluginTest.testPlugin2 | 139236238395014 Feb 07:19:43 | 1 PASS | 175.436175.436 | ||||||||
SimpleProofFinderPluginTest.testPluginSimpleProofFinderPluginTest.testPlugin | 139236220730114 Feb 07:16:47 | 1 PASS | 176.62176.62 | ||||||||
SimpleProofFinderPluginTest.testPluginFastSimpleProofFinderPluginTest.testPluginFast | 139236255939714 Feb 07:22:39 | 1 PASS | 202.103202.103 | ||||||||
|