From b06eacdcefedacedf72da10e15790652d8c7b777 Mon Sep 17 00:00:00 2001
From: Roman <zajic@zajic.net>
Date: Thu, 30 Oct 2025 16:14:55 +0800
Subject: [PATCH] fix: rename merged Echidna tests

---
 ...{EchidnaReplay.t.sol => EchidnaReplayRaces.t.sol} | 12 ++++++------
 test/{EchidnaTest.t.sol => EchidnaTestRaces.t.sol}   |  2 +-
 2 files changed, 7 insertions(+), 7 deletions(-)
 rename test/{EchidnaReplay.t.sol => EchidnaReplayRaces.t.sol} (99%)
 rename test/{EchidnaTest.t.sol => EchidnaTestRaces.t.sol} (99%)

diff --git a/test/EchidnaReplay.t.sol b/test/EchidnaReplayRaces.t.sol
similarity index 99%
rename from test/EchidnaReplay.t.sol
rename to test/EchidnaReplayRaces.t.sol
index 5361628..5480ac7 100644
--- a/test/EchidnaReplay.t.sol
+++ b/test/EchidnaReplayRaces.t.sol
@@ -1,16 +1,16 @@
 pragma solidity 0.8.24;
 
 // Initial test replay generated from Echidna log at https://getrecon.xyz/tools/echidna
-// Assume EchidnaTest.sol is the Echidna harness contract that defines the methods like registerMembership,
+// Assume EchidnaTestRaces.sol is the Echidna harness contract that defines the methods registerMembership,
 // attemptExtensionRace, attemptErasureRace.
-import "./EchidnaTest.t.sol";
-import "forge-std/Test.sol"; // Replace with the actual path to EchidnaTest.sol
+import "./EchidnaTestRaces.t.sol";
+import "forge-std/Test.sol";
 
-contract EchidnaReplay is Test {
-    EchidnaTest internal echidna;
+contract EchidnaReplayRaces is Test {
+    EchidnaTestRaces internal echidna;
 
     function setUp() public {
-        echidna = new EchidnaTest();
+        echidna = new EchidnaTestRaces();
     }
 
     function test_attemptErasureRace_WakuRLN() public {
diff --git a/test/EchidnaTest.t.sol b/test/EchidnaTestRaces.t.sol
similarity index 99%
rename from test/EchidnaTest.t.sol
rename to test/EchidnaTestRaces.t.sol
index 1bb2414..2b1fa34 100644
--- a/test/EchidnaTest.t.sol
+++ b/test/EchidnaTestRaces.t.sol
@@ -7,7 +7,7 @@ import "./TestStableToken.sol";
 import { ERC1967Proxy } from "@openzeppelin/contracts/proxy/ERC1967/ERC1967Proxy.sol";
 
 // Echidna invariants and assertions for WakuRlnV2 multi-user timestamp manipulation races
-contract EchidnaTest {
+contract EchidnaTestRaces {
     WakuRlnV2 internal w;
     TestStableToken internal token;
     address internal tokenOwner = address(this);