| Overview |  |
| check/1 | Run QuickCheck. |
| counterexample/0 | |
| counterexample/1 | |
| 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. |
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.
counterexample() -> any()
counterexample(Prop) -> any()
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.
Generated by EDoc, May 27 2010, 11:41:57.