@layerzerolabs/utils-upgradeable-evm-contracts 0.2.108 → 0.2.110

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 +668 -633
  2. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -5,7 +5,7 @@
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
7
  $ 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
8
- (node:127296) [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.
8
+ (node:177567) [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
9
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
10
10
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
11
11
  (Use `node --trace-warnings ...` to show where the warning was created)
@@ -13,7 +13,7 @@ To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-in
13
13
  👤 Running container as UID:GID 1001:1001
14
14
  $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /home/runner/work/monorepo-internal/monorepo-internal:/workspace -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
15
15
  Compiling 84 files with Solc 0.8.22
16
- Solc 0.8.22 finished in 13.19s
16
+ Solc 0.8.22 finished in 13.74s
17
17
  Compiler run successful with warnings:
18
18
  Warning (2018): Function state mutability can be restricted to view
19
19
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -136,44 +136,6 @@ Warning (2018): Function state mutability can be restricted to view
136
136
  | ^ (Relevant source part starts here and spans across multiple lines).
137
137
 
138
138
 
139
- Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
140
- [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
141
- [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
142
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
143
- [PASS] test_checkpointRateLimits_Single() (gas: 85741)
144
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
145
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
146
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
147
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
148
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
149
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
150
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
151
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
152
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
153
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
154
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
155
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
156
- [PASS] test_inflow_GloballyDisabled() (gas: 52015)
157
- [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
158
- [PASS] test_initial_state_closed() (gas: 2034659)
159
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
160
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
161
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
162
- [PASS] test_outflow_GloballyDisabled() (gas: 52036)
163
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
164
- [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
165
- [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
166
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
167
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
168
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
169
- [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
170
- [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
171
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
172
- [PASS] test_setRateLimitStates_Single() (gas: 49974)
173
- [PASS] test_storageHash() (gas: 3414)
174
- [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
175
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 52.58ms (41.60ms CPU time)
176
-
177
139
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
178
140
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
179
141
  [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
@@ -215,7 +177,45 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
215
177
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
216
178
  [PASS] test_storageHash() (gas: 3392)
217
179
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
218
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 52.00ms (37.49ms CPU time)
180
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 12.17ms (8.87ms CPU time)
181
+
182
+ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
183
+ [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
184
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
185
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
186
+ [PASS] test_checkpointRateLimits_Single() (gas: 85741)
187
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
188
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
189
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
190
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
191
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
192
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
193
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
194
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
195
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
196
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
197
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
198
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
199
+ [PASS] test_inflow_GloballyDisabled() (gas: 52015)
200
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
201
+ [PASS] test_initial_state_closed() (gas: 2034659)
202
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
203
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
204
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
205
+ [PASS] test_outflow_GloballyDisabled() (gas: 52036)
206
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
207
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
208
+ [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
209
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
210
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
211
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
212
+ [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
213
+ [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
214
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
215
+ [PASS] test_setRateLimitStates_Single() (gas: 49974)
216
+ [PASS] test_storageHash() (gas: 3414)
217
+ [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
218
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 16.70ms (15.22ms CPU time)
219
219
 
220
220
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
221
221
  [PASS] test_feeDeposit() (gas: 17638)
@@ -224,7 +224,7 @@ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTe
224
224
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
225
225
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
226
226
  [PASS] test_storageHash() (gas: 3315)
227
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 123.67ms (122.01ms CPU time)
227
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 54.52ms (53.66ms CPU time)
228
228
 
229
229
  Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
230
230
  [PASS] test_feeDeposit() (gas: 17576)
@@ -232,23 +232,10 @@ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTe
232
232
  [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
233
233
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
234
234
  [PASS] test_storageHash() (gas: 3337)
235
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 291.77ms (288.65ms CPU time)
236
-
237
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
238
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
239
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
240
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
241
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
242
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
243
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
244
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
245
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
246
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
247
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
248
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 304.21ms (303.97ms CPU time)
235
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 84.68ms (47.38ms CPU time)
249
236
 
250
237
  Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
251
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26626, ~: 12786)
238
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27758, ~: 41090)
252
239
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
253
240
  [PASS] test_assertNotPaused_Success() (gas: 12539)
254
241
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
@@ -259,7 +246,7 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
259
246
  [PASS] test_pause() (gas: 42109)
260
247
  [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
261
248
  [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
262
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30070, ~: 18756)
249
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30708, ~: 42378)
263
250
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
264
251
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
265
252
  [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
@@ -268,14 +255,78 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
268
255
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
269
256
  [PASS] test_storageHash() (gas: 3414)
270
257
  [PASS] test_unpause() (gas: 35177)
271
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41585, ~: 38860)
258
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41793, ~: 44479)
272
259
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
273
260
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
274
261
  [PASS] test_whenNotPaused_Success() (gas: 38800)
275
262
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
276
263
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
277
264
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
278
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 709.27ms (1.09s CPU time)
265
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 89.81ms (147.76ms CPU time)
266
+
267
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
268
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
269
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
270
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
271
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
272
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
273
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
274
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
275
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
276
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
277
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
278
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
279
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
280
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
281
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
282
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
283
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
284
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
285
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
286
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
287
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
288
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
289
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
290
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
291
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
292
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
293
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
294
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
295
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
296
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
297
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
298
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
299
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
300
+ [PASS] test_storageHash() (gas: 3380)
301
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 209.53ms (284.12ms CPU time)
302
+
303
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
304
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
305
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
306
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44830, ~: 46317)
307
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
308
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
309
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
310
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
311
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
312
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
313
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
314
+ [PASS] test_getFee_Default() (gas: 40577)
315
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 42924, ~: 44486)
316
+ [PASS] test_getFee_Rounding() (gas: 42835)
317
+ [PASS] test_getFee_Specific() (gas: 63968)
318
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
319
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
320
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 33194, ~: 39667)
321
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
322
+ [PASS] test_setFeeBps() (gas: 73871)
323
+ Logs:
324
+ Bound result 500
325
+
326
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 64727, ~: 74224)
327
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
328
+ [PASS] test_storageHash() (gas: 3426)
329
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 895.51ms (556.98ms CPU time)
279
330
 
280
331
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
281
332
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -293,7 +344,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
293
344
  [PASS] test_pauseConfig() (gas: 51028)
294
345
  [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
295
346
  [PASS] test_setDefaultPaused() (gas: 42196)
296
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30730, ~: 42446)
347
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30258, ~: 18826)
297
348
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
298
349
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
299
350
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
@@ -302,8 +353,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
302
353
  [PASS] test_setPaused_DormantData() (gas: 295234)
303
354
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
304
355
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
305
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43283, ~: 48533)
306
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223991, ~: 219722)
356
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43805, ~: 48696)
357
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223140, ~: 216804)
307
358
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
308
359
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
309
360
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
@@ -317,7 +368,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
317
368
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
318
369
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
319
370
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
320
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62628, ~: 73465)
371
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62331, ~: 50341)
321
372
  [PASS] test_storageHash() (gas: 3392)
322
373
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
323
374
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -325,73 +376,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
325
376
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
326
377
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
327
378
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
328
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 961.87ms (1.62s CPU time)
329
-
330
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
331
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
332
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
333
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
334
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
335
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
336
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
337
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
338
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
339
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
340
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
341
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
342
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
343
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
344
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
345
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
346
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
347
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
348
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
349
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
350
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
351
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
352
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
353
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
354
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
355
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
356
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
357
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
358
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
359
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
360
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
361
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
362
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
363
- [PASS] test_storageHash() (gas: 3380)
364
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 1.15s (1.56s CPU time)
365
-
366
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
367
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
368
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
369
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47777, ~: 48966)
370
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
371
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
372
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
373
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
374
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
375
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
376
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
377
- [PASS] test_getFee_Default() (gas: 43108)
378
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45616, ~: 47017)
379
- [PASS] test_getFee_Rounding() (gas: 45449)
380
- [PASS] test_getFee_Specific() (gas: 66985)
381
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
382
- [PASS] test_setDefaultFeeBps() (gas: 42199)
383
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35413, ~: 42268)
384
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
385
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
386
- [PASS] test_setFeeBps() (gas: 77237)
387
- Logs:
388
- Bound result 500
389
-
390
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68930, ~: 77570)
391
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
392
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
393
- [PASS] test_storageHash() (gas: 3436)
394
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.87s (2.44s CPU time)
379
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.10s (573.39ms CPU time)
395
380
 
