aboutsummaryrefslogblamecommitdiffstats
path: root/doc/src/guide/proper.asciidoc
blob: 37fa3d7c060383c3e3909210424d750df83d20b8 (plain) (tree)






























                                                                          
[[proper]]
== PropEr

https://proper-testing.github.io/[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):

[source,bash]
$ make tests

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

[source,bash]
$ make check

You can also run PropEr separately:

[source,bash]
$ make proper

To check properties from a single module:

[source,bash]
$ make proper t=foo_tests

To check a single property:

[source,bash]
$ make proper t=foo_tests:bar