@layerzerolabs/utils-upgradeable-evm-contracts 0.2.125 → 0.2.127

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (2) hide show
  1. package/.turbo/turbo-test.log +685 -678
  2. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -4,23 +4,23 @@
4
4
 
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
- 📦 Using mini workspace: /tmp/lz-mini-workspace-aLOORg
7
+ 📦 Using scoped workspace: /tmp/lz-scoped-workspace-eFidOV
8
8
  📦 Copied 8 workspace package source(s)
9
- 📦 No mini-workspace pruner configured; using unpruned package-level source copy fallback.
10
- (node:245986) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
9
+ 📦 No scoped-workspace pruner configured; using unpruned package-level source copy fallback.
10
+ (node:194730) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
11
11
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
12
12
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
13
13
  (Use `node --trace-warnings ...` to show where the warning was created)
14
14
  📦 Docker volumes:
15
- -v /tmp/lz-mini-workspace-aLOORg:/workspace
15
+ -v /tmp/lz-scoped-workspace-eFidOV:/workspace
16
16
  -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable
17
17
  -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro
18
18
  $ docker image inspect --format {{.Architecture}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
19
19
  ✅ Using cached Docker image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 (amd64)
20
20
  👤 Running container as UID:GID 1001:1001
21
- $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-mini-workspace-aLOORg:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
21
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-eFidOV:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
22
22
  Compiling 84 files with Solc 0.8.22
23
- Solc 0.8.22 finished in 10.54s
23
+ Solc 0.8.22 finished in 13.27s
24
24
  Compiler run successful with warnings:
25
25
  Warning (2018): Function state mutability can be restricted to view
26
26
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -143,44 +143,6 @@ Warning (2018): Function state mutability can be restricted to view
143
143
  | ^ (Relevant source part starts here and spans across multiple lines).
144
144
 
145
145
 
146
- Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
147
- [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
148
- [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
149
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
150
- [PASS] test_checkpointRateLimits_Single() (gas: 85741)
151
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
152
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
153
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
154
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
155
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
156
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
157
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
158
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
159
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
160
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
161
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
162
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
163
- [PASS] test_inflow_GloballyDisabled() (gas: 52015)
164
- [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
165
- [PASS] test_initial_state_closed() (gas: 2034659)
166
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
167
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
168
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
169
- [PASS] test_outflow_GloballyDisabled() (gas: 52036)
170
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
171
- [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
172
- [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
173
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
174
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
175
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
176
- [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
177
- [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
178
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
179
- [PASS] test_setRateLimitStates_Single() (gas: 49974)
180
- [PASS] test_storageHash() (gas: 3414)
181
- [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
182
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 7.37ms (5.32ms CPU time)
183
-
184
146
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
185
147
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
186
148
  [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
@@ -222,76 +184,120 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
222
184
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
223
185
  [PASS] test_storageHash() (gas: 3392)
224
186
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
225
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 24.21ms (22.41ms CPU time)
187
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 30.02ms (19.42ms CPU time)
188
+
189
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
190
+ [PASS] test_feeDeposit() (gas: 17576)
191
+ [PASS] test_setFeeDeposit() (gas: 24995)
192
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
193
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
194
+ [PASS] test_storageHash() (gas: 3337)
195
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 52.17ms (51.68ms CPU time)
226
196
 
227
197
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
228
198
  [PASS] test_feeDeposit() (gas: 17638)
229
199
  [PASS] test_setFeeDeposit() (gas: 27596)
230
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
200
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24052, ~: 24055)
231
201
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
232
202
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
233
203
  [PASS] test_storageHash() (gas: 3315)
234
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 76.09ms (75.62ms CPU time)
204
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 65.67ms (64.94ms CPU time)
235
205
 
236
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
237
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
238
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
239
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47704, ~: 48966)
240
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
241
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
242
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
243
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
244
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
245
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
246
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
247
- [PASS] test_getFee_Default() (gas: 43108)
248
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45869, ~: 47017)
249
- [PASS] test_getFee_Rounding() (gas: 45449)
250
- [PASS] test_getFee_Specific() (gas: 66985)
251
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
252
- [PASS] test_setDefaultFeeBps() (gas: 42199)
253
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35473, ~: 42268)
254
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
255
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
256
- [PASS] test_setFeeBps() (gas: 77237)
257
- Logs:
258
- Bound result 500
206
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
207
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25570, ~: 12763)
208
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
209
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
210
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
211
+ [PASS] test_isPaused_InitialState() (gas: 15595)
212
+ [PASS] test_pause() (gas: 39592)
213
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27803, ~: 16219)
214
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
215
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
216
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
217
+ [PASS] test_storageHash() (gas: 3414)
218
+ [PASS] test_unpause() (gas: 31115)
219
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40448, ~: 38893)
220
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
221
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
222
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
223
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
224
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
225
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
226
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 161.57ms (213.12ms CPU time)
259
227
 
260
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68956, ~: 77570)
261
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
262
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
263
- [PASS] test_storageHash() (gas: 3436)
264
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 153.17ms (282.68ms CPU time)
228
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
229
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
230
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
231
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
232
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
233
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
234
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
235
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
236
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
237
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
238
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
239
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
240
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
241
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
242
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
243
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
244
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
245
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
246
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
247
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
248
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
249
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
250
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
251
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
252
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
253
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
254
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
255
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
256
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
257
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
258
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
259
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
260
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
261
+ [PASS] test_storageHash() (gas: 3380)
262
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 216.06ms (305.03ms CPU time)
265
263
 
266
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
267
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26739, ~: 12786)
268
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
269
- [PASS] test_assertNotPaused_Success() (gas: 12539)
270
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
271
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
272
- [PASS] test_isPaused_InitialState() (gas: 15629)
273
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
274
- [PASS] test_multipleRoleGrants() (gas: 394130)
275
- [PASS] test_pause() (gas: 42109)
276
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
277
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
278
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 31228, ~: 42378)
279
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
280
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
281
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
282
- [PASS] test_setPaused_Success() (gas: 40691)
283
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
284
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
264
+ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
265
+ [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
266
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
267
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
268
+ [PASS] test_checkpointRateLimits_Single() (gas: 85741)
269
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
270
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
271
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
272
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
273
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
274
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
275
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
276
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
277
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
278
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
279
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
280
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
281
+ [PASS] test_inflow_GloballyDisabled() (gas: 52015)
282
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
283
+ [PASS] test_initial_state_closed() (gas: 2034659)
284
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
285
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
286
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
287
+ [PASS] test_outflow_GloballyDisabled() (gas: 52036)
288
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
289
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
290
+ [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
291
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
292
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
293
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
294
+ [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
295
+ [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
296
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
297
+ [PASS] test_setRateLimitStates_Single() (gas: 49974)
285
298
  [PASS] test_storageHash() (gas: 3414)
286
- [PASS] test_unpause() (gas: 35177)
287
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41725, ~: 44479)
288
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
289
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
290
- [PASS] test_whenNotPaused_Success() (gas: 38800)
291
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
292
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
293
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
294
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 181.94ms (363.68ms CPU time)
299
+ [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
300
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 452.86ms (23.85ms CPU time)
295
301
 
296
302
  Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
297
303
  [PASS] test_SwitchModes_PreservesState() (gas: 195548)
@@ -326,12 +332,12 @@ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTes
326
332
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
327
333
  [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
328
334
  [PASS] test_storageHash() (gas: 3480)
329
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 185.50ms (379.68ms CPU time)
335
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.10s (566.24ms CPU time)
330
336
 
331
337
  Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
332
338
  [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
333
339
  [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
334
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44785, ~: 46317)
340
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44650, ~: 46317)
335
341
  [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
336
342
  [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
337
343
  [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
@@ -340,779 +346,814 @@ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTes
340
346
  [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
341
347
  [PASS] test_getFee_BoundaryConditions() (gas: 71791)
342
348
  [PASS] test_getFee_Default() (gas: 40577)
343
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43165, ~: 44486)
349
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43399, ~: 44486)
344
350
  [PASS] test_getFee_Rounding() (gas: 42835)
345
351
  [PASS] test_getFee_Specific() (gas: 63968)
346
352
  [PASS] test_getFee_SpecificDisabled() (gas: 63920)
347
353
  [PASS] test_setDefaultFeeBps() (gas: 39576)
348
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32788, ~: 39667)
354
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32725, ~: 39667)
349
355
  [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
350
356
  [PASS] test_setFeeBps() (gas: 73871)
351
357
  Logs:
352
358
  Bound result 500
353
359
 
354
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 66249, ~: 74224)
360
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 64905, ~: 74224)
355
361
  [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
356
362
  [PASS] test_storageHash() (gas: 3426)
357
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 705.62ms (273.21ms CPU time)
358
-
359
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
360
- [PASS] test_feeDeposit() (gas: 17576)
361
- [PASS] test_setFeeDeposit() (gas: 24995)
362
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
363
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
364
- [PASS] test_storageHash() (gas: 3337)
365
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 764.95ms (66.65ms CPU time)
363
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.23s (394.06ms CPU time)
366
364
 
367
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
368
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
369
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
370
- [PASS] test_assertNotPaused_Success() (gas: 14934)
371
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
372
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
373
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
374
- [PASS] test_isPaused_Default() (gas: 44698)
375
- [PASS] test_isPaused_InitialState() (gas: 22070)
376
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
377
- [PASS] test_isPaused_Override() (gas: 69381)
378
- [PASS] test_isPaused_Specific() (gas: 46709)
379
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
380
- [PASS] test_pauseConfig() (gas: 45626)
381
- [PASS] test_setDefaultPaused() (gas: 39667)
382
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27417, ~: 16332)
383
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
384
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
385
- [PASS] test_setPaused() (gas: 43060)
386
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
387
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38119, ~: 43373)
388
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
389
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
390
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
391
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58750, ~: 69608)
392
- [PASS] test_storageHash() (gas: 3480)
393
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
394
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
395
- [PASS] test_whenNotPaused_Success() (gas: 41297)
396
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
397
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
398
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
399
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 887.43ms (248.77ms CPU time)
400
-
401
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
402
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25621, ~: 12763)
403
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
404
- [PASS] test_assertNotPaused_Success() (gas: 12516)
405
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
406
- [PASS] test_isPaused_InitialState() (gas: 15595)
407
- [PASS] test_pause() (gas: 39592)
408
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28087, ~: 39861)
409
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
410
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
411
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
365
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
366
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26711, ~: 12786)
367
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
368
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
369
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
370
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
371
+ [PASS] test_isPaused_InitialState() (gas: 15629)
372
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
373
+ [PASS] test_multipleRoleGrants() (gas: 394130)
374
+ [PASS] test_pause() (gas: 42109)
375
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
376
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
377
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30378, ~: 18756)
378
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
379
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
380
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
381
+ [PASS] test_setPaused_Success() (gas: 40691)
382
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
383
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
412
384
  [PASS] test_storageHash() (gas: 3414)