396
381
  Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
397
382
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
@@ -408,16 +393,16 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
408
393
  [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
409
394
  [PASS] test_pauseConfig() (gas: 45626)
410
395
  [PASS] test_setDefaultPaused() (gas: 39667)
411
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27794, ~: 16332)
396
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28408, ~: 39918)
412
397
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
413
398
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
414
399
  [PASS] test_setPaused() (gas: 43060)
415
400
  [PASS] test_setPaused_EmptyArray() (gas: 10900)
416
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38139, ~: 43373)
401
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38000, ~: 43373)
417
402
  [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
418
403
  [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
419
404
  [PASS] test_setPaused_Success_Toggle() (gas: 51442)
420
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58321, ~: 69608)
405
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57891, ~: 46989)
421
406
  [PASS] test_storageHash() (gas: 3480)
422
407
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
423
408
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
@@ -425,699 +410,769 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
425
410
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
426
411
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
427
412
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
428
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 3.04s (1.07s CPU time)
413
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 1.20s (255.75ms CPU time)
429
414
 
430
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
415
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
431
416
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
432
417
 
433
418
  ╭-----------------------------------+---------------------+-------+---------+----------╮
434
419
  | Contract | Selector | Calls | Reverts | Discards |
435
420
  +======================================================================================+
436
- | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
421
+ | RateLimiterRBACUpgradeableHandler | inflow | 541 | 0 | 0 |
437
422
  |-----------------------------------+---------------------+-------+---------+----------|
438
- | RateLimiterRBACUpgradeableHandler | outflow | 582 | 0 | 0 |
423
+ | RateLimiterRBACUpgradeableHandler | outflow | 605 | 0 | 0 |
439
424
  |-----------------------------------+---------------------+-------+---------+----------|
440
- | RateLimiterRBACUpgradeableHandler | setConfig | 521 | 0 | 0 |
425
+ | RateLimiterRBACUpgradeableHandler | setConfig | 522 | 0 | 0 |
441
426
  |-----------------------------------+---------------------+-------+---------+----------|
442
- | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
427
+ | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
443
428
  |-----------------------------------+---------------------+-------+---------+----------|
444
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
429
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 510 | 0 | 0 |
445
430
  |-----------------------------------+---------------------+-------+---------+----------|
446
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 582 | 0 | 0 |
431
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 589 | 0 | 0 |
447
432
  |-----------------------------------+---------------------+-------+---------+----------|
448
- | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
433
+ | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
449
434
  ╰-----------------------------------+---------------------+-------+---------+----------╯
450
435
 
451
436
  Logs:
452
- Bound result 889
453
- Bound result 627436130061
454
- Bound result 15
455
- Bound result 0
456
- Bound result 120358582150432007717
457
- Bound result 991855308653465052078
458
- Bound result 0
459
- Bound result 9900000000000000000572
460
- Bound result 8537174172434061117428
461
- Bound result 2208
462
- Bound result 5521
463
- Bound result 5818
464
- Bound result 51185
465
- Bound result 25648464109
466
- Bound result 1844383
467
- Bound result 223347920178106
468
- Bound result 7702
469
- Bound result 20659
437
+ Bound result 394
438
+ Bound result 9900000000000000105860
439
+ Bound result 9900000020459633790843
440
+ Bound result 9162
441
+ Bound result 11
442
+ Bound result 591813453729784658184
443
+ Bound result 9900000220285574262147
444
+ Bound result 102
445
+ Bound result 7603
446
+ Bound result 8571
447
+ Bound result 5151353251323166404267
448
+ Bound result 7716
449
+ Bound result 3
450
+ Bound result 61293732915997760
451
+ Bound result 2010
452
+ Bound result 9900000000000000010767
453
+ Bound result 9910283639113465303767
454
+ Bound result 1534
455
+ Bound result 10
456
+ Bound result 1063864286682268
457
+ Bound result 100000000000000000003
458
+ Bound result 9900000000000000002474
459
+ Bound result 323
460
+ Bound result 3449
461
+ Bound result 456463743776
470
462
 
471
463
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
472
464
 
473
465
  ╭-----------------------------------+---------------------+-------+---------+----------╮
474
466
  | Contract | Selector | Calls | Reverts | Discards |
475
467
  +======================================================================================+
476
- | RateLimiterRBACUpgradeableHandler | inflow | 554 | 0 | 0 |
468
+ | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
477
469
  |-----------------------------------+---------------------+-------+---------+----------|
478
- | RateLimiterRBACUpgradeableHandler | outflow | 532 | 0 | 0 |
470
+ | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
479
471
  |-----------------------------------+---------------------+-------+---------+----------|
480
- | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
472
+ | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
481
473
  |-----------------------------------+---------------------+-------+---------+----------|
482
- | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
474
+ | RateLimiterRBACUpgradeableHandler | setState | 528 | 0 | 0 |
483
475
  |-----------------------------------+---------------------+-------+---------+----------|
484
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
476
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
485
477
  |-----------------------------------+---------------------+-------+---------+----------|
486
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 546 | 0 | 0 |
478
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553 | 0 | 0 |
487
479
  |-----------------------------------+---------------------+-------+---------+----------|
488
- | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
480
+ | RateLimiterRBACUpgradeableHandler | warp | 533 | 0 | 0 |
489
481
  ╰-----------------------------------+---------------------+-------+---------+----------╯
490
482
 
491
483
  Logs:
492
- Bound result 2865685763141962524
493
- Bound result 9900000000024903889121
494
- Bound result 9900000012696961343290
495
- Bound result 864
496
- Bound result 4001
497
- Bound result 29643070
498
- Bound result 1051319012952
499
- Bound result 0
500
- Bound result 111568170397352083
501
- Bound result 1943952718001
502
- Bound result 0
503
- Bound result 3208
504
- Bound result 9900000000000439538413
505
- Bound result 8612125742280116725620
506
- Bound result 9996
507
- Bound result 288
508
- Bound result 2128
509
- Bound result 13300575257107199
510
- Bound result 0
511
- Bound result 4028
512
- Bound result 9911736
484
+ Bound result 4189828018391291377
485
+ Bound result 47394492027268
486
+ Bound result 524592551439328493062
487
+ Bound result 1520076
488
+ Bound result 450592666
489
+ Bound result 1
490
+ Bound result 5855
491
+ Bound result 1425644631
492
+ Bound result 285
493
+ Bound result 1622
494
+ Bound result 2168666954214
495
+ Bound result 8105
496
+ Bound result 780488956411224122440
497
+ Bound result 546
498
+ Bound result 1062319570581567612782
513
499
 
514
500
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
515
501
 
516
502
  ╭-----------------------------------+---------------------+-------+---------+----------╮
517
503
  | Contract | Selector | Calls | Reverts | Discards |
518
504
  +======================================================================================+
519
- | RateLimiterRBACUpgradeableHandler | inflow | 521 | 0 | 0 |
505
+ | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
520
506
  |-----------------------------------+---------------------+-------+---------+----------|
521
- | RateLimiterRBACUpgradeableHandler | outflow | 564 | 0 | 0 |
507
+ | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
522
508
  |-----------------------------------+---------------------+-------+---------+----------|
523
- | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
509
+ | RateLimiterRBACUpgradeableHandler | setConfig | 527 | 0 | 0 |
524
510
  |-----------------------------------+---------------------+-------+---------+----------|
525
- | RateLimiterRBACUpgradeableHandler | setState | 587 | 0 | 0 |
511
+ | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
526
512
  |-----------------------------------+---------------------+-------+---------+----------|
527
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
513
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
528
514
  |-----------------------------------+---------------------+-------+---------+----------|
529
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 566 | 0 | 0 |
515
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 532 | 0 | 0 |
530
516
  |-----------------------------------+---------------------+-------+---------+----------|
531
- | RateLimiterRBACUpgradeableHandler | warp | 535 | 0 | 0 |
517
+ | RateLimiterRBACUpgradeableHandler | warp | 562 | 0 | 0 |
532
518
  ╰-----------------------------------+---------------------+-------+---------+----------╯
533
519
 
534
520
  Logs:
535
- Bound result 2739854339
521
+ Bound result 8533
522
+ Bound result 10645
536
523
  Bound result 0
537
- Bound result 94165
538
- Bound result 1
539
- Bound result 674844393267876383834
540
- Bound result 9900015857378764786519
541
- Bound result 9900019295126138282858
542
- Bound result 9997
543
- Bound result 6784
544
- Bound result 3456
545
- Bound result 653
546
- Bound result 46576953988
524
+ Bound result 33540519
525
+ Bound result 5294
547
526
  Bound result 1
548
- Bound result 9900000000000000008747
549
- Bound result 1025826709305137103821
550
- Bound result 229
551
- Bound result 10
552
- Bound result 44307487
553
- Bound result 1432625354550734487037
527
+ Bound result 9900000000000000007332
528
+ Bound result 9900000000000000000309
529
+ Bound result 2333
530
+ Bound result 736
531
+ Bound result 6914264337534863096704
532
+ Bound result 2443
533
+ Bound result 0
534
+ Bound result 62
535
+ Bound result 2151543425464
536
+ Bound result 3993
537
+ Bound result 19440448047178731534003
538
+ Bound result 60
539
+ Bound result 2949
540
+ Bound result 8849293358425808738337
541
+ Bound result 9900000000000000000044
542
+ Bound result 459
543
+ Bound result 4712
554
544
 
555
545
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
556
546
 
557
547
  ╭-----------------------------------+---------------------+-------+---------+----------╮
558
548
  | Contract | Selector | Calls | Reverts | Discards |
559
549
  +======================================================================================+
560
- | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
550
+ | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
561
551
  |-----------------------------------+---------------------+-------+---------+----------|
562
- | RateLimiterRBACUpgradeableHandler | outflow | 528 | 0 | 0 |
552
+ | RateLimiterRBACUpgradeableHandler | outflow | 580 | 0 | 0 |
563
553
  |-----------------------------------+---------------------+-------+---------+----------|
564
- | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
554
+ | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
565
555
  |-----------------------------------+---------------------+-------+---------+----------|
566
- | RateLimiterRBACUpgradeableHandler | setState | 563 | 0 | 0 |
556
+ | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
567
557
  |-----------------------------------+---------------------+-------+---------+----------|
568
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
558
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 576 | 0 | 0 |
569
559
  |-----------------------------------+---------------------+-------+---------+----------|
570
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
560
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
571
561
  |-----------------------------------+---------------------+-------+---------+----------|
572
- | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
562
+ | RateLimiterRBACUpgradeableHandler | warp | 504 | 0 | 0 |
573
563
  ╰-----------------------------------+---------------------+-------+---------+----------╯
574
564
 
575
565
  Logs:
576
- Bound result 1003853746586370209080
577
- Bound result 1560
578
- Bound result 428
579
- Bound result 9803
580
- Bound result 231
581
- Bound result 1841455
582
- Bound result 9948417255090092218782
583
- Bound result 9900000000170066102203
584
- Bound result 8476
585
- Bound result 190
586
- Bound result 9900000000000001624947
587
- Bound result 125931664199553149207
566
+ Bound result 351
567
+ Bound result 7749
568
+ Bound result 100000000000000000000
569
+ Bound result 9902750911154638769716
570
+ Bound result 7605
571
+ Bound result 12
572
+ Bound result 8
573
+ Bound result 1789
574
+ Bound result 6053
575
+ Bound result 8496
576
+ Bound result 1882
577
+ Bound result 4920
578
+ Bound result 1218028033503548790827
579
+ Bound result 100000000000000000000
580
+ Bound result 9900003634225383659121
581
+ Bound result 9748
588
582
  Bound result 10
589
- Bound result 336
590
- Bound result 459
591
- Bound result 4
583
+ Bound result 6613
584
+ Bound result 10177
585
+ Bound result 736
586
+ Bound result 556435973285872267847
587
+ Bound result 6914264337593535947489
588
+ Bound result 10
589
+ Bound result 77
590
+ Bound result 479
591
+ Bound result 60
592
592
 
593
593
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
594
594
 
595
595
  ╭-----------------------------------+---------------------+-------+---------+----------╮
596
596
  | Contract | Selector | Calls | Reverts | Discards |
597
597
  +======================================================================================+
598
- | RateLimiterRBACUpgradeableHandler | inflow | 582 | 0 | 0 |
598
+ | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
599
599
  |-----------------------------------+---------------------+-------+---------+----------|
600
- | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
600
+ | RateLimiterRBACUpgradeableHandler | outflow | 525 | 0 | 0 |
601
601
  |-----------------------------------+---------------------+-------+---------+----------|
602
- | RateLimiterRBACUpgradeableHandler | setConfig | 505 | 0 | 0 |
602
+ | RateLimiterRBACUpgradeableHandler | setConfig | 572 | 0 | 0 |
603
603
  |-----------------------------------+---------------------+-------+---------+----------|
604
- | RateLimiterRBACUpgradeableHandler | setState | 566 | 0 | 0 |
604
+ | RateLimiterRBACUpgradeableHandler | setState | 584 | 0 | 0 |
605
605
  |-----------------------------------+---------------------+-------+---------+----------|
606
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 509 | 0 | 0 |
606
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
607
607
  |-----------------------------------+---------------------+-------+---------+----------|
608
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
608
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
609
609
  |-----------------------------------+---------------------+-------+---------+----------|
610
- | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
610
+ | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
611
611
  ╰-----------------------------------+---------------------+-------+---------+----------╯
612
612
 
613
613
  Logs:
614
- Bound result 427
615
- Bound result 9900000000000000008534
616
- Bound result 9900000000000452777889
617
- Bound result 9917
618
- Bound result 1226
619
- Bound result 8924
620
- Bound result 2376452955
621
- Bound result 1
622
- Bound result 9900000161529089689017
623
- Bound result 9900000000000001433422
624
- Bound result 10
625
- Bound result 2135
626
- Bound result 2806359013908669518184
627
- Bound result 9918446744073709551617
628
- Bound result 9900000000003736598698
629
- Bound result 4677
630
- Bound result 7475
631
- Bound result 7314
632
- Bound result 3703914640073873696985
633
- Bound result 100000000000000000000
634
- Bound result 8321
635
- Bound result 5452
636
- Bound result 884393
637
- Bound result 138124849995387
614
+ Bound result 15292
615
+ Bound result 9900000000000000004016
616
+ Bound result 9900000000000000004068
617
+ Bound result 7355
618
+ Bound result 3767
619
+ Bound result 5863
620
+ Bound result 2106285482
621
+ Bound result 4279
622
+ Bound result 2435
623
+ Bound result 4560
624
+ Bound result 207
625
+ Bound result 9900000000000000009263
626
+ Bound result 9900000000000000001741
627
+ Bound result 728
628
+ Bound result 4577
629
+ Bound result 248388130754349567903
630
+ Bound result 8121
631
+ Bound result 6849999911050
638
632
 
639
633
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
640
634
 
641
635
  ╭-----------------------------------+---------------------+-------+---------+----------╮
642
636
  | Contract | Selector | Calls | Reverts | Discards |
643
637
  +======================================================================================+
644
- | RateLimiterRBACUpgradeableHandler | inflow | 554 | 0 | 0 |
638
+ | RateLimiterRBACUpgradeableHandler | inflow | 541 | 0 | 0 |
645
639
  |-----------------------------------+---------------------+-------+---------+----------|
646
- | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
640
+ | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
647
641
  |-----------------------------------+---------------------+-------+---------+----------|
648
- | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
642
+ | RateLimiterRBACUpgradeableHandler | setConfig | 577 | 0 | 0 |
649
643
  |-----------------------------------+---------------------+-------+---------+----------|
650
- | RateLimiterRBACUpgradeableHandler | setState | 557 | 0 | 0 |
644
+ | RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
651
645
  |-----------------------------------+---------------------+-------+---------+----------|
652
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
646
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 549 | 0 | 0 |
653
647
  |-----------------------------------+---------------------+-------+---------+----------|
654
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
648
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
655
649
  |-----------------------------------+---------------------+-------+---------+----------|
656
- | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
650
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
657
651
  ╰-----------------------------------+---------------------+-------+---------+----------╯
658
652
 
659
653
  Logs:
660
- Bound result 8132
661
- Bound result 4125
662
- Bound result 544
663
- Bound result 10315
664
654
  Bound result 1
665
- Bound result 9900000000000000008823
666
- Bound result 9900000000000000009252
667
- Bound result 1632
668
- Bound result 7924
669
- Bound result 9900035226073719083551
670
- Bound result 9900000000005785426533
671
- Bound result 59
655
+ Bound result 2
656
+ Bound result 514264337593504336253
657
+ Bound result 1
658
+ Bound result 100000000000000000003
659
+ Bound result 100000000000000000001
660
+ Bound result 12
672
661
  Bound result 13
673
- Bound result 8519
674
- Bound result 97502211377888482
675
- Bound result 0
676
- Bound result 0
677
- Bound result 812
678
- Bound result 5440
679
- Bound result 0
680
- Bound result 3653755807634324516430
681
- Bound result 6914264337593535947489
682
- Bound result 1942
683
- Bound result 4032
684
- Bound result 25917137336962
685
- Bound result 0
662
+ Bound result 4113
663
+ Bound result 3780385
664
+ Bound result 3101375044
686
665
  Bound result 0
666
+ Bound result 20
667
+ Bound result 114264337591167105461
668
+ Bound result 3658252959230667437849
669
+ Bound result 9900000000000000007507
670
+ Bound result 9332
671
+ Bound result 8080
672
+ Bound result 493
687
673
 
688
674
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
689
675
 
690
676
  ╭-----------------------------------+---------------------+-------+---------+----------╮
691
677
  | Contract | Selector | Calls | Reverts | Discards |
692
678
  +======================================================================================+
693
- | RateLimiterRBACUpgradeableHandler | inflow | 559 | 0 | 0 |
679
+ | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
694
680
  |-----------------------------------+---------------------+-------+---------+----------|
695
681
  | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
696
682
  |-----------------------------------+---------------------+-------+---------+----------|
697
- | RateLimiterRBACUpgradeableHandler | setConfig | 544 | 0 | 0 |
683
+ | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
698
684
  |-----------------------------------+---------------------+-------+---------+----------|
699
- | RateLimiterRBACUpgradeableHandler | setState | 568 | 0 | 0 |
685
+ | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
700
686
  |-----------------------------------+---------------------+-------+---------+----------|
701
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 523 | 0 | 0 |
687
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
702
688
  |-----------------------------------+---------------------+-------+---------+----------|
703
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
689
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
704
690
  |-----------------------------------+---------------------+-------+---------+----------|
705
- | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
691
+ | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
706
692
  ╰-----------------------------------+---------------------+-------+---------+----------╯
707
693
 
708
694
  Logs:
709
- Bound result 160
710
- Bound result 585685509760332194050
711
- Bound result 1
712
- Bound result 9900000000000000009194
713
- Bound result 4780488956411236156277
714
- Bound result 7553
715
- Bound result 8519
716
- Bound result 9900000000000000010363
717
- Bound result 9900000000000000010535
718
- Bound result 240
719
- Bound result 908
720
- Bound result 7243
721
- Bound result 29724
722
- Bound result 1
723
- Bound result 11831027827423279612
724
- Bound result 1
725
- Bound result 10682310036208779904420
726
- Bound result 3521
727
- Bound result 0
728
- Bound result 2307
729
- Bound result 1290
730
- Bound result 6536
695
+ Bound result 385
696
+ Bound result 381253934824751960775
697
+ Bound result 202411481346736595849
698
+ Bound result 65
699
+ Bound result 1294
700
+ Bound result 510928831465498626491
701
+ Bound result 10162
702
+ Bound result 586317088068
703
+ Bound result 1053
704
+ Bound result 6742
705
+ Bound result 6822
706
+ Bound result 408
707
+ Bound result 811
731
708
  Bound result 1
709
+ Bound result 9900000000000000008524
710
+ Bound result 9900000000000000008274
711
+ Bound result 455
712
+ Bound result 222
713
+ Bound result 70596092963
732
714
 
733
715
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
734
716
 
735
717
  ╭-----------------------------------+---------------------+-------+---------+----------╮
736
718
  | Contract | Selector | Calls | Reverts | Discards |
737
719
  +======================================================================================+
738
- | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
720
+ | RateLimiterRBACUpgradeableHandler | inflow | 569 | 0 | 0 |
739
721
  |-----------------------------------+---------------------+-------+---------+----------|
740
- | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
722
+ | RateLimiterRBACUpgradeableHandler | outflow | 583 | 0 | 0 |
741
723
  |-----------------------------------+---------------------+-------+---------+----------|
742
- | RateLimiterRBACUpgradeableHandler | setConfig | 565 | 0 | 0 |
724
+ | RateLimiterRBACUpgradeableHandler | setConfig | 529 | 0 | 0 |
743
725
  |-----------------------------------+---------------------+-------+---------+----------|
744
- | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
726
+ | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
745
727
  |-----------------------------------+---------------------+-------+---------+----------|
746
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
728
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 561 | 0 | 0 |
747
729
  |-----------------------------------+---------------------+-------+---------+----------|
748
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
730
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 496 | 0 | 0 |
749
731
  |-----------------------------------+---------------------+-------+---------+----------|
750
- | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
732
+ | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
751
733
  ╰-----------------------------------+---------------------+-------+---------+----------╯
752
734
 
753
735
  Logs:
754
- Bound result 153
755
- Bound result 1
756
- Bound result 9900000000000000007716
757
- Bound result 9900000000000000010286
758
- Bound result 1546
759
- Bound result 8099
760
- Bound result 8120
761
- Bound result 274
762
- Bound result 5149
763
- Bound result 9900000000000000001583
764
- Bound result 6031565321241651558217
765
- Bound result 1199
766
- Bound result 5516
767
- Bound result 5552
768
- Bound result 3141648438949068107044
769
- Bound result 151731078372880736850
770
- Bound result 9414
771
- Bound result 5105
772
- Bound result 8569
773
- Bound result 9900000000000000008882
774
- Bound result 9900000000000000001628
775
- Bound result 4394
776
- Bound result 6101
777
-
778
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 3.15s (15.99s CPU time)
736
+ Bound result 6340
737
+ Bound result 9900000000000860608793
738
+ Bound result 9900000000000000002979
739
+ Bound result 2701
740
+ Bound result 2463
741
+ Bound result 1050
742
+ Bound result 8057453769841152176254
743
+ Bound result 9900000000000303916461
744
+ Bound result 12
745
+ Bound result 9996
746
+ Bound result 10837
747
+ Bound result 123044204244
748
+ Bound result 7011614283628061556687
749
+ Bound result 211301860501578066470
750
+ Bound result 430380534
751
+ Bound result 0
752
+ Bound result 9839551810646309798403
753
+ Bound result 667360731311119448942
754
+ Bound result 0
755
+ Bound result 10948593457064272895574
756
+ Bound result 14839731025799800177453
779
757
 
780
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
758
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.36s (9.01s CPU time)
759
+
760
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
761
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
762
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
763
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
764
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
765
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
766
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
767
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
768
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
769
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
770
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
771
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 1.42s (104.47ms CPU time)
772
+
773
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
781
774
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
782
775
 
783
776
  ╭-----------------------------------+---------------------+-------+---------+----------╮
784
777
  | Contract | Selector | Calls | Reverts | Discards |
785
778
  +======================================================================================+
786
- | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
779
+ | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
787
780
  |-----------------------------------+---------------------+-------+---------+----------|
788
- | RateLimiterRBACUpgradeableHandler | outflow | 578 | 0 | 0 |
781
+ | RateLimiterRBACUpgradeableHandler | outflow | 536 | 0 | 0 |
789
782
  |-----------------------------------+---------------------+-------+---------+----------|
790
- | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
783
+ | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
791
784
  |-----------------------------------+---------------------+-------+---------+----------|
792
- | RateLimiterRBACUpgradeableHandler | setState | 472 | 0 | 0 |
785
+ | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
793
786
  |-----------------------------------+---------------------+-------+---------+----------|
794
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 566 | 0 | 0 |
787
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 559 | 0 | 0 |
795
788
  |-----------------------------------+---------------------+-------+---------+----------|
796
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
789
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
797
790
  |-----------------------------------+---------------------+-------+---------+----------|
798
- | RateLimiterRBACUpgradeableHandler | warp | 571 | 0 | 0 |
791
+ | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
799
792
  ╰-----------------------------------+---------------------+-------+---------+----------╯
800
793
 
801
794
  Logs:
802
- Bound result 351
803
- Bound result 184
804
- Bound result 9900000000000000000062
805
- Bound result 9900000000729877791224
806
- Bound result 192
807
- Bound result 5942
808
- Bound result 1036
809
- Bound result 9900000000001982814380
810
- Bound result 1137426859188653456729
811
- Bound result 6240
812
- Bound result 9827
813
- Bound result 736
814
- Bound result 119
815
- Bound result 133
816
- Bound result 1040
817
- Bound result 26663711494
818
- Bound result 7306
819
- Bound result 1
820
- Bound result 9900000000000000010419
821
- Bound result 9900000000000000011069
822
- Bound result 9886
823
- Bound result 7532
824
- Bound result 4084015
825
- Bound result 6155061989290434
826
- Bound result 6914264337593535947488
827
- Bound result 9900000000000000007309
828
- Bound result 2461
829
- Bound result 2922
795
+ Bound result 913452357
796
+ Bound result 6493257683296100855005
797
+ Bound result 9900000000000000001900
798
+ Bound result 2201
799
+ Bound result 4785
800
+ Bound result 2538945723306770908268
801
+ Bound result 6546453859637986411447
802
+ Bound result 0
803
+ Bound result 7488678688646381762086
804
+ Bound result 569
805
+ Bound result 9900000000000000006449
806
+ Bound result 9900000000000000000923
807
+ Bound result 8338
808
+ Bound result 1656
809
+ Bound result 16472
810
+ Bound result 4125
811
+ Bound result 6529
812
+ Bound result 136
813
+ Bound result 28142141643096
814
+ Bound result 5187
815
+ Bound result 3914
816
+ Bound result 408
817
+ Bound result 951245578332867964
818
+ Bound result 5185447928492872502362
819
+ Bound result 1102
820
+ Bound result 566480742064359026
830
821
 
831
822
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
832
823
 
833
824
  ╭-----------------------------------+---------------------+-------+---------+----------╮
834
825
  | Contract | Selector | Calls | Reverts | Discards |
835
826
  +======================================================================================+
836
- | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
827
+ | RateLimiterRBACUpgradeableHandler | inflow | 548 | 0 | 0 |
837
828
  |-----------------------------------+---------------------+-------+---------+----------|
838
- | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
829
+ | RateLimiterRBACUpgradeableHandler | outflow | 547 | 0 | 0 |
839
830
  |-----------------------------------+---------------------+-------+---------+----------|
840
- | RateLimiterRBACUpgradeableHandler | setConfig | 536 | 0 | 0 |
831
+ | RateLimiterRBACUpgradeableHandler | setConfig | 545 | 0 | 0 |
841
832
  |-----------------------------------+---------------------+-------+---------+----------|
842
- | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
833
+ | RateLimiterRBACUpgradeableHandler | setState | 568 | 0 | 0 |
843
834
  |-----------------------------------+---------------------+-------+---------+----------|
844
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 530 | 0 | 0 |
835
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 560 | 0 | 0 |
845
836
  |-----------------------------------+---------------------+-------+---------+----------|
846
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
837
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
847
838
  |-----------------------------------+---------------------+-------+---------+----------|
848
- | RateLimiterRBACUpgradeableHandler | warp | 570 | 0 | 0 |
839
+ | RateLimiterRBACUpgradeableHandler | warp | 528 | 0 | 0 |
849
840
  ╰-----------------------------------+---------------------+-------+---------+----------╯
850
841
 
851
842
  Logs:
852
- Bound result 9900000000000028738076
853
- Bound result 9900000000000264535120
854
- Bound result 2791
855
- Bound result 1255
856
- Bound result 3453
857
- Bound result 565
858
- Bound result 21406
859
- Bound result 44
860
- Bound result 266855766881072736388
861
- Bound result 4206524934112555346
862
- Bound result 10107
843
+ Bound result 1007245886733921236859
844
+ Bound result 9900000000000000004228
845
+ Bound result 5083937887562345968613
846
+ Bound result 6394
847
+ Bound result 2079
848
+ Bound result 308
849
+ Bound result 5484763113
850
+ Bound result 5986418584854
851
+ Bound result 1
852
+ Bound result 516
853
+ Bound result 9900000000000000000210
854
+ Bound result 9900000000000000006775
855
+ Bound result 7821
856
+ Bound result 3997
857
+ Bound result 45603235181734825
858
+ Bound result 38724799385397
859
+ Bound result 1
860
+ Bound result 56
861
+ Bound result 1
862
+ Bound result 9179049022188880425149
863
+ Bound result 6391695213217127289347
864
+ Bound result 7360
865
+ Bound result 6214
863
866
 
864
867
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
865
868
 
866
869
  ╭-----------------------------------+---------------------+-------+---------+----------╮
867
870
  | Contract | Selector | Calls | Reverts | Discards |
868
871
  +======================================================================================+
