logos-messaging/logos-messaging-rlnv2-contract
1
0
Fork 0
mirror of https://github.com/logos-messaging/logos-messaging-rlnv2-contract.git synced 2026-01-03 22:43:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix: rename merged Echidna tests

Browse Source
This commit is contained in:
Roman 2025-10-30 16:14:55 +08:00
parent 416f074d5f
commit b06eacdcef
No known key found for this signature in database
GPG Key ID: 583BDF43C238B83E
2 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
test/EchidnaReplay.t.sol → test/EchidnaReplayRaces.t.sol
View File

@ -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 {

2
test/EchidnaTest.t.sol → test/EchidnaTestRaces.t.sol
View File

@ -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);