test: setMaxTimeVariation

OffchainLabs · Feb 15, 2024 · ca74d31 · ca74d31
1 parent e89e01b
commit ca74d31
Showing 1 changed file with 45 additions and 0 deletions.
diff --git a/test/foundry/SequencerInbox.t.sol b/test/foundry/SequencerInbox.t.sol
@@ -566,4 +566,49 @@ contract SequencerInboxTest is Test {
             abi.encodeWithSelector(SequencerInbox.postUpgradeInit.selector)
         );
     }
+
+    function testSetMaxTimeVariation(
+        uint256 delayBlocks,
+        uint256 futureBlocks,
+        uint256 delaySeconds,
+        uint256 futureSeconds
+    ) public {
+        vm.assume(delayBlocks <= uint256(type(uint64).max));
+        vm.assume(futureBlocks <= uint256(type(uint64).max));
+        vm.assume(delaySeconds <= uint256(type(uint64).max));
+        vm.assume(futureSeconds <= uint256(type(uint64).max));
+        (SequencerInbox seqInbox, ) = deployRollup(false);
+        vm.prank(rollupOwner);
+        seqInbox.setMaxTimeVariation(
+            ISequencerInbox.MaxTimeVariation({
+                delayBlocks: delayBlocks,
+                futureBlocks: futureBlocks,
+                delaySeconds: delaySeconds,
+                futureSeconds: futureSeconds
+            })
+        );
+    }
+
+    function testSetMaxTimeVariationOverflow(
+        uint256 delayBlocks,
+        uint256 futureBlocks,
+        uint256 delaySeconds,
+        uint256 futureSeconds
+    ) public {
+        vm.assume(delayBlocks > uint256(type(uint64).max));
+        vm.assume(futureBlocks > uint256(type(uint64).max));
+        vm.assume(delaySeconds > uint256(type(uint64).max));
+        vm.assume(futureSeconds > uint256(type(uint64).max));
+        (SequencerInbox seqInbox, ) = deployRollup(false);
+        vm.expectRevert(abi.encodeWithSelector(BadMaxTimeVariation.selector));
+        vm.prank(rollupOwner);
+        seqInbox.setMaxTimeVariation(
+            ISequencerInbox.MaxTimeVariation({
+                delayBlocks: delayBlocks,
+                futureBlocks: futureBlocks,
+                delaySeconds: delaySeconds,
+                futureSeconds: futureSeconds
+            })
+        );
+    }
 }