PropCheck.on_output
You're seeing just the function
on_output
, go back to PropCheck module for more information.
Specs
on_output(outer_test(), output_fun()) :: outer_test()
Specifies an output function print
to be used by PropCheck for all output
printing during the testing of property property
.
This wrapper is equivalent to the on_output
option.