From be445fa93eef22b7e4b8716525a8557b0c03ee1f Mon Sep 17 00:00:00 2001 From: John Feras Date: Tue, 28 Nov 2023 14:51:07 -0500 Subject: [PATCH] Added assumes to ensure gov settings being changed to new values --- test/RadworksGovernor.t.sol | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/test/RadworksGovernor.t.sol b/test/RadworksGovernor.t.sol index 2b19c7f..6cf06a9 100644 --- a/test/RadworksGovernor.t.sol +++ b/test/RadworksGovernor.t.sol @@ -403,6 +403,10 @@ abstract contract Propose is ProposalTest { uint256 _newVotingPeriod, uint256 _newProposalThreshold ) public { + vm.assume(_newDelay != governorBravo.votingDelay()); + vm.assume(_newVotingPeriod != governorBravo.votingPeriod()); + vm.assume(_newProposalThreshold != governorBravo.proposalThreshold()); + // The upper bounds are arbitrary here. _newDelay = bound(_newDelay, 0, 50_000); // about a week at 1 block per 12s _newVotingPeriod = bound(_newVotingPeriod, 1, 200_000); // about a month