From 6801f2c00970d56a8dee4fbcff78ed095b141c83 Mon Sep 17 00:00:00 2001
From: Mark Spanbroek <mark@spanbroek.net>
Date: Mon, 19 Jun 2023 14:54:31 +0200
Subject: [PATCH] [fuzzing] document `npm run fuzz` in readme

---
 Readme.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Readme.md b/Readme.md
index 74a2aa1..51aaf3a 100644
--- a/Readme.md
+++ b/Readme.md
@@ -14,6 +14,10 @@ To run the tests, execute the following commands:
     npm install
     npm test
 
+You can also run fuzzing tests (using [Echidna][echidna]) on the contracts:
+
+    npm run fuzz
+
 To start a local Ethereum node with the contracts deployed, execute:
 
     npm start
@@ -132,3 +136,4 @@ To Do
 
   * Analysis and optimization of gas usage
 
+[echidna]: https://github.com/crytic/echidna