413
- [PASS] test_unpause() (gas: 31115)
414
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40473, ~: 42029)
415
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
416
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
417
- [PASS] test_whenNotPaused_Success() (gas: 38744)
418
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
419
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
420
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
421
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 887.59ms (167.57ms CPU time)
385
+ [PASS] test_unpause() (gas: 35177)
386
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41849, ~: 44479)
387
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
388
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
389
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
390
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
391
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
392
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
393
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.26s (334.11ms CPU time)
422
394
 
423
395
  Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
424
396
  [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
425
397
  [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
426
398
  [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
427
399
  [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
428
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
400
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
429
401
  [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
430
402
  [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
431
403
  [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
432
404
  [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
433
405
  [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
434
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 1.04s (50.45ms CPU time)
406
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 1.32s (131.16ms CPU time)
435
407
 
436
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
408
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
437
409
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
438
410
 
439
411
  ╭-----------------------------------+---------------------+-------+---------+----------╮
440
412
  | Contract | Selector | Calls | Reverts | Discards |
441
413
  +======================================================================================+
442
- | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
414
+ | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
443
415
  |-----------------------------------+---------------------+-------+---------+----------|
444
- | RateLimiterRBACUpgradeableHandler | outflow | 572 | 0 | 0 |
416
+ | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
445
417
  |-----------------------------------+---------------------+-------+---------+----------|
446
- | RateLimiterRBACUpgradeableHandler | setConfig | 567 | 0 | 0 |
418
+ | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
447
419
  |-----------------------------------+---------------------+-------+---------+----------|
448
- | RateLimiterRBACUpgradeableHandler | setState | 556 | 0 | 0 |
420
+ | RateLimiterRBACUpgradeableHandler | setState | 570 | 0 | 0 |
449
421
  |-----------------------------------+---------------------+-------+---------+----------|
450
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 524 | 0 | 0 |
422
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
451
423
  |-----------------------------------+---------------------+-------+---------+----------|
452
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 511 | 0 | 0 |
424
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555 | 0 | 0 |
453
425
  |-----------------------------------+---------------------+-------+---------+----------|
454
- | RateLimiterRBACUpgradeableHandler | warp | 572 | 0 | 0 |
426
+ | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
455
427
  ╰-----------------------------------+---------------------+-------+---------+----------╯
456
428
 
457
429
  Logs:
458
- Bound result 2737072851
459
- Bound result 9921168013376645587909
460
- Bound result 9900000039454507481108
461
- Bound result 7827
462
- Bound result 1767
463
- Bound result 6398
464
- Bound result 421
465
- Bound result 0
466
- Bound result 676
467
- Bound result 104423
468
- Bound result 131
469
- Bound result 13132
470
- Bound result 292486963906
471
- Bound result 100000000000000000000
472
- Bound result 9900006911643058595952
473
- Bound result 6787
474
- Bound result 7356
475
- Bound result 2166
476
- Bound result 9900000003580971812290
477
- Bound result 9274012975262350392371
478
- Bound result 3659
479
- Bound result 6630
430
+ Bound result 9900000000000000000032
431
+ Bound result 6152659741175058141241
432
+ Bound result 13
433
+ Bound result 4996
434
+ Bound result 14
435
+ Bound result 8129
436
+ Bound result 107477463
437
+ Bound result 1
438
+ Bound result 404258970453636923
439
+ Bound result 100000000000000000001
440
+ Bound result 6914264337593535947490
441
+ Bound result 5427
442
+ Bound result 47
480
443
 
481
444
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
482
445
 
483
446
  ╭-----------------------------------+---------------------+-------+---------+----------╮
484
447
  | Contract | Selector | Calls | Reverts | Discards |
485
448
  +======================================================================================+
486
- | RateLimiterRBACUpgradeableHandler | inflow | 590 | 0 | 0 |
449
+ | RateLimiterRBACUpgradeableHandler | inflow | 524 | 0 | 0 |
487
450
  |-----------------------------------+---------------------+-------+---------+----------|
488
- | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
451
+ | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
489
452
  |-----------------------------------+---------------------+-------+---------+----------|
490
- | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
453
+ | RateLimiterRBACUpgradeableHandler | setConfig | 576 | 0 | 0 |
491
454
  |-----------------------------------+---------------------+-------+---------+----------|
492
- | RateLimiterRBACUpgradeableHandler | setState | 552 | 0 | 0 |
455
+ | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
493
456
  |-----------------------------------+---------------------+-------+---------+----------|
494
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 521 | 0 | 0 |
457
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
495
458
  |-----------------------------------+---------------------+-------+---------+----------|
496
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531 | 0 | 0 |
459
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
497
460
  |-----------------------------------+---------------------+-------+---------+----------|
498
- | RateLimiterRBACUpgradeableHandler | warp | 569 | 0 | 0 |
461
+ | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
499
462
  ╰-----------------------------------+---------------------+-------+---------+----------╯
500
463
 
501
464
  Logs:
502
- Bound result 461504862523082157
503
- Bound result 15946137518419411
465
+ Bound result 514264337593543950335
466
+ Bound result 6894
467
+ Bound result 4544891545677033143777
468
+ Bound result 568848131158352220412
469
+ Bound result 10
470
+ Bound result 2039
471
+ Bound result 675
472
+ Bound result 2955255767708481759083
473
+ Bound result 822
504
474
  Bound result 1
505
- Bound result 9900000000000000001819
506
- Bound result 9900000000001958248297
475
+ Bound result 9900000114424054739285
476
+ Bound result 9900000371398045911607
477
+ Bound result 7934
478
+ Bound result 6803
479
+ Bound result 1280
480
+ Bound result 4578
481
+ Bound result 9900000000000000001523
482
+ Bound result 9900000000000000010828
483
+ Bound result 8691
507
484
  Bound result 272
508
- Bound result 371
509
- Bound result 19
510
- Bound result 9900000000000000005417
511
- Bound result 9900000000000000000972
512
- Bound result 5128
485
+ Bound result 1115890507838550736620
486
+ Bound result 100000000000000000002
487
+ Bound result 13
513
488
  Bound result 10
514
- Bound result 1
515
- Bound result 106067
516
- Bound result 9754
517
- Bound result 2944
518
- Bound result 17843920048554369690807
519
- Bound result 51485
520
- Bound result 7028057605394771742380
521
- Bound result 1083
522
- Bound result 9900000000000000000230
523
- Bound result 9900000000000000001254
524
- Bound result 3457
525
- Bound result 5225
526
- Bound result 896191756831
489
+ Bound result 2840615562
527
490
 
528
491
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
529
492
 
530
493
  ╭-----------------------------------+---------------------+-------+---------+----------╮
531
494
  | Contract | Selector | Calls | Reverts | Discards |
532
495
  +======================================================================================+
533
- | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
496
+ | RateLimiterRBACUpgradeableHandler | inflow | 584 | 0 | 0 |
534
497
  |-----------------------------------+---------------------+-------+---------+----------|
535
- | RateLimiterRBACUpgradeableHandler | outflow | 567 | 0 | 0 |
498
+ | RateLimiterRBACUpgradeableHandler | outflow | 518 | 0 | 0 |
536
499
  |-----------------------------------+---------------------+-------+---------+----------|
537
- | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
500
+ | RateLimiterRBACUpgradeableHandler | setConfig | 548 | 0 | 0 |
538
501
  |-----------------------------------+---------------------+-------+---------+----------|
539
- | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
502
+ | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
540
503
  |-----------------------------------+---------------------+-------+---------+----------|
541
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 606 | 0 | 0 |
504
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
542
505
  |-----------------------------------+---------------------+-------+---------+----------|
543
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 505 | 0 | 0 |
506
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
544
507
  |-----------------------------------+---------------------+-------+---------+----------|
545
- | RateLimiterRBACUpgradeableHandler | warp | 515 | 0 | 0 |
508
+ | RateLimiterRBACUpgradeableHandler | warp | 568 | 0 | 0 |
546
509
  ╰-----------------------------------+---------------------+-------+---------+----------╯
547
510
 
548
511
  Logs:
549
- Bound result 5348
550
- Bound result 1110565359847967734423
551
- Bound result 1
552
- Bound result 3991038784321211891862
553
- Bound result 100000000000000000003
554
- Bound result 6241
555
- Bound result 6242
556
- Bound result 10
557
- Bound result 9900000000002072215440
558
- Bound result 9900000000000000001436
559
- Bound result 5462
560
- Bound result 1116
561
- Bound result 1693
562
- Bound result 8080
563
- Bound result 2196095
564
- Bound result 2045
565
512
  Bound result 3
566
- Bound result 399
567
- Bound result 15647004273
568
- Bound result 140
569
- Bound result 8753615734880152571431
570
- Bound result 1894111072364
571
- Bound result 4422
572
- Bound result 5032345011541512
513
+ Bound result 0
514
+ Bound result 1389441246553973382963
515
+ Bound result 0
516
+ Bound result 1755
517
+ Bound result 1
518
+ Bound result 27426211841509
519
+ Bound result 3430771180911250604
520
+ Bound result 413
521
+ Bound result 1381
522
+ Bound result 122
523
+ Bound result 233977173416
524
+ Bound result 145807664072218
525
+ Bound result 633
526
+ Bound result 336855336215
527
+ Bound result 157
528
+ Bound result 2
529
+ Bound result 9900000000000000000438
530
+ Bound result 9900000000000000009114
531
+ Bound result 9895
532
+ Bound result 8728
533
+ Bound result 6914264337520606030117
573
534
 
574
535
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
575
536
 
576
537
  ╭-----------------------------------+---------------------+-------+---------+----------╮
577
538
  | Contract | Selector | Calls | Reverts | Discards |
578
539
  +======================================================================================+
579
- | RateLimiterRBACUpgradeableHandler | inflow | 503 | 0 | 0 |
540
+ | RateLimiterRBACUpgradeableHandler | inflow | 546 | 0 | 0 |
580
541
  |-----------------------------------+---------------------+-------+---------+----------|
581
- | RateLimiterRBACUpgradeableHandler | outflow | 538 | 0 | 0 |
542
+ | RateLimiterRBACUpgradeableHandler | outflow | 529 | 0 | 0 |
582
543
  |-----------------------------------+---------------------+-------+---------+----------|
583
- | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
544
+ | RateLimiterRBACUpgradeableHandler | setConfig | 578 | 0 | 0 |
584
545
  |-----------------------------------+---------------------+-------+---------+----------|
585
- | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
546
+ | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
586
547
  |-----------------------------------+---------------------+-------+---------+----------|
587
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
548
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
588
549
  |-----------------------------------+---------------------+-------+---------+----------|
589
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 594 | 0 | 0 |
550
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560 | 0 | 0 |
590
551
  |-----------------------------------+---------------------+-------+---------+----------|
591
- | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
552
+ | RateLimiterRBACUpgradeableHandler | warp | 542 | 0 | 0 |
592
553
  ╰-----------------------------------+---------------------+-------+---------+----------╯
593
554
 
594
555
  Logs:
595
- Bound result 9900000000001419106464
596
- Bound result 6243993676450896364553
597
- Bound result 8533
598
- Bound result 2020
599
- Bound result 3
600
- Bound result 7266797270789388782787
601
- Bound result 0
602
- Bound result 0
603
- Bound result 147874963
604
- Bound result 109532509002845731997
605
- Bound result 0
606
- Bound result 3117
607
- Bound result 1479
608
- Bound result 18
609
- Bound result 9824381506627207248391
610
- Bound result 1332528444841490176449
556
+ Bound result 623
557
+ Bound result 227525079721
558
+ Bound result 229979982
559
+ Bound result 367
560
+ Bound result 9900000001423649728223
561
+ Bound result 6914264337593535947490
562
+ Bound result 48
563
+ Bound result 35
564
+ Bound result 4205
611
565
  Bound result 1
612
566
  Bound result 1
613
- Bound result 58712980195026680422
567
+ Bound result 6787215556589138999874
568
+ Bound result 67
569
+ Bound result 8978
570
+ Bound result 6839
571
+ Bound result 3023
572
+ Bound result 29
614
573
 
615
574
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
616
575
 
617
576
  ╭-----------------------------------+---------------------+-------+---------+----------╮
618
577
  | Contract | Selector | Calls | Reverts | Discards |
619
578
  +======================================================================================+
620
- | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
579
+ | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
621
580
  |-----------------------------------+---------------------+-------+---------+----------|
622
- | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
581
+ | RateLimiterRBACUpgradeableHandler | outflow | 594 | 0 | 0 |
623
582
  |-----------------------------------+---------------------+-------+---------+----------|
624
- | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
583
+ | RateLimiterRBACUpgradeableHandler | setConfig | 507 | 0 | 0 |
625
584
  |-----------------------------------+---------------------+-------+---------+----------|
626
- | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
585
+ | RateLimiterRBACUpgradeableHandler | setState | 532 | 0 | 0 |
627
586
  |-----------------------------------+---------------------+-------+---------+----------|
628
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 536 | 0 | 0 |
587
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
629
588
  |-----------------------------------+---------------------+-------+---------+----------|
630
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
589
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 569 | 0 | 0 |
631
590
  |-----------------------------------+---------------------+-------+---------+----------|
632
- | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
591
+ | RateLimiterRBACUpgradeableHandler | warp | 566 | 0 | 0 |
633
592
  ╰-----------------------------------+---------------------+-------+---------+----------╯
634
593
 
635
594
  Logs:
636
- Bound result 7
637
- Bound result 5229138879649836463
638
- Bound result 269
639
- Bound result 210
640
- Bound result 514264337593504336252
641
- Bound result 3
642
- Bound result 112
643
- Bound result 181
595
+ Bound result 6304
596
+ Bound result 1998590773695889617350
597
+ Bound result 1
598
+ Bound result 9900000000000000004163
599
+ Bound result 9900000000000000004540
600
+ Bound result 9006
601
+ Bound result 1512
602
+ Bound result 9900044040728595002406
603
+ Bound result 4402051093557965446487
604
+ Bound result 200
605
+ Bound result 3891
606
+ Bound result 245572572
607
+ Bound result 9900000000300929630432
608
+ Bound result 9933212711412282915064
609
+ Bound result 9180
610
+ Bound result 6241
644
611
  Bound result 434
645
- Bound result 1466
646
- Bound result 4350
647
- Bound result 141
648
- Bound result 7152
649
- Bound result 845
650
- Bound result 1116
612
+ Bound result 1734
613
+ Bound result 9900932633413691997719
614
+ Bound result 9900000000000000000005
615
+ Bound result 1791
616
+ Bound result 5674
617
+ Bound result 9011
618
+ Bound result 9900000000000000000053
619
+ Bound result 9900000000064666131788
620
+ Bound result 3230
621
+ Bound result 13
622
+ Bound result 9900000000000000006305
623
+ Bound result 9900000000000000000015
624
+ Bound result 256
625
+ Bound result 8653
651
626
 
652
627
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
653
628
 
654
629
  ╭-----------------------------------+---------------------+-------+---------+----------╮
655
630
  | Contract | Selector | Calls | Reverts | Discards |
656
631
  +======================================================================================+
657
- | RateLimiterRBACUpgradeableHandler | inflow | 576 | 0 | 0 |
632
+ | RateLimiterRBACUpgradeableHandler | inflow | 554 | 0 | 0 |
658
633
  |-----------------------------------+---------------------+-------+---------+----------|
659
- | RateLimiterRBACUpgradeableHandler | outflow | 541 | 0 | 0 |
634
+ | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
660
635
  |-----------------------------------+---------------------+-------+---------+----------|
661
- | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
636
+ | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
662
637
  |-----------------------------------+---------------------+-------+---------+----------|
663
- | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
638
+ | RateLimiterRBACUpgradeableHandler | setState | 570 | 0 | 0 |
664
639
  |-----------------------------------+---------------------+-------+---------+----------|
665
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
640
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 563 | 0 | 0 |
666
641
  |-----------------------------------+---------------------+-------+---------+----------|
667
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 587 | 0 | 0 |
642
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 522 | 0 | 0 |
668
643
  |-----------------------------------+---------------------+-------+---------+----------|
669
- | RateLimiterRBACUpgradeableHandler | warp | 495 | 0 | 0 |
644
+ | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
670
645
  ╰-----------------------------------+---------------------+-------+---------+----------╯
671
646
 
672
647
  Logs:
673
- Bound result 9900000000000000004527
674
- Bound result 9900000000000000008278
675
- Bound result 6159
676
- Bound result 8396
677
- Bound result 15665779226
678
- Bound result 19871826408
648
+ Bound result 9900000000000000077087
649
+ Bound result 9900000000000000047817
650
+ Bound result 13
651
+ Bound result 2374
679
652
  Bound result 1
680
- Bound result 3544
681
- Bound result 114
682
- Bound result 2684
683
- Bound result 17281321223732548075523
684
- Bound result 112
685
- Bound result 15041
686
- Bound result 2155727086884332512
687
- Bound result 16601
688
- Bound result 6842336075578528982603
689
- Bound result 9900000000000000000162
690
- Bound result 2886
691
- Bound result 46
692
- Bound result 3106
693
- Bound result 5380720143083875024494
694
- Bound result 100000000000000000001
695
- Bound result 5881
696
- Bound result 2895
653
+ Bound result 1057382307652627
654
+ Bound result 6914264336976628714907
655
+ Bound result 1029231
656
+ Bound result 1142
657
+ Bound result 28
658
+ Bound result 142
659
+ Bound result 7305001364
660
+ Bound result 9900000000000108785672
661
+ Bound result 9900000000000000040908
662
+ Bound result 11
663
+ Bound result 10
664
+ Bound result 8981377939667852301102
665
+ Bound result 10034783534873699709
666
+ Bound result 19657549925366750633
697
667
 
698
668
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
699
669
 
700
670
  ╭-----------------------------------+---------------------+-------+---------+----------╮
701
671
  | Contract | Selector | Calls | Reverts | Discards |
702
672
  +======================================================================================+
703
- | RateLimiterRBACUpgradeableHandler | inflow | 552 | 0 | 0 |
673
+ | RateLimiterRBACUpgradeableHandler | inflow | 554 | 0 | 0 |
704
674
  |-----------------------------------+---------------------+-------+---------+----------|
705
- | RateLimiterRBACUpgradeableHandler | outflow | 524 | 0 | 0 |
675
+ | RateLimiterRBACUpgradeableHandler | outflow | 511 | 0 | 0 |
706
676
  |-----------------------------------+---------------------+-------+---------+----------|
707
- | RateLimiterRBACUpgradeableHandler | setConfig | 583 | 0 | 0 |
677
+ | RateLimiterRBACUpgradeableHandler | setConfig | 518 | 0 | 0 |
708
678
  |-----------------------------------+---------------------+-------+---------+----------|
709
- | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
679
+ | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
710
680
  |-----------------------------------+---------------------+-------+---------+----------|
711
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 530 | 0 | 0 |
681
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 576 | 0 | 0 |
712
682
  |-----------------------------------+---------------------+-------+---------+----------|
713
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
683
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 592 | 0 | 0 |
714
684
  |-----------------------------------+---------------------+-------+---------+----------|
715
- | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
685
+ | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
716
686
  ╰-----------------------------------+---------------------+-------+---------+----------╯
717
687
 
718
688
  Logs:
719
- Bound result 445919896478717
720
- Bound result 1
721
- Bound result 97
722
- Bound result 9900000000000019376510
723
- Bound result 6914264337593535947490
724
- Bound result 676
725
- Bound result 204
726
- Bound result 44219991378854
727
- Bound result 8
689
+ Bound result 1010746357377180826223
728
690
  Bound result 0
729
- Bound result 10556
730
- Bound result 1046363172
691
+ Bound result 0
692
+ Bound result 1039
693
+ Bound result 3481610262
694
+ Bound result 1343
731
695
  Bound result 1
732
- Bound result 9900000000000000003965
733
- Bound result 9900000000000000003873
734
- Bound result 2465
735
- Bound result 9797
736
- Bound result 36796995403266
737
- Bound result 6400861369123
738
- Bound result 2
696
+ Bound result 254
697
+ Bound result 432341817
698
+ Bound result 1008199224035551650870
699
+ Bound result 790
700
+ Bound result 1630
739
701
 
740
702
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
741
703
 
742
704
  ╭-----------------------------------+---------------------+-------+---------+----------╮
743
705
  | Contract | Selector | Calls | Reverts | Discards |
744
706
  +======================================================================================+
745
- | RateLimiterRBACUpgradeableHandler | inflow | 566 | 0 | 0 |
707
+ | RateLimiterRBACUpgradeableHandler | inflow | 568 | 0 | 0 |
746
708
  |-----------------------------------+---------------------+-------+---------+----------|
747
- | RateLimiterRBACUpgradeableHandler | outflow | 508 | 0 | 0 |
709
+ | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
748
710
  |-----------------------------------+---------------------+-------+---------+----------|
749
- | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
711
+ | RateLimiterRBACUpgradeableHandler | setConfig | 568 | 0 | 0 |
750
712
  |-----------------------------------+---------------------+-------+---------+----------|
751
- | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
713
+ | RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
752
714
  |-----------------------------------+---------------------+-------+---------+----------|
753
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
715
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 527 | 0 | 0 |
754
716
  |-----------------------------------+---------------------+-------+---------+----------|
755
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 561 | 0 | 0 |
717
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
756
718
  |-----------------------------------+---------------------+-------+---------+----------|
757
- | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
719
+ | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
758
720
  ╰-----------------------------------+---------------------+-------+---------+----------╯
759
721
 
760
722
  Logs:
761
- Bound result 31227765975
762
- Bound result 9920345298608421101075
763
- Bound result 9900000000000000143206
764
- Bound result 8425
765
- Bound result 10000
766
- Bound result 785
767
- Bound result 721
768
- Bound result 68860210784
769
- Bound result 783
770
- Bound result 5997
771
- Bound result 12714971554426034620419
772
- Bound result 525
773
- Bound result 951695428138804
774
- Bound result 734527091937859562896
775
- Bound result 9943930332132068322041
776
- Bound result 10
777
- Bound result 5990
778
- Bound result 1650
779
- Bound result 9900000000000089394132
780
- Bound result 4040567702095230916176
781
- Bound result 11
782
- Bound result 8110
783
- Bound result 46
784
- Bound result 161
785
- Bound result 2
786
- Bound result 930
723
+ Bound result 320
724
+ Bound result 2693
725
+ Bound result 10284
726
+ Bound result 1
727
+ Bound result 9266
728
+ Bound result 4805
729
+ Bound result 0
730
+ Bound result 23111
731
+ Bound result 584
732
+ Bound result 108
733
+ Bound result 4866
734
+ Bound result 1765462939343134762540
735
+ Bound result 0
736
+ Bound result 1608
737
+ Bound result 514
738
+ Bound result 6914264337593535947490
739
+ Bound result 100000000000000000000
740
+ Bound result 4250
741
+ Bound result 1048
742
+ Bound result 8469
743
+ Bound result 32759414927337791
744
+ Bound result 9900000000000000002595
745
+ Bound result 9900000000000000010674
746
+ Bound result 8469
747
+ Bound result 5054
787
748
 
788
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.04s (6.38s CPU time)
749
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.32s (9.17s CPU time)
789
750
 
790
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
751
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
791
752
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
792
753
 
793
754
  ╭-----------------------------------+---------------------+-------+---------+----------╮
794
755
  | Contract | Selector | Calls | Reverts | Discards |
795
756
  +======================================================================================+
796
- | RateLimiterRBACUpgradeableHandler | inflow | 559 | 0 | 0 |
757
+ | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
797
758
  |-----------------------------------+---------------------+-------+---------+----------|
798
- | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
759
+ | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
799
760
  |-----------------------------------+---------------------+-------+---------+----------|
800
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
761
+ | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
801
762
  |-----------------------------------+---------------------+-------+---------+----------|
802
- | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
763
+ | RateLimiterRBACUpgradeableHandler | setState | 546 | 0 | 0 |
803
764
  |-----------------------------------+---------------------+-------+---------+----------|
804
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
765
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
805
766
  |-----------------------------------+---------------------+-------+---------+----------|
806
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
767
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 534 | 0 | 0 |
807
768
  |-----------------------------------+---------------------+-------+---------+----------|
808
- | RateLimiterRBACUpgradeableHandler | warp | 582 | 0 | 0 |
769
+ | RateLimiterRBACUpgradeableHandler | warp | 574 | 0 | 0 |
809
770
  ╰-----------------------------------+---------------------+-------+---------+----------╯
810
771
 
811
772
  Logs:
812
- Bound result 9900000000000000004101
813
- Bound result 9900000000000000008226
814
- Bound result 3574
815
- Bound result 4099
816
- Bound result 4319
817
- Bound result 2911986125
818
- Bound result 40334637058310792
819
- Bound result 110645360849015
820
- Bound result 5
821
- Bound result 287
822
- Bound result 816
823
- Bound result 1199
824
- Bound result 29008
825
- Bound result 9900000000000000481888
826
- Bound result 9900000000000000270435
827
- Bound result 6336
828
- Bound result 6242
773
+ Bound result 1305
774
+ Bound result 21
775
+ Bound result 237663629453057115007
776
+ Bound result 9900000000000000000015
777
+ Bound result 11
778
+ Bound result 672
779
+ Bound result 12333789036046909392257
780
+ Bound result 9930254625417718506833
781
+ Bound result 6914264337593535947490
782
+ Bound result 119
783
+ Bound result 8322
784
+ Bound result 3870795448652971760604
785
+ Bound result 6627141453074797942157
786
+ Bound result 2718
787
+ Bound result 5971
788
+ Bound result 3756
789
+ Bound result 7449
790
+ Bound result 1490
829
791
  Bound result 1
830
- Bound result 2719481311
831
- Bound result 9909440978003152445256
832
- Bound result 9900000000028634117710
833
- Bound result 13
834
- Bound result 9996
835
- Bound result 14236
792
+ Bound result 9716
793
+ Bound result 6
794
+ Bound result 59667498753718
795
+ Bound result 9599994547351733029933
796
+ Bound result 2756
836
797
 
837
798
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
838
799
 
839
800
  ╭-----------------------------------+---------------------+-------+---------+----------╮
840
801
  | Contract | Selector | Calls | Reverts | Discards |
841
802
  +======================================================================================+
842
- | RateLimiterRBACUpgradeableHandler | inflow | 565 | 0 | 0 |
803
+ | RateLimiterRBACUpgradeableHandler | inflow | 590 | 0 | 0 |
843
804
  |-----------------------------------+---------------------+-------+---------+----------|
844
- | RateLimiterRBACUpgradeableHandler | outflow | 551 | 0 | 0 |
805
+ | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
845
806
  |-----------------------------------+---------------------+-------+---------+----------|
846
- | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
807
+ | RateLimiterRBACUpgradeableHandler | setConfig | 514 | 0 | 0 |
847
808
  |-----------------------------------+---------------------+-------+---------+----------|
848
- | RateLimiterRBACUpgradeableHandler | setState | 524 | 0 | 0 |
809
+ | RateLimiterRBACUpgradeableHandler | setState | 552 | 0 | 0 |
849
810
  |-----------------------------------+---------------------+-------+---------+----------|
850
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 561 | 0 | 0 |
811
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
851
812
  |-----------------------------------+---------------------+-------+---------+----------|
852
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555 | 0 | 0 |
813
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
853
814
  |-----------------------------------+---------------------+-------+---------+----------|
854
- | RateLimiterRBACUpgradeableHandler | warp | 526 | 0 | 0 |
815
+ | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
855
816
  ╰-----------------------------------+---------------------+-------+---------+----------╯
856
817
 
857
818
  Logs:
858
- Bound result 223782
859
- Bound result 3492683907
860
- Bound result 537573472170
861
- Bound result 3737
862
- Bound result 8393
863
819
  Bound result 1
864
- Bound result 1719639409
865
- Bound result 556
866
- Bound result 9900010075905315636989
867
- Bound result 9900000000000000078921
868
- Bound result 11
869
- Bound result 9997
870
- Bound result 9900000000000000009944
871
- Bound result 9900000000000000003173
872
- Bound result 9600
873
- Bound result 380
820
+ Bound result 1244690616707179053312
821
+ Bound result 260
822
+ Bound result 385986455563593734921
823
+ Bound result 1884151778216211042642
824
+ Bound result 190
825
+ Bound result 116776594293
826
+ Bound result 74221776
827
+ Bound result 157
828
+ Bound result 654792306
829
+ Bound result 9900000000000000002518
830
+ Bound result 9900000000000000005130
831
+ Bound result 2052
832
+ Bound result 9696
874
833
 
875
834
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
876
835
 
877
836
  ╭-----------------------------------+---------------------+-------+---------+----------╮
878
837
  | Contract | Selector | Calls | Reverts | Discards |
879
838
  +======================================================================================+
880
- | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
839
+ | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
881
840
  |-----------------------------------+---------------------+-------+---------+----------|
882
- | RateLimiterRBACUpgradeableHandler | outflow | 529 | 0 | 0 |
841
+ | RateLimiterRBACUpgradeableHandler | outflow | 500 | 0 | 0 |
883
842
  |-----------------------------------+---------------------+-------+---------+----------|
884
- | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
843
+ | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
885
844
  |-----------------------------------+---------------------+-------+---------+----------|
886
- | RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
845
+ | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
887
846
  |-----------------------------------+---------------------+-------+---------+----------|
888
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 560 | 0 | 0 |
847
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
889
848
  |-----------------------------------+---------------------+-------+---------+----------|
890
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555 | 0 | 0 |
849
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
891
850
  |-----------------------------------+---------------------+-------+---------+----------|
892
- | RateLimiterRBACUpgradeableHandler | warp | 562 | 0 | 0 |
851
+ | RateLimiterRBACUpgradeableHandler | warp | 581 | 0 | 0 |
893
852
  ╰-----------------------------------+---------------------+-------+---------+----------╯
894
853
 
895
854
  Logs:
896
- Bound result 14337694
897
- Bound result 629261956
855
+ Bound result 828
856
+ Bound result 2063
857
+ Bound result 285905
858
+ Bound result 140
859
+ Bound result 1850
860
+ Bound result 336
861
+ Bound result 9336615002315287902059
862
+ Bound result 9901043485305775998109
863
+ Bound result 3198
864
+ Bound result 9997
865
+ Bound result 1360
866
+ Bound result 3747346255643297
898
867
  Bound result 0
899
- Bound result 60762
900
- Bound result 6
901
- Bound result 9900000000021397458803
902
- Bound result 9900000000014576304434
903
- Bound result 5651
904
- Bound result 7933
905
- Bound result 1
906
- Bound result 3041954474
907
- Bound result 1031
908
- Bound result 3
909
- Bound result 12349
910
- Bound result 50
911
- Bound result 204020671546976252
912
- Bound result 3528
913
868
 
914
869
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
915
870
 
916
871
  ╭-----------------------------------+---------------------+-------+---------+----------╮
917
872
  | Contract | Selector | Calls | Reverts | Discards |
918
873
  +======================================================================================+
919
- | RateLimiterRBACUpgradeableHandler | inflow | 573 | 0 | 0 |
874
+ | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
920
875
  |-----------------------------------+---------------------+-------+---------+----------|
921
- | RateLimiterRBACUpgradeableHandler | outflow | 536 | 0 | 0 |
876
+ | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
922
877
  |-----------------------------------+---------------------+-------+---------+----------|
923
- | RateLimiterRBACUpgradeableHandler | setConfig | 589 | 0 | 0 |
878
+ | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
924
879
  |-----------------------------------+---------------------+-------+---------+----------|
925
- | RateLimiterRBACUpgradeableHandler | setState | 513 | 0 | 0 |
880
+ | RateLimiterRBACUpgradeableHandler | setState | 570 | 0 | 0 |
926
881
  |-----------------------------------+---------------------+-------+---------+----------|
927
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
882
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 566 | 0 | 0 |
928
883
  |-----------------------------------+---------------------+-------+---------+----------|
929
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
884
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
930
885
  |-----------------------------------+---------------------+-------+---------+----------|
931
- | RateLimiterRBACUpgradeableHandler | warp | 518 | 0 | 0 |
886
+ | RateLimiterRBACUpgradeableHandler | warp | 515 | 0 | 0 |
932
887
  ╰-----------------------------------+---------------------+-------+---------+----------╯
933
888
 
934
889
  Logs:
935
- Bound result 9900000000000000009804
936
- Bound result 9900000000000000000129
937
- Bound result 2096
938
- Bound result 2316
939
- Bound result 2597674729985069590154
940
- Bound result 5326779817655146541881
941
- Bound result 2349
942
- Bound result 10
943
- Bound result 9900000000016343637055
944
- Bound result 9900000093012066647356
945
- Bound result 369
946
- Bound result 5376
947
- Bound result 1614
948
- Bound result 6556879863488492886295
949
- Bound result 6169903278097150869869
950
- Bound result 9900000000000000211648
951
- Bound result 9900000000000001896769
952
- Bound result 3946
953
- Bound result 9996
954
- Bound result 3704357901601
890
+ Bound result 145
891
+ Bound result 539648964138461371447
892
+ Bound result 9900000000000000008977
893
+ Bound result 101
894
+ Bound result 223
895
+ Bound result 873581630290373082058
896
+ Bound result 10336
897
+ Bound result 16777215
898
+ Bound result 22625036
899
+ Bound result 176775437041955647453
900
+ Bound result 3028
901
+ Bound result 80
902
+ Bound result 9591
903
+ Bound result 6864
904
+ Bound result 79
905
+ Bound result 15278497213861557791594
906
+ Bound result 437
907
+ Bound result 27
955
908
 
956
909
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
957
910
 
958
911
  ╭-----------------------------------+---------------------+-------+---------+----------╮
959
912
  | Contract | Selector | Calls | Reverts | Discards |
960
913
  +======================================================================================+
961
- | RateLimiterRBACUpgradeableHandler | inflow | 585 | 0 | 0 |
914
+ | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
962
915
  |-----------------------------------+---------------------+-------+---------+----------|
963
- | RateLimiterRBACUpgradeableHandler | outflow | 503 | 0 | 0 |
916
+ | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
964
917
  |-----------------------------------+---------------------+-------+---------+----------|
965
- | RateLimiterRBACUpgradeableHandler | setConfig | 576 | 0 | 0 |
918
+ | RateLimiterRBACUpgradeableHandler | setConfig | 571 | 0 | 0 |
966
919
  |-----------------------------------+---------------------+-------+---------+----------|
967
- | RateLimiterRBACUpgradeableHandler | setState | 565 | 0 | 0 |
920
+ | RateLimiterRBACUpgradeableHandler | setState | 531 | 0 | 0 |
968
921
  |-----------------------------------+---------------------+-------+---------+----------|
969
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
922
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
970
923
  |-----------------------------------+---------------------+-------+---------+----------|
971
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
924
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 511 | 0 | 0 |
972
925
  |-----------------------------------+---------------------+-------+---------+----------|
973
- | RateLimiterRBACUpgradeableHandler | warp | 525 | 0 | 0 |
926
+ | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
974
927
  ╰-----------------------------------+---------------------+-------+---------+----------╯
975
928
 
976
929
  Logs:
977
- Bound result 1396924891922642026531
978
- Bound result 25928586142707913
979
- Bound result 104963889404694055978
980
- Bound result 909877338765283127005
981
- Bound result 2096
982
- Bound result 946
983
- Bound result 70608399335006889489
984
- Bound result 7074
930
+ Bound result 336
931
+ Bound result 1064
985
932
  Bound result 0
986
- Bound result 392687565565490
987
- Bound result 4895
933
+ Bound result 1935458550772293153522
934
+ Bound result 9900000000000000000029
935
+ Bound result 1190
936
+ Bound result 5443
937
+ Bound result 4641273283
938
+ Bound result 24404545
939
+ Bound result 9900000000002159037159
940
+ Bound result 9900000000000000003961
941
+ Bound result 7099
942
+ Bound result 8427
943
+ Bound result 501
944
+ Bound result 198898780
945
+ Bound result 37
946
+ Bound result 1327428230
947
+ Bound result 907
948
+ Bound result 8622710622442200689422
949
+ Bound result 47721
950
+ Bound result 176
951
+ Bound result 8319718253449922920495
952
+ Bound result 9900000000000000000013
953
+ Bound result 11
954
+ Bound result 911
988
955
 
989
956
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
990
957
 
991
958
  ╭-----------------------------------+---------------------+-------+---------+----------╮
992
959
  | Contract | Selector | Calls | Reverts | Discards |
993
960
  +======================================================================================+
994
- | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
961
+ | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
995
962
  |-----------------------------------+---------------------+-------+---------+----------|
996
- | RateLimiterRBACUpgradeableHandler | outflow | 519 | 0 | 0 |
963
+ | RateLimiterRBACUpgradeableHandler | outflow | 576 | 0 | 0 |
997
964
  |-----------------------------------+---------------------+-------+---------+----------|
998
- | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
965
+ | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
999
966
  |-----------------------------------+---------------------+-------+---------+----------|
1000
- | RateLimiterRBACUpgradeableHandler | setState | 552 | 0 | 0 |
967
+ | RateLimiterRBACUpgradeableHandler | setState | 548 | 0 | 0 |
1001
968
  |-----------------------------------+---------------------+-------+---------+----------|
1002
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 570 | 0 | 0 |
969
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
1003
970
  |-----------------------------------+---------------------+-------+---------+----------|
1004
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
971
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
1005
972
  |-----------------------------------+---------------------+-------+---------+----------|
1006
- | RateLimiterRBACUpgradeableHandler | warp | 562 | 0 | 0 |
973
+ | RateLimiterRBACUpgradeableHandler | warp | 524 | 0 | 0 |
1007
974
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1008
975
 
1009
976
  Logs:
1010
- Bound result 9842
1011
- Bound result 10221
1012
- Bound result 0
1013
- Bound result 521692963
1014
- Bound result 2843945288
1015
- Bound result 9900000000000022685912
1016
- Bound result 9900000000000000000024
1017
- Bound result 10
1018
- Bound result 848
1019
- Bound result 7219
1020
- Bound result 10
1021
- Bound result 9900000000000000006683
1022
- Bound result 9900000000000000008628
1023
- Bound result 5744
1024
- Bound result 935
1025
- Bound result 9900000000001958248297
1026
- Bound result 9900000000000000000337
1027
- Bound result 96
1028
- Bound result 8356
1029
- Bound result 8858068466262544068970
1030
- Bound result 9671665258571990758812
1031
- Bound result 9918
1032
- Bound result 47
1033
- Bound result 2648
1034
- Bound result 9450
1035
- Bound result 9296
1036
- Bound result 21
1037
- Bound result 9900000000000000000619
1038
- Bound result 6056269416823956856169
977
+ Bound result 69028217865647149602
978
+ Bound result 9900000000000000001521
979
+ Bound result 9900000000000000005196
980
+ Bound result 6977
981
+ Bound result 6102
982
+ Bound result 9900000231335903090109
983
+ Bound result 9900000000000005986076
984
+ Bound result 215
985
+ Bound result 45
986
+ Bound result 9900000003410744795189
987
+ Bound result 9900000000000000024787
988
+ Bound result 996
989
+ Bound result 11
990
+ Bound result 100000000000000000000
991
+ Bound result 9900000000000000006091
1039
992
  Bound result 10
1040
- Bound result 6510
993
+ Bound result 3306
994
+ Bound result 7998996683297473029517
995
+ Bound result 100
996
+ Bound result 5415
997
+ Bound result 4003959
998
+ Bound result 120129102796936542916
999
+ Bound result 91657999552789
1000
+ Bound result 1123
1001
+ Bound result 178525300312251757242
1002
+ Bound result 80856004115353498899
1003
+ Bound result 2165
1004
+ Bound result 350726088
1041
1005
 
1042
1006
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1043
1007
 
1044
1008
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1045
1009
  | Contract | Selector | Calls | Reverts | Discards |
1046
1010
  +======================================================================================+
1047
- | RateLimiterRBACUpgradeableHandler | inflow | 548 | 0 | 0 |
1011
+ | RateLimiterRBACUpgradeableHandler | inflow | 509 | 0 | 0 |
1048
1012
  |-----------------------------------+---------------------+-------+---------+----------|
1049
- | RateLimiterRBACUpgradeableHandler | outflow | 571 | 0 | 0 |
1013
+ | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
1050
1014
  |-----------------------------------+---------------------+-------+---------+----------|
1051
- | RateLimiterRBACUpgradeableHandler | setConfig | 522 | 0 | 0 |
1015
+ | RateLimiterRBACUpgradeableHandler | setConfig | 569 | 0 | 0 |
1052
1016
  |-----------------------------------+---------------------+-------+---------+----------|
1053
- | RateLimiterRBACUpgradeableHandler | setState | 570 | 0 | 0 |
1017
+ | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
1054
1018
  |-----------------------------------+---------------------+-------+---------+----------|
1055
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
1019
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
1056
1020
  |-----------------------------------+---------------------+-------+---------+----------|
1057
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
1021
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
1058
1022
  |-----------------------------------+---------------------+-------+---------+----------|
1059
- | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
1023
+ | RateLimiterRBACUpgradeableHandler | warp | 560 | 0 | 0 |
1060
1024
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1061
1025
 
1062
1026
  Logs:
1063
- Bound result 712238
1064
- Bound result 1416
1065
- Bound result 417
1066
- Bound result 5223
1067
- Bound result 1715
1068
- Bound result 416
1069
- Bound result 1267651394147460660106
1070
- Bound result 6224705
1071
- Bound result 287046194012648644072
1072
- Bound result 757
1073
- Bound result 7512
1027
+ Bound result 2590
1028
+ Bound result 6653
1029
+ Bound result 0
1030
+ Bound result 403
1031
+ Bound result 514264337593543950333
1032
+ Bound result 125836960269621082411
1033
+ Bound result 61
1034
+ Bound result 1
1035
+ Bound result 1116
1036
+ Bound result 47651659
1037
+ Bound result 100000000000000000000
1038
+ Bound result 596493861614256768193
1039
+ Bound result 3774
1040
+ Bound result 28
1041
+ Bound result 1027
1042
+ Bound result 9900000000000000002115
1043
+ Bound result 9900000000000000001241
1044
+ Bound result 6025
1045
+ Bound result 4082
1046
+ Bound result 390149965635604798
1047
+ Bound result 5031
1074
1048
 
1075
1049
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1076
1050
 
1077
1051
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1078
1052
  | Contract | Selector | Calls | Reverts | Discards |
1079
1053
  +======================================================================================+
1080
- | RateLimiterRBACUpgradeableHandler | inflow | 514 | 0 | 0 |
1054
+ | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
1081
1055
  |-----------------------------------+---------------------+-------+---------+----------|
1082
- | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
1056
+ | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
1083
1057
  |-----------------------------------+---------------------+-------+---------+----------|
1084
- | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
1058
+ | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
1085
1059
  |-----------------------------------+---------------------+-------+---------+----------|
1086
- | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
1060
+ | RateLimiterRBACUpgradeableHandler | setState | 516 | 0 | 0 |
1087
1061
  |-----------------------------------+---------------------+-------+---------+----------|
1088
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
1062
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
1089
1063
  |-----------------------------------+---------------------+-------+---------+----------|
1090
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 593 | 0 | 0 |
1064
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 574 | 0 | 0 |
1091
1065
  |-----------------------------------+---------------------+-------+---------+----------|
1092
- | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
1066
+ | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
1093
1067
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1094
1068
 
1095
1069
  Logs:
1096
- Bound result 771
1097
- Bound result 100000000000000000000
1098
- Bound result 9900000000000479635336
1099
- Bound result 9264364745917804602016
1100
- Bound result 105
1101
- Bound result 8385
1102
- Bound result 100000000000000000003
1103
- Bound result 9900000000000000000013
1104
- Bound result 112
1105
- Bound result 12
1106
- Bound result 2048949560553571797094
1107
- Bound result 9900000000000001385028
1108
- Bound result 446
1109
- Bound result 7969
1110
- Bound result 9900000000000000001498
1111
- Bound result 9900000000000000001984
1112
- Bound result 8401
1113
- Bound result 9941
1114
-
1115
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.05s (6.64s CPU time)
1070
+ Bound result 1190
1071
+ Bound result 1347
1072
+ Bound result 0
1073
+ Bound result 50255129522681696
1074
+ Bound result 122201887400905807765
1075
+ Bound result 1
1076
+ Bound result 9900000000000004594639
1077
+ Bound result 9900000000000105151832
1078
+ Bound result 9999
1079
+ Bound result 1134
1080
+ Bound result 11965
1081
+ Bound result 8191
1082
+ Bound result 7955
1083
+ Bound result 43290471417791769608
1084
+ Bound result 2143429568278243181300
1085
+ Bound result 573393
1086
+ Bound result 6101
1087
+ Bound result 1
1088
+ Bound result 2743
1089
+ Bound result 117741555285123255472
1090
+ Bound result 9900016306462221436764
1091
+ Bound result 3987
1092
+ Bound result 6241
1093
+
1094
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.32s (8.82s CPU time)
1095
+
1096
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1097
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1098
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1099
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47552, ~: 48966)
1100
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1101
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1102
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1103
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1104
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1105
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1106
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1107
+ [PASS] test_getFee_Default() (gas: 43108)
1108
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45807, ~: 47017)
1109
+ [PASS] test_getFee_Rounding() (gas: 45449)
1110
+ [PASS] test_getFee_Specific() (gas: 66985)
1111
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1112
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
1113
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34905, ~: 42268)
1114
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1115
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1116
+ [PASS] test_setFeeBps() (gas: 77237)
1117
+ Logs:
1118
+ Bound result 500
1119
+
1120
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69569, ~: 77570)
1121
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1122
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1123
+ [PASS] test_storageHash() (gas: 3436)
1124
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 10.52s (639.54ms CPU time)
1125
+
1126
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1127
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1128
+ [PASS] test_constructor_InitialMode() (gas: 15578)
1129
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1130
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1131
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1132
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1133
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1134
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1135
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1136
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1137
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1138
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1139
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1140
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1141
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1142
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1143
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1144
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1145
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1146
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1147
+ [PASS] test_setMode_Blacklist() (gas: 40021)
1148
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
1149
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
1150
+ [PASS] test_setMode_Whitelist() (gas: 40108)
1151
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1152
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1153
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1154
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1155
+ [PASS] test_storageHash() (gas: 3458)
1156
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 10.52s (436.58ms CPU time)
1116
1157
 
1117
1158
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1118
1159
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -1130,7 +1171,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
1130
1171
  [PASS] test_pauseConfig() (gas: 51028)
1131
1172
  [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
1132
1173
  [PASS] test_setDefaultPaused() (gas: 42196)
1133
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30659, ~: 42446)
1174
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30069, ~: 18826)
1134
1175
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
1135
1176
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
1136
1177
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
@@ -1139,8 +1180,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
1139
1180
  [PASS] test_setPaused_DormantData() (gas: 295234)
1140
1181
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
1141
1182
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
1142
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43767, ~: 48696)
1143
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222594, ~: 216804)
1183
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43684, ~: 48533)
1184
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 224529, ~: 219722)
1144
1185
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
1145
1186
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
1146
1187
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
@@ -1154,7 +1195,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
1154
1195
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
1155
1196
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
1156
1197
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
1157
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62493, ~: 73465)
1198
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62849, ~: 73465)
1158
1199
  [PASS] test_storageHash() (gas: 3392)
