Method | Description | |
---|---|---|
endPropertyVerification ( integer $ordinaryEvaluations, integer $iterations, Exception $exception = null ) : void | ||
failure ( array $generation, Exception $exception ) : void | ||
newGeneration ( array $generation, integer $iteration ) : void | ||
shrinking ( array $generation ) : void | ||
startPropertyVerification ( ) : void |
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 |