PropCheck.counterexample

You're seeing just the function counterexample, go back to PropCheck module for more information.

Specs

counterexample() :: counterexample() | :undefined

Retrieves the last (simplest) counterexample produced by PropCheck during the most recent testing run.

Link to this function

counterexample(outer_test, user_opts \\ [])

View Source

Specs

counterexample(outer_test(), user_opts()) :: long_result()

Equivalent to quickcheck/2, also accepting a list of options.