aboutsummaryrefslogtreecommitdiffstats
path: root/doc/src/guide/proper.asciidoc
blob: 37fa3d7c060383c3e3909210424d750df83d20b8 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
[[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