Commit 3bbce7bd authored by POTTIER Francois's avatar POTTIER Francois
Browse files

README.

parent e3b78cff
......@@ -70,8 +70,8 @@ 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`.
The switch that is used for testing is named in the file
[fuzz/default.switch](https://gitlab.inria.fr/fpottier/sek/-/blob/master/fuzz/default.switch).
You must also install [AFL](https://github.com/google/AFL).
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment