From f735f68b5b2816f2b01b17612a7d035b4704e2ca Mon Sep 17 00:00:00 2001
From: Roman <zajic@zajic.net>
Date: Mon, 27 Oct 2025 13:59:00 +0800
Subject: [PATCH] fix: tune config file

---
 echidna.config.yaml    | 8 ++++++++
 test/EchidnaTest.t.sol | 2 +-
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/echidna.config.yaml b/echidna.config.yaml
index fa0bf09..eec3e9e 100644
--- a/echidna.config.yaml
+++ b/echidna.config.yaml
@@ -9,3 +9,11 @@ deployContracts:
   - ["0x0000000000000000000000000000000000001001", "LazyIMT"]
 cryticArgs:
   - "--compile-libraries=(PoseidonT3,0x0000000000000000000000000000000000001000),(LazyIMT,0x0000000000000000000000000000000000001001)"
+propMaxGas: 25000000
+testMaxGas: 25000000
+maxTimeDelay: 20000000 # ~231 days in seconds; set high to cover active (180 days / 15552000s) and grace (30 days / 2592000s) periods for expiration races
+sender: ["0x10000", "0x20000", "0x30000", "0x40000"]  # Multiple senders to simulate different users; expand if needed
+balanceAddr: 100000000000000000000
+coverage: true
+quiet: false
+projectName: "WakuRlnV2"
diff --git a/test/EchidnaTest.t.sol b/test/EchidnaTest.t.sol
index be5acad..1bb2414 100644
--- a/test/EchidnaTest.t.sol
+++ b/test/EchidnaTest.t.sol
@@ -6,7 +6,7 @@ import "../src/WakuRlnV2.sol";
 import "./TestStableToken.sol";
 import { ERC1967Proxy } from "@openzeppelin/contracts/proxy/ERC1967/ERC1967Proxy.sol";
 
-// Echidna invariants for WakuRlnV2 multi-user timestamp manipulation races
+// Echidna invariants and assertions for WakuRlnV2 multi-user timestamp manipulation races
 contract EchidnaTest {
     WakuRlnV2 internal w;
     TestStableToken internal token;