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-08 17:03:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

test: set ActiveDuration

Browse Source
This commit is contained in:
Roman 2025-09-30 13:33:33 +10:00
parent b2d9c59e94
commit 95bff4b4dc
No known key found for this signature in database
GPG Key ID: 583BDF43C238B83E
1 changed files with 53 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -257,4 +257,57 @@ contract WakuRlnV2Test is Test {
vm.stopPrank();
}
// Fuzz Test: Owner Sets Active Duration with Extremes
function testFuzz_SetActiveDuration(uint32 newActiveDur, bool registerBefore) external {
// Prank as owner
address owner = w.owner();
vm.startPrank(owner);
// Optionally register before to test no impact on existing
uint32 minRate = w.minMembershipRateLimit();
uint32 originalActiveDur;
uint256 originalGraceStart;
if (registerBefore && minRate <= w.maxTotalRateLimit()) {
vm.stopPrank();
_registerMembership(1, minRate);
(,, originalGraceStart,,,,,) = w.memberships(1);
(, originalActiveDur,,,,,,) = w.memberships(1);
vm.startPrank(owner);
}
// Fuzz constraints: Extremes (0, 1, max uint32, etc.)
vm.assume(
newActiveDur == 0 || newActiveDur == 1 || newActiveDur == type(uint32).max - 1
|| newActiveDur == type(uint32).max
);
// Expect revert if invalid (==0)
if (newActiveDur == 0) {
vm.expectRevert(); // require >0
w.setActiveDuration(newActiveDur);
} else {
w.setActiveDuration(newActiveDur);
assertEq(w.activeDurationForNewMemberships(), newActiveDur); // Getter matches
}
// Invariant: Existing memberships unaffected (durations immutable)
if (registerBefore) {
(,, uint256 graceStart,,,,,) = w.memberships(1);
assertEq(graceStart, originalGraceStart); // Grace start unchanged
(, uint32 activeDur,,,,,,) = w.memberships(1);
assertEq(activeDur, originalActiveDur); // Existing keeps original duration
}
// Chain: New registration uses new duration, test extremes
vm.stopPrank();
if (newActiveDur > 0 && minRate <= w.maxTotalRateLimit()) {
_registerMembership(2, minRate);
(, uint32 activeDur, uint256 newGraceStart,,,,,) = w.memberships(2);
assertEq(activeDur, newActiveDur); // New uses updated
assertEq(newGraceStart, block.timestamp + uint256(newActiveDur)); // Correct start
}
vm.stopPrank();
}
}