1159
1200
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
1160
1201
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -1162,80 +1203,12 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
1162
1203
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
1163
1204
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
1164
1205
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
1165
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 6.85s (445.36ms CPU time)
1166
-
1167
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1168
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1169
- [PASS] test_constructor_InitialMode() (gas: 15578)
1170
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1171
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1172
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1173
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110068, ~: 110088)
1174
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1175
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1176
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1177
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1178
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1179
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1180
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1181
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1182
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1183
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1184
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1185
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1186
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1187
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1188
- [PASS] test_setMode_Blacklist() (gas: 40021)
1189
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
1190
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
1191
- [PASS] test_setMode_Whitelist() (gas: 40108)
1192
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1193
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1194
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1195
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1196
- [PASS] test_storageHash() (gas: 3458)
1197
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 6.85s (284.89ms CPU time)
1198
-
1199
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1200
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
1201
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104265, ~: 104248)
1202
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
1203
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
1204
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
1205
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
1206
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
1207
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
1208
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
1209
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
1210
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
1211
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
1212
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
1213
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
1214
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
1215
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
1216
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
1217
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
1218
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
1219
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
1220
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
1221
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
1222
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
1223
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
1224
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
1225
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
1226
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
1227
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
1228
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
1229
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
1230
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
1231
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
1232
- [PASS] test_storageHash() (gas: 3380)
1233
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 6.85s (234.73ms CPU time)
1206
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 10.64s (677.92ms CPU time)
1234
1207
 