869
- | RateLimiterRBACUpgradeableHandler | inflow | 580 | 0 | 0 |
872
+ | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
870
873
  |-----------------------------------+---------------------+-------+---------+----------|
871
- | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
874
+ | RateLimiterRBACUpgradeableHandler | outflow | 508 | 0 | 0 |
872
875
  |-----------------------------------+---------------------+-------+---------+----------|
873
- | RateLimiterRBACUpgradeableHandler | setConfig | 561 | 0 | 0 |
876
+ | RateLimiterRBACUpgradeableHandler | setConfig | 536 | 0 | 0 |
874
877
  |-----------------------------------+---------------------+-------+---------+----------|
875
- | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
878
+ | RateLimiterRBACUpgradeableHandler | setState | 503 | 0 | 0 |
876
879
  |-----------------------------------+---------------------+-------+---------+----------|
877
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
880
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 576 | 0 | 0 |
878
881
  |-----------------------------------+---------------------+-------+---------+----------|
879
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 527 | 0 | 0 |
882
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 597 | 0 | 0 |
880
883
  |-----------------------------------+---------------------+-------+---------+----------|
881
884
  | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
882
885
  ╰-----------------------------------+---------------------+-------+---------+----------╯
883
886
 
884
887
  Logs:
885
- Bound result 1526
886
- Bound result 2564
887
- Bound result 514264337593543950335
888
- Bound result 1555
889
- Bound result 2163
890
- Bound result 100000000000000000001
891
- Bound result 9900000000002759052221
892
- Bound result 61
893
- Bound result 3201
888
+ Bound result 100000000000000000002
889
+ Bound result 9900034332724180812296
890
+ Bound result 9995
891
+ Bound result 4598
892
+ Bound result 2370
893
+ Bound result 9903058954115124978751
894
+ Bound result 7457036841350673799664
895
+ Bound result 10
896
+ Bound result 6683
894
897
  Bound result 1
895
- Bound result 144960849420023
896
- Bound result 3
897
- Bound result 2690
898
- Bound result 109594122090383141534
899
- Bound result 5777
900
- Bound result 128650330022184423293
901
- Bound result 310977170524
902
- Bound result 658
903
- Bound result 5847
898
+ Bound result 9900000000000000002175
899
+ Bound result 9900000000000000005594
900
+ Bound result 170
901
+ Bound result 8395
902
+ Bound result 2427
903
+ Bound result 4089
904
+ Bound result 206
905
+ Bound result 4623
906
+ Bound result 276
907
+ Bound result 1359
908
+ Bound result 11901723978931880151758
909
+ Bound result 14406004514245552456
910
+ Bound result 510
904
911
 
905
912
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
906
913
 
907
914
  ╭-----------------------------------+---------------------+-------+---------+----------╮
908
915
  | Contract | Selector | Calls | Reverts | Discards |
909
916
  +======================================================================================+
910
- | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
917
+ | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
911
918
  |-----------------------------------+---------------------+-------+---------+----------|
912
- | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
919
+ | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
913
920
  |-----------------------------------+---------------------+-------+---------+----------|
914
- | RateLimiterRBACUpgradeableHandler | setConfig | 537 | 0 | 0 |
921
+ | RateLimiterRBACUpgradeableHandler | setConfig | 506 | 0 | 0 |
915
922
  |-----------------------------------+---------------------+-------+---------+----------|
916
- | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
923
+ | RateLimiterRBACUpgradeableHandler | setState | 590 | 0 | 0 |
917
924
  |-----------------------------------+---------------------+-------+---------+----------|
918
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 569 | 0 | 0 |
925
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
919
926
  |-----------------------------------+---------------------+-------+---------+----------|
920
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 528 | 0 | 0 |
927
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 607 | 0 | 0 |
921
928
  |-----------------------------------+---------------------+-------+---------+----------|
922
- | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
929
+ | RateLimiterRBACUpgradeableHandler | warp | 520 | 0 | 0 |
923
930
  ╰-----------------------------------+---------------------+-------+---------+----------╯
924
931
 
925
932
  Logs:
926
- Bound result 1719967068885320954582
927
- Bound result 8291
928
- Bound result 1394357908203371790358
929
- Bound result 1358144521704781813174
930
- Bound result 18554052071698574350
931
- Bound result 313433774606372297967
932
- Bound result 1
933
- Bound result 127847461363147467685
934
- Bound result 1600882309574632567580
933
+ Bound result 62439116953074
934
+ Bound result 208602550118323724314
935
935
  Bound result 0
936
- Bound result 87528
937
- Bound result 1
938
- Bound result 119551487998427114394
939
- Bound result 543
936
+ Bound result 1968062954730607005301
937
+ Bound result 2156287993793019401
938
+ Bound result 0
939
+ Bound result 528
940
+ Bound result 28261422381000768
941
+ Bound result 28
942
+ Bound result 8478
943
+ Bound result 3412
944
+ Bound result 206
945
+ Bound result 8551
946
+ Bound result 9900000000000000000010
947
+ Bound result 6914264337593535947490
948
+ Bound result 156
949
+ Bound result 10
950
+ Bound result 253
951
+ Bound result 9900000000000015786030
952
+ Bound result 100000000000000000000
953
+ Bound result 11
954
+ Bound result 13
955
+ Bound result 5
956
+ Bound result 57
957
+ Bound result 9
958
+ Bound result 6866
959
+ Bound result 64
960
+ Bound result 96205216181
961
+ Bound result 5
962
+ Bound result 13128059007170
963
+ Bound result 914928294
964
+ Bound result 11
940
965
 
941
966
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
942
967
 
943
968
  ╭-----------------------------------+---------------------+-------+---------+----------╮
944
969
  | Contract | Selector | Calls | Reverts | Discards |
945
970
  +======================================================================================+
946
- | RateLimiterRBACUpgradeableHandler | inflow | 590 | 0 | 0 |
971
+ | RateLimiterRBACUpgradeableHandler | inflow | 537 | 0 | 0 |
947
972
  |-----------------------------------+---------------------+-------+---------+----------|
948
- | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
973
+ | RateLimiterRBACUpgradeableHandler | outflow | 536 | 0 | 0 |
949
974
  |-----------------------------------+---------------------+-------+---------+----------|
950
- | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
975
+ | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
951
976
  |-----------------------------------+---------------------+-------+---------+----------|
952
- | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
977
+ | RateLimiterRBACUpgradeableHandler | setState | 528 | 0 | 0 |
953
978
  |-----------------------------------+---------------------+-------+---------+----------|
954
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 521 | 0 | 0 |
979
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 600 | 0 | 0 |
955
980
  |-----------------------------------+---------------------+-------+---------+----------|
956
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
981
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
957
982
  |-----------------------------------+---------------------+-------+---------+----------|
958
- | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
983
+ | RateLimiterRBACUpgradeableHandler | warp | 569 | 0 | 0 |
959
984
  ╰-----------------------------------+---------------------+-------+---------+----------╯
960
985
 
961
986
  Logs:
