Chapter 22. Triq

Triq is a QuickCheck-like library for property-based testing. automates discovery and checking of Triq properties.

To run all tests (including Triq):

$ make tests

To run all tests and static checks (including Triq):

$ make check

You can also run Triq separately:

$ make triq

To check properties from a single module:

$ make triq t=foo_tests

To check a single property:

$ make triq t=foo_tests:bar