|
|||||||||||
Class | Tests | Fail | Error | % Tests Success | |||||||
ProofFinderImplTest | 3 3 | 0 0 | 0 0 | 102.294 | 100% |
|
|||||
Tests | Started | Status | Message | ||||||||
ProofFinderImplTest.testFind2ProofFinderImplTest.testFind2 | 139234276292214 Feb 01:52:42 | 1 PASS | 75.33375.333 | ||||||||
ProofFinderImplTest.testFindProofFinderImplTest.testFind | 139234273620114 Feb 01:52:16 | 1 PASS | 26.69626.696 | ||||||||
ProofFinderImplTest.testFind3ProofFinderImplTest.testFind3 | 139234283827614 Feb 01:53:58 | 1 PASS | 0.2650.265 | ||||||||
|