From f8c531036768ce22785262b4c94572dbf044dafc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Fri, 7 Jan 2022 10:48:35 +0100
Subject: [PATCH] README.

---
 README.md | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 31e469b..8e9038b 100644
--- a/README.md
+++ b/README.md
@@ -66,8 +66,14 @@ To retrieve and compile the source code, type:
   make
 ```
 
-To test the library using `afl-fuzz`, type:
+To set up an `opam` switch that allows testing Sek, type this (only once):
 ```
-    make test
-    # This command runs forever; interrupt it with Ctrl+C when you wish
+  make -C fuzz setup
+```
+You must also install [AFL](https://github.com/google/AFL).
+
+Then, to test the library using `afl-fuzz`, type:
+```
+  make test
+  # This command runs forever; interrupt it with Ctrl+C when you wish
 ```
-- 
GitLab