Module triq

Function Index

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

Function Details

check/1

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/2

check(Module, RunIters) -> any()

check/3

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/1

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/0

counterexample() -> any()

counterexample/1

counterexample(Prop) -> any()

equals/2

equals(X::term(), Y::term()) -> boolean()

Returns true when the arguments are equal.

fails/1

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/1

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/2

module(Module, RunIters) -> any()

numtests/2

numtests(Num, Prop) -> any()

quickcheck/1

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/2

quickcheck(Target, Params) -> any()

quickcheck/3

quickcheck(Property, Counterexample, RunIters) -> any()


Generated by EDoc, Jul 30 2017, 11:36:54.