962
- Bound result 843097594233906629652
963
- Bound result 1115
964
- Bound result 603348734151419394455
965
- Bound result 2125
966
- Bound result 239448184466009964010
967
- Bound result 393
968
- Bound result 58
969
- Bound result 9900000000000000008571
970
- Bound result 9900000000000000008437
971
- Bound result 7072
972
- Bound result 5182
973
- Bound result 9900000000000000008850
974
- Bound result 9900000000000000000333
975
- Bound result 609
976
- Bound result 4948
977
- Bound result 366
978
- Bound result 7438304045304733810843
979
- Bound result 8404284090638177457886
980
- Bound result 841
981
- Bound result 1957
982
- Bound result 123
987
+ Bound result 151426663
988
+ Bound result 544428469867
989
+ Bound result 8677
990
+ Bound result 4729
991
+ Bound result 1
992
+ Bound result 9900000000000193830430
993
+ Bound result 9900000000001285328099
994
+ Bound result 9937
995
+ Bound result 4604
996
+ Bound result 458
997
+ Bound result 9900000001676812001737
998
+ Bound result 9900000000000974432457
999
+ Bound result 12
1000
+ Bound result 5520
1001
+ Bound result 100000000000000000003
1002
+ Bound result 9900000063690226264031
1003
+ Bound result 6241
1004
+ Bound result 11
1005
+ Bound result 6773
1006
+ Bound result 2480
1007
+ Bound result 0
1008
+ Bound result 2
1009
+ Bound result 14391212402129013107823
1010
+ Bound result 3
983
1011
 
984
1012
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
985
1013
 
986
1014
  ╭-----------------------------------+---------------------+-------+---------+----------╮
987
1015
  | Contract | Selector | Calls | Reverts | Discards |
988
1016
  +======================================================================================+
989
- | RateLimiterRBACUpgradeableHandler | inflow | 565 | 0 | 0 |
1017
+ | RateLimiterRBACUpgradeableHandler | inflow | 569 | 0 | 0 |
990
1018
  |-----------------------------------+---------------------+-------+---------+----------|
991
- | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
1019
+ | RateLimiterRBACUpgradeableHandler | outflow | 542 | 0 | 0 |
992
1020
  |-----------------------------------+---------------------+-------+---------+----------|
993
- | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
1021
+ | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
994
1022
  |-----------------------------------+---------------------+-------+---------+----------|
995
- | RateLimiterRBACUpgradeableHandler | setState | 563 | 0 | 0 |
1023
+ | RateLimiterRBACUpgradeableHandler | setState | 566 | 0 | 0 |
996
1024
  |-----------------------------------+---------------------+-------+---------+----------|
997
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
1025
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 513 | 0 | 0 |
998
1026
  |-----------------------------------+---------------------+-------+---------+----------|
999
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
1027
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 536 | 0 | 0 |
1000
1028
  |-----------------------------------+---------------------+-------+---------+----------|
1001
- | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
1029
+ | RateLimiterRBACUpgradeableHandler | warp | 563 | 0 | 0 |
1002
1030
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1003
1031
 
1004
1032
  Logs:
1005
- Bound result 9900000000000000000388
1006
- Bound result 9900000000000000004495
1007
- Bound result 3341
1008
- Bound result 8852
1009
- Bound result 2107269097
1010
- Bound result 8559
1011
- Bound result 1
1012
- Bound result 10
1013
- Bound result 321
1014
- Bound result 3256
1015
- Bound result 3404
1016
- Bound result 4780488956397545005517
1017
- Bound result 2
1033
+ Bound result 9900000000000000010001
1034
+ Bound result 9900000000000000006948
1035
+ Bound result 1493
1036
+ Bound result 8163
1037
+ Bound result 9436
1038
+ Bound result 2861
1039
+ Bound result 0
1040
+ Bound result 6914264337513503506069
1041
+ Bound result 1461499681722
1018
1042
  Bound result 1
1019
- Bound result 541
1020
- Bound result 3339
1021
- Bound result 1099
1022
- Bound result 2
1043
+ Bound result 4985
1044
+ Bound result 1000000000000000000000
1045
+ Bound result 1324
1046
+ Bound result 1734
1047
+ Bound result 9900000000000000008107
1048
+ Bound result 9900000000000000007742
1049
+ Bound result 8611
1050
+ Bound result 1853
1051
+ Bound result 878
1052
+ Bound result 8040
1053
+ Bound result 876
1054
+ Bound result 970
1055
+ Bound result 15330315726875253390422
1056
+ Bound result 1577214504
1057
+ Bound result 26
1058
+ Bound result 6012576
1023
1059
 
1024
1060
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1025
1061
 
1026
1062
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1027
1063
  | Contract | Selector | Calls | Reverts | Discards |
1028
1064
  +======================================================================================+
1029
- | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
1065
+ | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
1030
1066
  |-----------------------------------+---------------------+-------+---------+----------|
1031
- | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
1067
+ | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
1032
1068
  |-----------------------------------+---------------------+-------+---------+----------|
1033
- | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
1069
+ | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
1034
1070
  |-----------------------------------+---------------------+-------+---------+----------|
1035
- | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
1071
+ | RateLimiterRBACUpgradeableHandler | setState | 524 | 0 | 0 |
1036
1072
  |-----------------------------------+---------------------+-------+---------+----------|
1037
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
1073
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 564 | 0 | 0 |
1038
1074
  |-----------------------------------+---------------------+-------+---------+----------|
1039
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 559 | 0 | 0 |
1075
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
1040
1076
  |-----------------------------------+---------------------+-------+---------+----------|
1041
- | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
1077
+ | RateLimiterRBACUpgradeableHandler | warp | 587 | 0 | 0 |
1042
1078
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1043
1079
 
1044
1080
  Logs:
1045
- Bound result 9900000000000226814486
1046
- Bound result 6026107258977535973824
1047
- Bound result 9995
1048
- Bound result 21
1049
- Bound result 5000
1050
- Bound result 10071901382170622469731
1051
- Bound result 117169902
1052
- Bound result 1
1053
- Bound result 2167
1054
- Bound result 16959085367387783221843
1055
- Bound result 692749718320866708425
1056
- Bound result 1
1057
- Bound result 1
1058
- Bound result 9900000000000000020377
1059
- Bound result 100000000000000000003
1060
- Bound result 8565
1061
- Bound result 5563
1062
- Bound result 10414
1063
- Bound result 7873
1064
- Bound result 1
1065
- Bound result 379505346354
1066
- Bound result 16662214618192698907
1067
- Bound result 0
1068
- Bound result 9900000000000000000997
1069
- Bound result 9900000000000000006941
1070
- Bound result 3902
1071
- Bound result 5339
1072
- Bound result 6686723161015425459948
1073
- Bound result 4954759328404501193722
1074
- Bound result 1
1075
- Bound result 10655969
1076
- Bound result 8780606157472726661528
1077
- Bound result 9900000000002246998951
1078
- Bound result 4125
1079
- Bound result 538
1080
- Bound result 5174863407976657188162
1081
- Bound result 9900000000000000008802
1082
- Bound result 3901
1083
- Bound result 3068
1081
+ Bound result 6812
1082
+ Bound result 24
1083
+ Bound result 1127
1084
+ Bound result 5350
1085
+ Bound result 57573617408
1086
+ Bound result 556
1087
+ Bound result 54060530149852759671
1088
+ Bound result 8019
1089
+ Bound result 799
1090
+ Bound result 9900000000005407462424
1091
+ Bound result 8862632964653491408180
1092
+ Bound result 6239
1093
+ Bound result 16
1094
+ Bound result 8425
1095
+ Bound result 6328418789405371812859
1096
+ Bound result 9908533550220498744927
1097
+ Bound result 2360
1098
+ Bound result 2158
1099
+ Bound result 2949
1084
1100
 
1085
1101
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1086
1102
 
1087
1103
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1088
1104
  | Contract | Selector | Calls | Reverts | Discards |
1089
1105
  +======================================================================================+
1090
- | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
1106
+ | RateLimiterRBACUpgradeableHandler | inflow | 568 | 0 | 0 |
1091
1107
  |-----------------------------------+---------------------+-------+---------+----------|
1092
- | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
1108
+ | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
1093
1109
  |-----------------------------------+---------------------+-------+---------+----------|
