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-04 06:53:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix: tune config file

Browse Source
This commit is contained in:
Roman 2025-10-27 13:59:00 +08:00
parent ab0aed0bbc
commit f735f68b5b
No known key found for this signature in database
GPG Key ID: 583BDF43C238B83E
2 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
echidna.config.yaml
View File

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

2
test/EchidnaTest.t.sol
View File

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