check/1 | Run QuickCheck. |
check/2 | |
check/3 | Run QuickCheck on a property, specifying a specific example to test. |
conjunction/1 | A Property which succeeds when all of the properties passed in are true. |
counterexample/0 | |
counterexample/1 | |
equals/2 | Returns true when the arguments are equal. |
fails/1 | A Property which succeeds when its argument fails, and fails if the argument succeeds. |
module/1 | Run QuickCheck on all properties in a module. |
module/2 | |
numtests/2 | |
quickcheck/1 | Run QuickCheck. |
quickcheck/2 | |
quickcheck/3 |
check(Module::atom() | property()) -> any()
Run QuickCheck. If argument is an atom, it runs triq:module/1 checking all the properties in said module; otherwise if the argument is a property, it runs QuickCheck on said property.
check(Module, RunIters) -> any()
check(Property::property(), Counterexample::[any()], RunIters::integer()) -> any()
Run QuickCheck on a property, specifying a specific example to test.
The example can be obtained by calling counterexample/0
.
conjunction(Properties::[{atom(), property()}]) -> property()
A Property which succeeds when all of the properties passed in are true. Note, this method short-circuits on the first failure in the list and subsequent properties are not tested.
counterexample() -> any()
counterexample(Prop) -> any()
equals(X::term(), Y::term()) -> boolean()
Returns true when the arguments are equal.
fails(Prop::property()) -> property()
A Property which succeeds when its argument fails, and fails if the argument succeeds. This is very handy for properties that should fail.
module(Module::atom()) -> true | any()
Run QuickCheck on all properties in a module. If all checks succeed, true is returned; otherwise return the result of the first check that fails.
module(Module, RunIters) -> any()
numtests(Num, Prop) -> any()
quickcheck(Target::atom() | property()) -> any()
Run QuickCheck. If argument is an atom, it runs triq:module/1 checking all the properties in said module; otherwise if the argument is a property, it runs QuickCheck on said property.
quickcheck(Target, Params) -> any()
quickcheck(Property, Counterexample, RunIters) -> any()
Generated by EDoc, Jul 19 2017, 13:15:36.