From 05ef48bf7f10e7d3e7aa214fecd780eb7041ae74 Mon Sep 17 00:00:00 2001
From: Mark Spanbroek <mark@spanbroek.net>
Date: Tue, 30 May 2023 15:43:36 +0200
Subject: [PATCH] [fuzzing] Add suggestions for a long test run

---
 fuzzing/echidna.yaml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/fuzzing/echidna.yaml b/fuzzing/echidna.yaml
index e6141f3..feb64ee 100644
--- a/fuzzing/echidna.yaml
+++ b/fuzzing/echidna.yaml
@@ -3,3 +3,9 @@
 testMode: "assertion"       # check that solidity asserts are never triggered
 allContracts: true          # allow calls to e.g. TestToken in test scenarios
 format: "text"              # disable interactive ui
+
+# For a longer test run, consider these options:
+# timeout: 3600               # limit test run to one hour
+# testLimit: 100000000000     # do not limit the amount of test sequences
+# stopOnFail: true            # stop on first failure
+# workers: 8                  # use more cpu cores