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;