diff options
Diffstat (limited to 'docs/en/erlang.mk/1/guide/proper.asciidoc')
-rw-r--r-- | docs/en/erlang.mk/1/guide/proper.asciidoc | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/docs/en/erlang.mk/1/guide/proper.asciidoc b/docs/en/erlang.mk/1/guide/proper.asciidoc deleted file mode 100644 index 37fa3d7c..00000000 --- a/docs/en/erlang.mk/1/guide/proper.asciidoc +++ /dev/null @@ -1,31 +0,0 @@ -[[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 |