| 메소드 | 설명 | |
|---|---|---|
| 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 |
| 리턴 | void | |
