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

To run all tests (including PropEr):

$ make tests

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

$ make check

You can also run PropEr separately:

$ make proper

To check properties from a single module:

$ make proper t=foo_tests

To check a single property:

$ make proper t=foo_tests:bar