From 00d05c97d20be0c7d3d9cd75a0a326344711acd0 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:49:35 +0100
Subject: [PATCH] README.

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

diff --git a/README.md b/README.md
index 8e9038b..c746edb 100644
--- a/README.md
+++ b/README.md
@@ -70,6 +70,9 @@ To set up an `opam` switch that allows testing Sek, type this (only once):
 ```
   make -C fuzz setup
 ```
+The switch that is used for testing is defined in `fuzz/Makefile`;
+by default, at the time of writing, it is `4.11.1+afl`.
+
 You must also install [AFL](https://github.com/google/AFL).
 
 Then, to test the library using `afl-fuzz`, type:
-- 
GitLab