aboutsummaryrefslogtreecommitdiffstats
path: root/doc/src
diff options
context:
space:
mode:
Diffstat (limited to 'doc/src')
-rw-r--r--doc/src/guide/overview.asciidoc4
1 files changed, 1 insertions, 3 deletions
diff --git a/doc/src/guide/overview.asciidoc b/doc/src/guide/overview.asciidoc
index 3e22790..8fa57fe 100644
--- a/doc/src/guide/overview.asciidoc
+++ b/doc/src/guide/overview.asciidoc
@@ -68,9 +68,7 @@ The xref:shell[make shell] command allows you
to test your project manually. You can automate these
unit tests with xref:eunit[EUnit] and test
your entire system with xref:ct[Common Test].
-xref:property_based_testing[Property based testing]
-with Triq is a strong alternative to writing unit tests
-manually. xref:coverage[Code coverage] can of course
+xref:coverage[Code coverage] can of course
be enabled during tests.
Erlang.mk comes with features to make your life easier when