summaryrefslogtreecommitdiffstats
path: root/docs/en/erlang.mk/1/guide/triq.asciidoc
diff options
context:
space:
mode:
Diffstat (limited to 'docs/en/erlang.mk/1/guide/triq.asciidoc')
-rw-r--r--docs/en/erlang.mk/1/guide/triq.asciidoc31
1 files changed, 31 insertions, 0 deletions
diff --git a/docs/en/erlang.mk/1/guide/triq.asciidoc b/docs/en/erlang.mk/1/guide/triq.asciidoc
new file mode 100644
index 00000000..db698600
--- /dev/null
+++ b/docs/en/erlang.mk/1/guide/triq.asciidoc
@@ -0,0 +1,31 @@
+[[triq]]
+== Triq
+
+https://triq.gitlab.io/[Triq] is a QuickCheck-like library for
+property-based testing. Erlang.mk automates discovery and checking of
+Triq properties.
+
+To run all tests (including Triq):
+
+[source,bash]
+$ make tests
+
+To run all tests and static checks (including Triq):
+
+[source,bash]
+$ make check
+
+You can also run Triq separately:
+
+[source,bash]
+$ make triq
+
+To check properties from a single module:
+
+[source,bash]
+$ make triq t=foo_tests
+
+To check a single property:
+
+[source,bash]
+$ make triq t=foo_tests:bar