Proposition::call()

Syntax

$proposition->call(callable $hypothesis, $return_values = false);

Run the given $hypothesis function with values generated by whatever you passed into given(). Typically $hypothesis is a function which asserts that some property of the inputs always holds.

If $return_values is true, it also returns an array where $result['arguments'] are the arguments that were passed in and $result['result'] is whatever the $hypothesis function returns.