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: formatting

Browse Source
This commit is contained in:
Roman 2025-10-30 13:15:55 +08:00
parent 0f22f3e4fd
commit 184914a0ef
No known key found for this signature in database
GPG Key ID: 583BDF43C238B83E
1 changed files with 11 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -156,21 +156,15 @@ contract WakuRlnV2Test is Test {
vm.assume(
// Case 1: During active (cannot extend) - extremes: start, near/end of active
(timeDelta < active && (timeDelta == 0 || timeDelta == 1 || timeDelta == active - 1))
// Case 2: After expiration (cannot extend expired) - extremes: just after, next, far future
|| (
timeDelta >= active + grace
&& (timeDelta == active + grace || timeDelta == active + grace + 1 || timeDelta == uint256Max)
)
// Case 3: Non-holder sender - extremes: zero addr, low, max addr
|| (
sender != address(this)
&& (sender == address(0) || sender == address(1) || sender == address(type(uint160).max))
)
// 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 == uint256Max)
)
// Case 2: After expiration (cannot extend expired) - extremes: just after, next, far future
|| (timeDelta >= active + grace
&& (timeDelta == active + grace || timeDelta == active + grace + 1 || timeDelta == uint256Max))
// Case 3: Non-holder sender - extremes: zero addr, low, max addr
|| (sender != address(this)
&& (sender == address(0) || sender == address(1) || sender == address(type(uint160).max)))
// 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 == uint256Max))
);
// Warp time if needed
@ -478,8 +472,8 @@ contract WakuRlnV2Test is Test {
vm.assume(
// Valid: 0 <= start <= end < nextFree
(startIndex <= endIndex && endIndex < nextFree)
// Invalid: start > end, or end >= nextFree, or extremes like uint32.max
|| (startIndex > endIndex) || (endIndex >= nextFree) || (startIndex == type(uint32).max)
// Invalid: start > end, or end >= nextFree, or extremes like uint32.max
|| (startIndex > endIndex) || (endIndex >= nextFree) || (startIndex == type(uint32).max)
|| (endIndex == type(uint32).max) || (startIndex == nextFree - 1 && endIndex == nextFree)
);