1094
- | RateLimiterRBACUpgradeableHandler | setConfig | 522 | 0 | 0 |
1110
+ | RateLimiterRBACUpgradeableHandler | setConfig | 548 | 0 | 0 |
1095
1111
  |-----------------------------------+---------------------+-------+---------+----------|
1096
- | RateLimiterRBACUpgradeableHandler | setState | 556 | 0 | 0 |
1112
+ | RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
1097
1113
  |-----------------------------------+---------------------+-------+---------+----------|
1098
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
1114
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
1099
1115
  |-----------------------------------+---------------------+-------+---------+----------|
1100
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
1116
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 522 | 0 | 0 |
1101
1117
  |-----------------------------------+---------------------+-------+---------+----------|
1102
- | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
1118
+ | RateLimiterRBACUpgradeableHandler | warp | 563 | 0 | 0 |
1103
1119
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1104
1120
 
1105
1121
  Logs:
1106
- Bound result 1539238203920926960288
1107
- Bound result 1295
1122
+ Bound result 1132927192622260117763
1123
+ Bound result 9900000000000000008458
1124
+ Bound result 9900000000000000004163
1125
+ Bound result 6932
1126
+ Bound result 9600
1127
+ Bound result 3805
1128
+ Bound result 532
1129
+ Bound result 1
1130
+ Bound result 1266
1131
+ Bound result 9488
1132
+ Bound result 1
1133
+ Bound result 11650442
1134
+ Bound result 3351601249050388404152
1135
+ Bound result 1004340946196
1136
+ Bound result 0
1137
+ Bound result 82
1138
+ Bound result 519573192280434657065
1108
1139
  Bound result 3
1109
- Bound result 2589
1110
- Bound result 90
1111
- Bound result 9901070204322531333245
1112
- Bound result 8187265482273385124138
1113
- Bound result 8731
1114
- Bound result 1421
1115
- Bound result 145375618598046352
1116
- Bound result 2564
1117
- Bound result 2
1118
- Bound result 3696
1140
+ Bound result 1
1141
+ Bound result 19642052500818990864537
1142
+ Bound result 9164068459275544705
1143
+ Bound result 1
1144
+ Bound result 9900000000000000001593
1145
+ Bound result 9900000000000000010221
1146
+ Bound result 7402
1147
+ Bound result 13
1148
+ Bound result 1234
1149
+ Bound result 275
1150
+ Bound result 924
1151
+ Bound result 1
1119
1152
 
1120
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 3.58s (16.88s CPU time)
1153
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.42s (8.48s CPU time)
1154
+
1155
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
1156
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25725, ~: 38584)
1157
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
1158
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
1159
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
1160
+ [PASS] test_isPaused_InitialState() (gas: 15595)
1161
+ [PASS] test_pause() (gas: 39592)
1162
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27803, ~: 16219)
1163
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
1164
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
1165
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
1166
+ [PASS] test_storageHash() (gas: 3414)
1167
+ [PASS] test_unpause() (gas: 31115)
1168
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40498, ~: 42029)
1169
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
1170
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
1171
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
1172
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
1173
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
1174
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
1175
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 11.88s (205.77ms CPU time)
1121
1176
 
1122
1177
  Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1123
1178
  [PASS] test_SwitchModes_PreservesState() (gas: 195548)
@@ -1152,7 +1207,7 @@ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTes
1152
1207
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1153
1208
  [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
1154
1209
  [PASS] test_storageHash() (gas: 3480)
1155
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 15.49s (1.49s CPU time)
1210
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 11.88s (422.52ms CPU time)
1156
1211
 
1157
1212
  Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1158
1213
  [PASS] test_SwitchModes_PreservesState() (gas: 186406)
@@ -1164,7 +1219,7 @@ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTes
1164
1219
  [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1165
1220
  [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1166
1221
  [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1167
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 109990, ~: 110030)
1222
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1168
1223
  [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1169
1224
  [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1170
1225
  [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
@@ -1184,12 +1239,42 @@ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTes
1184
1239
  [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1185
1240
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1186
1241
  [PASS] test_storageHash() (gas: 3458)
1187
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 16.19s (1.67s CPU time)
1242
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 11.88s (553.17ms CPU time)
1243
+
1244
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1245
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1246
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1247
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47672, ~: 48966)
1248
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1249
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1250
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1251
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1252
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1253
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1254
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1255
+ [PASS] test_getFee_Default() (gas: 43108)
1256
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45988, ~: 47017)
1257
+ [PASS] test_getFee_Rounding() (gas: 45449)
1258
+ [PASS] test_getFee_Specific() (gas: 66985)
1259
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1260
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
1261
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35320, ~: 42268)
1262
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1263
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1264
+ [PASS] test_setFeeBps() (gas: 77237)
1265
+ Logs:
1266
+ Bound result 500
1267
+
1268
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69376, ~: 77570)
1269
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1270
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1271
+ [PASS] test_storageHash() (gas: 3436)
1272
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 12.52s (579.98ms CPU time)
1188
1273
 
1189
1274
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1190
1275
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1191
1276
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1192
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 796332, ~: 182042)
1277
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 803179, ~: 222888)
1193
1278
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1194
1279
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1195
1280
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1202,12 +1287,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1202
1287
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1203
1288
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1204
1289
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1205
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11183416, ~: 10567958)
1290
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11233787, ~: 10577063)
1206
1291
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1207
1292
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1208
1293
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1209
1294
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1210
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 764908, ~: 200492)
1295
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 759411, ~: 184347)
1211
1296
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1212
1297
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1213
1298
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1220,60 +1305,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1220
1305
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1221
1306
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1222
1307
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1223
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11129832, ~: 10412135)
1308
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11180027, ~: 10415027)
1224
1309
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1225
1310
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1226
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 16.18s (39.79s CPU time)
1227
-
1228
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
1229
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26112, ~: 38584)
1230
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
1231
- [PASS] test_assertNotPaused_Success() (gas: 12516)
1232
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
1233
- [PASS] test_isPaused_InitialState() (gas: 15595)
1234
- [PASS] test_pause() (gas: 39592)
1235
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28110, ~: 39861)
1236
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
1237
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
1238
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
1239
- [PASS] test_storageHash() (gas: 3414)
1240
- [PASS] test_unpause() (gas: 31115)
1241
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40498, ~: 42029)
1242
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
1243
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
1244
- [PASS] test_whenNotPaused_Success() (gas: 38744)
1245
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
1246
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
1247
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
1248
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 16.19s (286.33ms CPU time)
1249
-
1250
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1251
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1252
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1253
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44867, ~: 46317)
1254
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1255
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1256
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1257
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1258
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1259
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1260
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1261
- [PASS] test_getFee_Default() (gas: 40577)
1262
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43423, ~: 44486)
1263
- [PASS] test_getFee_Rounding() (gas: 42835)
1264
- [PASS] test_getFee_Specific() (gas: 63968)
1265
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1266
- [PASS] test_setDefaultFeeBps() (gas: 39576)
1267
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32793, ~: 39667)
1268
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1269
- [PASS] test_setFeeBps() (gas: 73871)
1270
- Logs:
1271
- Bound result 500
1272
-
1273
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65832, ~: 74224)
1274
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1275
- [PASS] test_storageHash() (gas: 3426)
1276
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 16.19s (1.68s CPU time)
1311
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 12.52s (28.45s CPU time)
1277
1312
 
1278
- Ran 17 test suites in 16.23s (95.51s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1279
- ⏳ forge test: 32.992s
1313
+ Ran 17 test suites in 12.55s (68.54s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1314
+ ⏳ forge test: 28.778s