chickadee » cluckcheck » for-all

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!

Here, the test fails because an integer (57) is found, that is not even.

For more examples, see example.scm.