From f6be933162716a41624976a573465f7b49aaf43d Mon Sep 17 00:00:00 2001
From: Loup Vaillant <loup@loup-vaillant.fr>
Date: Sun, 23 Jul 2017 19:59:46 +0200
Subject: [PATCH] Updated manual

---
 README.md | 24 +++++++++++-------------
 1 file changed, 11 insertions(+), 13 deletions(-)

diff --git a/README.md b/README.md
index 42985ff..4a0ab81 100644
--- a/README.md
+++ b/README.md
@@ -32,15 +32,8 @@ before you run them.
 
 To run only the self contained tests, run
 
-    $ make vectors properties
-    $ ./vectors
-    $ ./properties
-
-To run only the edDSA fuzz tests (compares Monocypher with
-[ed25519-donna][donna]), run
-
-    $ make donna
-    $ ./donna
+    $ make self
+    $ ./self
 
 *Do not* use Monocypher without running the self contained tests at
  least once.
@@ -51,12 +44,17 @@ To run only the edDSA fuzz tests (compares Monocypher with
 ### More serious testing
 
 The makefile may be modified to activate sanitising.  Just run the
-previous tests under the various sanitisers.
+previous tests under the various sanitisers.  If you compile for
+coverage mapping, the `coverage.sh` mapping can generate a report.
+Just run one of those (make sure the makefile is set up accordingly):
+
+    $ ./coverage.sh self
+    $ ./coverage.sh donna
+    $ ./coverage.sh sodium
 
-You can also use Valgrind:
+You can also run the tests under Valgrind:
 
-    $ valgrind ./vectors
-    $ valgrind ./properties
+    $ valgrind ./self
     $ valgrind ./donna
     $ valgrind ./sodium
 
-- 
2.47.3