From b4c7ad9112974725655e39dc7d2a5591da3a7e8e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Tue, 11 Dec 2018 15:05:14 +0100 Subject: Remove bullet from the website --- docs/en/erlang.mk/1/guide/proper/index.html | 187 ++++++++++++++++++++++++++++ 1 file changed, 187 insertions(+) create mode 100644 docs/en/erlang.mk/1/guide/proper/index.html (limited to 'docs/en/erlang.mk/1/guide/proper') diff --git a/docs/en/erlang.mk/1/guide/proper/index.html b/docs/en/erlang.mk/1/guide/proper/index.html new file mode 100644 index 00000000..2cae324f --- /dev/null +++ b/docs/en/erlang.mk/1/guide/proper/index.html @@ -0,0 +1,187 @@ + + + + + + + + + + Nine Nines: PropEr + + + + + + + + + + + + + + +
+
+
+
+

99s

+
+
+ +
+ +
    +
  • + Github +
    • +
  • + +
    • +
+
+
+
+
+ + +
+ +
+
+
+
+ +

PropEr

+ +

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
+
+ + + + + + + + + + + + + + + + +
+ +
+ + +

+ Erlang.mk + 1 + + User Guide +

+ +
    + + + +
+ +

Navigation

+ +

Version select

+
    + + + +
  • 1
    • + +
+ +
+
+
+
+ + + + + + + + + -- cgit v1.2.3