Eris\Listener::endPropertyVerification PHP Метод

endPropertyVerification() публичный Метод

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
Результат void
    public function endPropertyVerification($ordinaryEvaluations, $iterations, Exception $exception = null);