| public endPropertyVerification ( integer $ordinaryEvaluations, integer $iterations, Exception $exception = null ) : void | ||
| $ordinaryEvaluations | integer | the number of inputs effectively evaluated, not filtered out. Does not count evaluations used in shrinking |
| $iterations | integer | the total number of inputs that have been generated |
| $exception | Exception | tells if the test has failed and specifies the exact exception |
| return | void | |
public function endPropertyVerification($ordinaryEvaluations, $iterations, Exception $exception = null);