1235
1208
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1236
1209
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1237
1210
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1238
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 830123, ~: 302638)
1211
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 826838, ~: 268615)
1239
1212
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1240
1213
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1241
1214
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1248,12 +1221,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1248
1221
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1249
1222
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1250
1223
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1251
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11142522, ~: 10374732)
1224
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11160371, ~: 10408955)
1252
1225
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1253
1226
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1254
1227
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1255
1228
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1256
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 747948, ~: 242382)
1229
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 773053, ~: 182678)
1257
1230
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1258
1231
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1259
1232
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1266,10 +1239,44 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1266
1239
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1267
1240
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1268
1241
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1269
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11168109, ~: 10359887)
1242
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11163542, ~: 10533635)
1270
1243
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1271
1244
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1272
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 6.85s (16.15s CPU time)
1245
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 10.59s (25.16s CPU time)
1246
+
1247
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
1248
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
1249
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
1250
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
1251
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
1252
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
1253
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
1254
+ [PASS] test_isPaused_Default() (gas: 44698)
1255
+ [PASS] test_isPaused_InitialState() (gas: 22070)
1256
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
1257
+ [PASS] test_isPaused_Override() (gas: 69381)
1258
+ [PASS] test_isPaused_Specific() (gas: 46709)
1259
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
1260
+ [PASS] test_pauseConfig() (gas: 45626)
1261
+ [PASS] test_setDefaultPaused() (gas: 39667)
1262
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27959, ~: 16332)
1263
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
1264
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
1265
+ [PASS] test_setPaused() (gas: 43060)
1266
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
1267
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38358, ~: 43373)
1268
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
1269
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
1270
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
1271
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58072, ~: 46989)
1272
+ [PASS] test_storageHash() (gas: 3480)
1273
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
1274
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
1275
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
1276
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
1277
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
1278
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
1279
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 10.64s (382.72ms CPU time)
1273
1280
 
1274
- Ran 17 test suites in 6.90s (34.40s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1275
- ⏳ forge test: 19.181s
1281
+ Ran 17 test suites in 10.67s (61.45s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1282
+ ⏳ forge test: 25.667s