PropCheck.equals
You're seeing just the function
equals
, go back to PropCheck module for more information.
Specs
A custom property that evaluates to true
only if a === b
, else
evaluates to false
and prints "A != B"
on the screen.
Examples
iex> use PropCheck
iex> quickcheck(equals(:ok, :ok))
:true
iex> use PropCheck
iex> quickcheck(
...> forall x <- :ok do
...> equals(:ok, x)
...> end)
:true
iex> use PropCheck
iex> quickcheck(
...> forall x <- :not_ok do
...> equals(:ok, x)
...> end)
:false