Updated manual

diff --git a/README.md b/README.md
index 42985fffc5a9b1b131241b7759a9be625572126d..4a0ab8133ab4392f546673f68e3aad1f61673c9a 100644 (file)
--- 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