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 14:33:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix: line length

Browse Source
This commit is contained in:
Roman 2025-09-30 11:07:52 +10:00
parent 418e0142d6
commit 7f1a7c4b9b
No known key found for this signature in database
GPG Key ID: 583BDF43C238B83E
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
test/WakuRlnV2.fuzz.t.sol
View File

@ -145,9 +145,10 @@ contract WakuRlnV2Test is Test {
uint32 rateLimit = w.minMembershipRateLimit();
uint256 validId = 1;
_registerMembership(validId, rateLimit);
uint256 uint256Max = type(uint256).max;
// Prevent overflow in block.timestamp + timeDelta
vm.assume(timeDelta <= type(uint256).max - block.timestamp);
vm.assume(timeDelta <= uint256Max - block.timestamp);
// Constrain to invalid scenarios with focus on extreme values
uint256 active = uint256(w.activeDurationForNewMemberships());
@ -158,7 +159,7 @@ contract WakuRlnV2Test is Test {
// Case 2: After expiration (cannot extend expired) - extremes: just after, next, far future
|| (
timeDelta >= active + grace
&& (timeDelta == active + grace || timeDelta == active + grace + 1 || timeDelta == type(uint256).max)
&& (timeDelta == active + grace || timeDelta == active + grace + 1 || timeDelta == uint256Max)
)
// Case 3: Non-holder sender - extremes: zero addr, low, max addr
|| (
@ -168,7 +169,7 @@ contract WakuRlnV2Test is Test {
// Case 4: Invalid/non-existent ID - extremes: zero, near Q, at/over Q, max uint
|| (
invalidId != validId
&& (invalidId == 0 || invalidId == w.Q() - 1 || invalidId == w.Q() || invalidId == type(uint256).max)
&& (invalidId == 0 || invalidId == w.Q() - 1 || invalidId == w.Q() || invalidId == uint256Max)
)
);