- for-all property gen1 gen2 gen3...procedure
Tests a property function with values generated by the generator functions. If the property returns false, testing halts and the offending input values are printed to the screen.
> (for-all even? gen-int) *** Failed! (57)
Here, the test fails because an integer (57) is found, that is not even.
For more examples, see example.scm.