@layerzerolabs/utils-upgradeable-evm-contracts 0.2.90 → 0.2.92

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 +675 -713
  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 {{.Id}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
8
- (node:97169) [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:152469) [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 11.65s
16
+ Solc 0.8.22 finished in 19.03s
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,53 +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 19.53ms (16.88ms CPU time)
176
-
177
- Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
178
- [PASS] test_feeDeposit() (gas: 17638)
179
- [PASS] test_setFeeDeposit() (gas: 27596)
180
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
181
- [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
182
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
183
- [PASS] test_storageHash() (gas: 3315)
184
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 54.78ms (54.10ms CPU time)
185
-
186
139
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
187
140
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
188
141
  [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
@@ -224,7 +177,50 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
224
177
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
225
178
  [PASS] test_storageHash() (gas: 3392)
226
179
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
227
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 38.72ms (16.48ms CPU time)
180
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 51.27ms (31.16ms CPU time)
181
+
182
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
183
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
184
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
185
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
186
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
187
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
188
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
189
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
190
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
191
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
192
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
193
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 294.40ms (294.18ms CPU time)
194
+
195
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
196
+ [PASS] test_feeDeposit() (gas: 17576)
197
+ [PASS] test_setFeeDeposit() (gas: 24995)
198
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
199
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
200
+ [PASS] test_storageHash() (gas: 3337)
201
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 400.04ms (147.00ms CPU time)
202
+
203
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
204
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26009, ~: 38584)
205
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
206
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
207
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
208
+ [PASS] test_isPaused_InitialState() (gas: 15595)
209
+ [PASS] test_pause() (gas: 39592)
210
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28489, ~: 39861)
211
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
212
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
213
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
214
+ [PASS] test_storageHash() (gas: 3414)
215
+ [PASS] test_unpause() (gas: 31115)
216
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40382, ~: 38893)
217
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
218
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
219
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
220
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
221
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
222
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
223
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 432.95ms (562.30ms CPU time)
228
224
 
229
225
  Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
230
226
  [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26683, ~: 12786)
@@ -238,7 +234,7 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
238
234
  [PASS] test_pause() (gas: 42109)
239
235
  [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
240
236
  [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
241
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30094, ~: 18756)
237
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30590, ~: 42378)
242
238
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
243
239
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
244
240
  [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
@@ -247,58 +243,14 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
247
243
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
248
244
  [PASS] test_storageHash() (gas: 3414)
249
245
  [PASS] test_unpause() (gas: 35177)
250
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41562, ~: 38860)
246
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41585, ~: 38860)
251
247
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
252
248
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
253
249
  [PASS] test_whenNotPaused_Success() (gas: 38800)
254
250
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
255
251
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
256
252
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
257
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 134.13ms (256.67ms CPU time)
258
-
259
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
260
- [PASS] test_feeDeposit() (gas: 17576)
261
- [PASS] test_setFeeDeposit() (gas: 24995)
262
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21451, ~: 21454)
263
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
264
- [PASS] test_storageHash() (gas: 3337)
265
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 176.33ms (85.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 230.94ms (406.12ms CPU time)
253
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 456.62ms (634.50ms CPU time)
302
254
 
303
255
  Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
304
256
  [PASS] test_SwitchModes_PreservesState() (gas: 186406)
@@ -330,7 +282,7 @@ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTes
330
282
  [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
331
283
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
332
284
  [PASS] test_storageHash() (gas: 3458)
333
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 1.00s (381.50ms CPU time)
285
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 3.71s (1.13s CPU time)
334
286
 
335
287
  Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
336
288
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
@@ -347,16 +299,16 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
347
299
  [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
348
300
  [PASS] test_pauseConfig() (gas: 45626)
349
301
  [PASS] test_setDefaultPaused() (gas: 39667)
350
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27841, ~: 16332)
302
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28313, ~: 39918)
351
303
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
352
304
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
353
305
  [PASS] test_setPaused() (gas: 43060)
354
306
  [PASS] test_setPaused_EmptyArray() (gas: 10900)
355
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38517, ~: 43373)
307
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38835, ~: 43373)
356
308
  [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
357
309
  [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
358
310
  [PASS] test_setPaused_Success_Toggle() (gas: 51442)
359
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58637, ~: 69608)
311
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58434, ~: 69608)
360
312
  [PASS] test_storageHash() (gas: 3480)
361
313
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
362
314
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
@@ -364,870 +316,850 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
364
316
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
365
317
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
366
318
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
367
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 1.03s (293.03ms CPU time)
368
-
369
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
370
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
371
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
372
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
373
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
374
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
375
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
376
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
377
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
378
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
379
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
380
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 931.65ms (73.97ms CPU time)
381
-
382
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
383
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
384
- [PASS] test_constructor_InitialMode() (gas: 15778)
385
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
386
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
387
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
388
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
389
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
390
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
391
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
392
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
393
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
394
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
395
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
396
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
397
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
398
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
399
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
400
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
401
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
402
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
403
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
404
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
405
- [PASS] test_setMode_Blacklist() (gas: 42605)
406
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
407
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
408
- [PASS] test_setMode_Whitelist() (gas: 42714)
409
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
410
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
411
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
412
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
413
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
414
- [PASS] test_storageHash() (gas: 3480)
415
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.12s (488.59ms CPU time)
416
-
417
- Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
418
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
419
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
420
- [PASS] test_assertNotPaused_Success() (gas: 14891)
421
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
422
- [PASS] test_defaultPaused_InitialState() (gas: 15572)
423
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
424
- [PASS] test_isPaused_Default() (gas: 47316)
425
- [PASS] test_isPaused_InitialState() (gas: 22172)
426
- [PASS] test_isPaused_MultipleIDs() (gas: 80142)
427
- [PASS] test_isPaused_Override() (gas: 75171)
428
- [PASS] test_isPaused_Specific() (gas: 50105)
429
- [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
430
- [PASS] test_pauseConfig() (gas: 51028)
431
- [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
432
- [PASS] test_setDefaultPaused() (gas: 42196)
433
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30352, ~: 18826)
434
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
435
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
436
- [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
437
- [PASS] test_setDefaultPaused_Success() (gas: 40744)
438
- [PASS] test_setPaused() (gas: 48361)
439
- [PASS] test_setPaused_DormantData() (gas: 295234)
440
- [PASS] test_setPaused_EmptyArray() (gas: 15702)
441
- [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
442
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43925, ~: 48696)
443
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222868, ~: 219722)
444
- [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
445
- [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
446
- [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
447
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
448
- [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
449
- [PASS] test_setPaused_Success() (gas: 45897)
450
- [PASS] test_setPaused_Success_Batch() (gas: 345312)
451
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
452
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
453
- [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
454
- [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
455
- [PASS] test_setPaused_Success_Toggle() (gas: 58022)
456
- [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
457
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62203, ~: 50341)
458
- [PASS] test_storageHash() (gas: 3392)
459
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
460
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
461
- [PASS] test_whenNotPaused_Success() (gas: 41299)
462
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
463
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
464
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
465
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.12s (529.44ms CPU time)
319
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 3.67s (1.26s CPU time)
466
320
 
467
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
321
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
468
322
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
469
323
 
470
324
  ╭-----------------------------------+---------------------+-------+---------+----------╮
471
325
  | Contract | Selector | Calls | Reverts | Discards |
472
326
  +======================================================================================+
473
- | RateLimiterRBACUpgradeableHandler | inflow | 524 | 0 | 0 |
327
+ | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
474
328
  |-----------------------------------+---------------------+-------+---------+----------|
475
- | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
329
+ | RateLimiterRBACUpgradeableHandler | outflow | 586 | 0 | 0 |
476
330
  |-----------------------------------+---------------------+-------+---------+----------|
477
- | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
331
+ | RateLimiterRBACUpgradeableHandler | setConfig | 512 | 0 | 0 |
478
332
  |-----------------------------------+---------------------+-------+---------+----------|
479
- | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
333
+ | RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
480
334
  |-----------------------------------+---------------------+-------+---------+----------|
481
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 549 | 0 | 0 |
335
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
482
336
  |-----------------------------------+---------------------+-------+---------+----------|
483
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
337
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
484
338
  |-----------------------------------+---------------------+-------+---------+----------|
485
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
339
+ | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
486
340
  ╰-----------------------------------+---------------------+-------+---------+----------╯
487
341
 
488
342
  Logs:
489
- Bound result 9900000000000000006502
490
- Bound result 9900000000000000006362
491
- Bound result 5608
492
- Bound result 7490
493
- Bound result 8552
494
- Bound result 2737072852
343
+ Bound result 9917
344
+ Bound result 514264337593504336252
345
+ Bound result 14329
346
+ Bound result 1
347
+ Bound result 96353
348
+ Bound result 169206340647467504
349
+ Bound result 4412799199719995
495
350
  Bound result 0
496
- Bound result 8394828540494898387143
497
- Bound result 9028
498
- Bound result 9976
499
- Bound result 8667
351
+ Bound result 6682
352
+ Bound result 1699956277687849762335
353
+ Bound result 514264337593504336253
500
354
  Bound result 0
501
- Bound result 307
502
- Bound result 10558
503
- Bound result 1
504
- Bound result 2661
505
- Bound result 6914264337541509458645
506
- Bound result 842910713
355
+ Bound result 17
356
+ Bound result 1999752063114406744155
357
+ Bound result 100360533218250
358
+ Bound result 15
507
359
 
508
360
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
509
361
 
510
362
  ╭-----------------------------------+---------------------+-------+---------+----------╮
511
363
  | Contract | Selector | Calls | Reverts | Discards |
512
364
  +======================================================================================+
513
- | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
365
+ | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
514
366
  |-----------------------------------+---------------------+-------+---------+----------|
515
- | RateLimiterRBACUpgradeableHandler | outflow | 528 | 0 | 0 |
367
+ | RateLimiterRBACUpgradeableHandler | outflow | 526 | 0 | 0 |
516
368
  |-----------------------------------+---------------------+-------+---------+----------|
517
- | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
369
+ | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
518
370
  |-----------------------------------+---------------------+-------+---------+----------|
519
- | RateLimiterRBACUpgradeableHandler | setState | 572 | 0 | 0 |
371
+ | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
520
372
  |-----------------------------------+---------------------+-------+---------+----------|
521
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
373
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
522
374
  |-----------------------------------+---------------------+-------+---------+----------|
523
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 573 | 0 | 0 |
375
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 575 | 0 | 0 |
524
376
  |-----------------------------------+---------------------+-------+---------+----------|
525
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
377
+ | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
526
378
  ╰-----------------------------------+---------------------+-------+---------+----------╯
527
379
 
528
380
  Logs:
529
- Bound result 936
530
- Bound result 870680033952086880469
531
- Bound result 9900000280956623565102
532
- Bound result 10
533
- Bound result 33
534
- Bound result 9900000000000000005130
535
- Bound result 9900000000000000008388
536
- Bound result 5025
537
- Bound result 9975
538
- Bound result 2703
539
- Bound result 555
540
- Bound result 214
541
- Bound result 7447
542
- Bound result 7590
543
- Bound result 17
544
- Bound result 12284660694548556391805
545
- Bound result 18432727978832894860358
546
- Bound result 27
547
- Bound result 1425372418870271346154
548
- Bound result 2
549
- Bound result 131
550
- Bound result 928
551
- Bound result 3
552
- Bound result 100000000000000000000
553
- Bound result 160241908583501529056
554
- Bound result 23
555
- Bound result 9527
556
- Bound result 9900000000002739854340
557
- Bound result 9900000000000000004194
558
- Bound result 6743
559
- Bound result 8724
560
- Bound result 1586
381
+ Bound result 2417021052
382
+ Bound result 6411
383
+ Bound result 118271272
384
+ Bound result 26572996
385
+ Bound result 546590668860510745941
386
+ Bound result 6906
387
+ Bound result 9900000000000000008320
388
+ Bound result 9900000000000000005999
389
+ Bound result 7868
390
+ Bound result 168
391
+ Bound result 48244
561
392
 
562
393
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
563
394
 
564
395
  ╭-----------------------------------+---------------------+-------+---------+----------╮
565
396
  | Contract | Selector | Calls | Reverts | Discards |
566
397
  +======================================================================================+
567
- | RateLimiterRBACUpgradeableHandler | inflow | 539 | 0 | 0 |
398
+ | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
568
399
  |-----------------------------------+---------------------+-------+---------+----------|
569
- | RateLimiterRBACUpgradeableHandler | outflow | 529 | 0 | 0 |
400
+ | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
570
401
  |-----------------------------------+---------------------+-------+---------+----------|
571
- | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
402
+ | RateLimiterRBACUpgradeableHandler | setConfig | 555 | 0 | 0 |
572
403
  |-----------------------------------+---------------------+-------+---------+----------|
573
- | RateLimiterRBACUpgradeableHandler | setState | 584 | 0 | 0 |
404
+ | RateLimiterRBACUpgradeableHandler | setState | 531 | 0 | 0 |
574
405
  |-----------------------------------+---------------------+-------+---------+----------|
575
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
406
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
576
407
  |-----------------------------------+---------------------+-------+---------+----------|
577
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 539 | 0 | 0 |
408
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 585 | 0 | 0 |
578
409
  |-----------------------------------+---------------------+-------+---------+----------|
579
- | RateLimiterRBACUpgradeableHandler | warp | 528 | 0 | 0 |
410
+ | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
580
411
  ╰-----------------------------------+---------------------+-------+---------+----------╯
581
412
 
582
413
  Logs:
583
- Bound result 120126172
584
- Bound result 9900000000000000000384
585
- Bound result 9900000000000000008081
586
- Bound result 7533
587
- Bound result 1106
588
- Bound result 2361170317345673844
589
- Bound result 79
590
- Bound result 3930
591
- Bound result 351
592
- Bound result 1
593
- Bound result 64858553136453261
594
- Bound result 10177970
414
+ Bound result 890
415
+ Bound result 9493
416
+ Bound result 6027
417
+ Bound result 1244
418
+ Bound result 55678474028
419
+ Bound result 113295205378231431004
420
+ Bound result 603
421
+ Bound result 3057
422
+ Bound result 1244
595
423
  Bound result 1
596
- Bound result 7182
424
+ Bound result 1259158851
425
+ Bound result 37463
426
+ Bound result 15599707876
427
+ Bound result 727317950233
428
+ Bound result 728
429
+ Bound result 779
430
+ Bound result 74596
431
+ Bound result 8183
597
432
 
598
433
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
599
434
 
600
435
  ╭-----------------------------------+---------------------+-------+---------+----------╮
601
436
  | Contract | Selector | Calls | Reverts | Discards |
602
437
  +======================================================================================+
603
- | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
438
+ | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
604
439
  |-----------------------------------+---------------------+-------+---------+----------|
605
- | RateLimiterRBACUpgradeableHandler | outflow | 561 | 0 | 0 |
440
+ | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
606
441
  |-----------------------------------+---------------------+-------+---------+----------|
607
- | RateLimiterRBACUpgradeableHandler | setConfig | 541 | 0 | 0 |
442
+ | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
608
443
  |-----------------------------------+---------------------+-------+---------+----------|
609
- | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
444
+ | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
610
445
  |-----------------------------------+---------------------+-------+---------+----------|
611
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 560 | 0 | 0 |
446
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 579 | 0 | 0 |
612
447
  |-----------------------------------+---------------------+-------+---------+----------|
613
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 536 | 0 | 0 |
448
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
614
449
  |-----------------------------------+---------------------+-------+---------+----------|
615
- | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
450
+ | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
616
451
  ╰-----------------------------------+---------------------+-------+---------+----------╯
617
452
 
618
453
  Logs:
619
- Bound result 1737283783321160611425
620
- Bound result 1213176649727457792503
454
+ Bound result 1289721589334596598671
455
+ Bound result 9900000000000000003902
456
+ Bound result 9900000000000000002158
457
+ Bound result 8301
458
+ Bound result 6529
459
+ Bound result 6951122139389
460
+ Bound result 1025833891334
461
+ Bound result 861317724
621
462
  Bound result 0
622
- Bound result 817
623
- Bound result 5198
624
- Bound result 1
625
- Bound result 1140215158193694462296
626
- Bound result 280433268348321584924
627
- Bound result 88361866341315578110
628
- Bound result 1
629
- Bound result 688572355706
630
- Bound result 502208948545
631
- Bound result 1
632
- Bound result 3480
633
- Bound result 2163
634
- Bound result 1
635
- Bound result 9900000000000000005100
636
- Bound result 9900000000000000003588
637
- Bound result 580
638
- Bound result 7064
639
- Bound result 7470
640
- Bound result 4208
641
- Bound result 158152548184649
642
- Bound result 96
643
- Bound result 9900000000000000005805
644
- Bound result 2171449129615187758927
645
- Bound result 670
646
- Bound result 8822
463
+ Bound result 3041954474
464
+ Bound result 1151
465
+ Bound result 1302
466
+ Bound result 9216
467
+ Bound result 9900000000000000000047
468
+ Bound result 100000000000000000000
469
+ Bound result 10
470
+ Bound result 8287
471
+ Bound result 1149717005859711966
647
472
 
648
473
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
649
474
 
650
475
  ╭-----------------------------------+---------------------+-------+---------+----------╮
651
476
  | Contract | Selector | Calls | Reverts | Discards |
652
477
  +======================================================================================+
653
- | RateLimiterRBACUpgradeableHandler | inflow | 565 | 0 | 0 |
478
+ | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
654
479
  |-----------------------------------+---------------------+-------+---------+----------|
655
- | RateLimiterRBACUpgradeableHandler | outflow | 551 | 0 | 0 |
480
+ | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
656
481
  |-----------------------------------+---------------------+-------+---------+----------|
657
- | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
482
+ | RateLimiterRBACUpgradeableHandler | setConfig | 587 | 0 | 0 |
658
483
  |-----------------------------------+---------------------+-------+---------+----------|
659
- | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
484
+ | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
660
485
  |-----------------------------------+---------------------+-------+---------+----------|
661
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 558 | 0 | 0 |
486
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 564 | 0 | 0 |
662
487
  |-----------------------------------+---------------------+-------+---------+----------|
663
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 523 | 0 | 0 |
488
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 515 | 0 | 0 |
664
489
  |-----------------------------------+---------------------+-------+---------+----------|
665
- | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
490
+ | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
666
491
  ╰-----------------------------------+---------------------+-------+---------+----------╯
667
492
 
668
493
  Logs:
669
- Bound result 100000000000000000002
670
- Bound result 100000000000000000001
671
- Bound result 9998
672
- Bound result 9525
673
- Bound result 245134047024
674
- Bound result 58215655257559665
675
- Bound result 8993
676
- Bound result 6889
494
+ Bound result 1293
495
+ Bound result 53
496
+ Bound result 99645839873234
677
497
  Bound result 0
678
- Bound result 6914264337593535947488
679
- Bound result 3321806052017649644244
680
- Bound result 93
681
- Bound result 9281
682
- Bound result 127651733157508988170
683
- Bound result 45056012726518494
684
- Bound result 10708
685
- Bound result 3016663576
686
- Bound result 1
687
- Bound result 9900000272548288770462
688
- Bound result 9900315524224576718983
689
- Bound result 8082
690
- Bound result 12
498
+ Bound result 748
499
+ Bound result 534896957
500
+ Bound result 428
501
+ Bound result 9900000000000907087676
502
+ Bound result 6914264337593535947490
503
+ Bound result 6596
504
+ Bound result 395
505
+ Bound result 9
506
+ Bound result 10
691
507
 
692
508
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
693
509
 
694
510
  ╭-----------------------------------+---------------------+-------+---------+----------╮
695
511
  | Contract | Selector | Calls | Reverts | Discards |
696
512
  +======================================================================================+
697
- | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
513
+ | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
698
514
  |-----------------------------------+---------------------+-------+---------+----------|
699
- | RateLimiterRBACUpgradeableHandler | outflow | 556 | 0 | 0 |
515
+ | RateLimiterRBACUpgradeableHandler | outflow | 525 | 0 | 0 |
700
516
  |-----------------------------------+---------------------+-------+---------+----------|
701
- | RateLimiterRBACUpgradeableHandler | setConfig | 528 | 0 | 0 |
517
+ | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
702
518
  |-----------------------------------+---------------------+-------+---------+----------|
703
- | RateLimiterRBACUpgradeableHandler | setState | 524 | 0 | 0 |
519
+ | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
704
520
  |-----------------------------------+---------------------+-------+---------+----------|
705
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 516 | 0 | 0 |
521
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
706
522
  |-----------------------------------+---------------------+-------+---------+----------|
707
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
523
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 567 | 0 | 0 |
708
524
  |-----------------------------------+---------------------+-------+---------+----------|
709
- | RateLimiterRBACUpgradeableHandler | warp | 585 | 0 | 0 |
525
+ | RateLimiterRBACUpgradeableHandler | warp | 560 | 0 | 0 |
710
526
  ╰-----------------------------------+---------------------+-------+---------+----------╯
711
527
 
712
528
  Logs:
713
- Bound result 9901435632743157644241
714
- Bound result 9901969462164895524567
715
- Bound result 3947
716
- Bound result 52
717
- Bound result 452777886
718
- Bound result 921
529
+ Bound result 9900000000000000003676
530
+ Bound result 9900000000000000008131
531
+ Bound result 9898
532
+ Bound result 9139
533
+ Bound result 3350
534
+ Bound result 1099511627778
719
535
  Bound result 0
720
- Bound result 2207
721
- Bound result 441
536
+ Bound result 16458776968849275742358
537
+ Bound result 961060772265
722
538
  Bound result 0
723
- Bound result 47019549863
724
- Bound result 6820916856024568582471
539
+ Bound result 11684
540
+ Bound result 7064186584550165822817
541
+ Bound result 30981
542
+ Bound result 6684801627
543
+ Bound result 10779857273809
725
544
  Bound result 1
726
- Bound result 18997737545007534654196
727
- Bound result 9900000000000000008510
728
- Bound result 9900000000000000000934
729
- Bound result 3991
730
- Bound result 868
731
- Bound result 797
732
- Bound result 12479280886668816485408
733
- Bound result 131
545
+ Bound result 8919
546
+ Bound result 1
547
+ Bound result 9900000000000058750637
548
+ Bound result 9900002063759687105302
734
549
  Bound result 12
735
- Bound result 9900000000000000000146
736
- Bound result 9900000000000000007794
737
- Bound result 7401
738
- Bound result 7057
739
- Bound result 9900000000001666094043
740
- Bound result 9900000000000000000082
741
- Bound result 5740
742
- Bound result 187
743
- Bound result 12549129077330
744
- Bound result 7471
550
+ Bound result 13
745
551
 
746
552
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
747
553
 
748
554
  ╭-----------------------------------+---------------------+-------+---------+----------╮
749
555
  | Contract | Selector | Calls | Reverts | Discards |
750
556
  +======================================================================================+
751
- | RateLimiterRBACUpgradeableHandler | inflow | 529 | 0 | 0 |
557
+ | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
752
558
  |-----------------------------------+---------------------+-------+---------+----------|
753
- | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
559
+ | RateLimiterRBACUpgradeableHandler | outflow | 530 | 0 | 0 |
754
560
  |-----------------------------------+---------------------+-------+---------+----------|
755
561
  | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
756
562
  |-----------------------------------+---------------------+-------+---------+----------|
757
- | RateLimiterRBACUpgradeableHandler | setState | 585 | 0 | 0 |
563
+ | RateLimiterRBACUpgradeableHandler | setState | 557 | 0 | 0 |
758
564
  |-----------------------------------+---------------------+-------+---------+----------|
759
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
565
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
760
566
  |-----------------------------------+---------------------+-------+---------+----------|
761
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 508 | 0 | 0 |
567
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
762
568
  |-----------------------------------+---------------------+-------+---------+----------|
763
- | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
569
+ | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
764
570
  ╰-----------------------------------+---------------------+-------+---------+----------╯
765
571
 
766
572
  Logs:
767
- Bound result 9900000000000000008273
768
- Bound result 9900000000000000009798
769
- Bound result 6121
770
- Bound result 4117
771
- Bound result 97
772
- Bound result 163
773
- Bound result 1
774
- Bound result 5303
775
- Bound result 9910141428271184924719
776
- Bound result 9900000278900667391154
573
+ Bound result 9900000000000000247167
574
+ Bound result 9900000000000000000765
575
+ Bound result 2787
777
576
  Bound result 10
778
- Bound result 337
779
- Bound result 7119492002508891274431
780
- Bound result 9900000000000000000022
781
- Bound result 47
782
- Bound result 4550
783
- Bound result 20533959969648266
784
- Bound result 1
785
- Bound result 2244997822931059126814
786
- Bound result 39250825971985
787
- Bound result 9
788
- Bound result 41
789
- Bound result 9900000000000000008292
790
- Bound result 9900000000002072215440
791
- Bound result 9539
792
- Bound result 8363
793
- Bound result 611357
577
+ Bound result 9900000000000000006143
578
+ Bound result 9900000000000000001231
579
+ Bound result 7064
580
+ Bound result 279
581
+ Bound result 732
582
+ Bound result 7108
583
+ Bound result 9975
584
+ Bound result 1310238
585
+ Bound result 84
586
+ Bound result 9900000000000033540520
587
+ Bound result 9900000000000000005785
588
+ Bound result 2928
589
+ Bound result 1201
590
+ Bound result 9424362193353174422707
591
+ Bound result 9955
592
+ Bound result 720
593
+ Bound result 2162
594
+ Bound result 9900000028142141643098
595
+ Bound result 9900000000000000001137
596
+ Bound result 6878
597
+ Bound result 9551
598
+ Bound result 2828
794
599
 
795
600
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
796
601
 
797
602
  ╭-----------------------------------+---------------------+-------+---------+----------╮
798
603
  | Contract | Selector | Calls | Reverts | Discards |
799
604
  +======================================================================================+
800
- | RateLimiterRBACUpgradeableHandler | inflow | 515 | 0 | 0 |
605
+ | RateLimiterRBACUpgradeableHandler | inflow | 519 | 0 | 0 |
801
606
  |-----------------------------------+---------------------+-------+---------+----------|
802
- | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
607
+ | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
803
608
  |-----------------------------------+---------------------+-------+---------+----------|
804
- | RateLimiterRBACUpgradeableHandler | setConfig | 567 | 0 | 0 |
609
+ | RateLimiterRBACUpgradeableHandler | setConfig | 562 | 0 | 0 |
805
610
  |-----------------------------------+---------------------+-------+---------+----------|
806
- | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
611
+ | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
807
612
  |-----------------------------------+---------------------+-------+---------+----------|
808
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 558 | 0 | 0 |
613
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
809
614
  |-----------------------------------+---------------------+-------+---------+----------|
810
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
615
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
811
616
  |-----------------------------------+---------------------+-------+---------+----------|
812
- | RateLimiterRBACUpgradeableHandler | warp | 571 | 0 | 0 |
617
+ | RateLimiterRBACUpgradeableHandler | warp | 564 | 0 | 0 |
813
618
  ╰-----------------------------------+---------------------+-------+---------+----------╯
814
619
 
815
620
  Logs:
816
- Bound result 1976
817
- Bound result 9900000000002739854341
818
- Bound result 9900000000000000004861
819
- Bound result 3135
820
- Bound result 1141
821
- Bound result 1082
822
- Bound result 1808
823
- Bound result 565
824
- Bound result 4382
825
- Bound result 1538
826
- Bound result 1
827
- Bound result 3218
828
- Bound result 3500
829
- Bound result 695283524515289737
830
- Bound result 154
831
- Bound result 2703
832
- Bound result 1980
833
- Bound result 4780480609335395172676
834
- Bound result 8151
621
+ Bound result 169
622
+ Bound result 28
623
+ Bound result 4241465416
624
+ Bound result 9900000000000113355671
625
+ Bound result 100000000000000000003
626
+ Bound result 106
627
+ Bound result 7712
628
+ Bound result 5739
835
629
 
836
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.21s (7.53s CPU time)
630
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 3.90s (25.46s CPU time)
837
631
 
838
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
632
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
633
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
634
+ [PASS] test_constructor_InitialMode() (gas: 15778)
635
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
636
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
637
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
638
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
639
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
640
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
641
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
642
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
643
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
644
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
645
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
646
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
647
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
648
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
649
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
650
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
651
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
652
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
653
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
654
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
655
+ [PASS] test_setMode_Blacklist() (gas: 42605)
656
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
657
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
658
+ [PASS] test_setMode_Whitelist() (gas: 42714)
659
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
660
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
661
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
662
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
663
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
664
+ [PASS] test_storageHash() (gas: 3480)
665
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 3.91s (1.54s CPU time)
666
+
667
+ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
668
+ [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
669
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
670
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
671
+ [PASS] test_checkpointRateLimits_Single() (gas: 85741)
672
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
673
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
674
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
675
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
676
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
677
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
678
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
679
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
680
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
681
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
682
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
683
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
684
+ [PASS] test_inflow_GloballyDisabled() (gas: 52015)
685
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
686
+ [PASS] test_initial_state_closed() (gas: 2034659)
687
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
688
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
689
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
690
+ [PASS] test_outflow_GloballyDisabled() (gas: 52036)
691
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
692
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
693
+ [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
694
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
695
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
696
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
697
+ [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
698
+ [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
699
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
700
+ [PASS] test_setRateLimitStates_Single() (gas: 49974)
701
+ [PASS] test_storageHash() (gas: 3414)
702
+ [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
703
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 3.99s (33.09ms CPU time)
704
+
705
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
839
706
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
840
707
 
841
708
  ╭-----------------------------------+---------------------+-------+---------+----------╮
842
709
  | Contract | Selector | Calls | Reverts | Discards |
843
710
  +======================================================================================+
844
- | RateLimiterRBACUpgradeableHandler | inflow | 577 | 0 | 0 |
711
+ | RateLimiterRBACUpgradeableHandler | inflow | 528 | 0 | 0 |
845
712
  |-----------------------------------+---------------------+-------+---------+----------|
846
- | RateLimiterRBACUpgradeableHandler | outflow | 573 | 0 | 0 |
713
+ | RateLimiterRBACUpgradeableHandler | outflow | 561 | 0 | 0 |
847
714
  |-----------------------------------+---------------------+-------+---------+----------|
848
- | RateLimiterRBACUpgradeableHandler | setConfig | 525 | 0 | 0 |
715
+ | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
849
716
  |-----------------------------------+---------------------+-------+---------+----------|
850
- | RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
717
+ | RateLimiterRBACUpgradeableHandler | setState | 570 | 0 | 0 |
851
718
  |-----------------------------------+---------------------+-------+---------+----------|
852
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
719
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 573 | 0 | 0 |
853
720
  |-----------------------------------+---------------------+-------+---------+----------|
854
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
721
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
855
722
  |-----------------------------------+---------------------+-------+---------+----------|
856
- | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
723
+ | RateLimiterRBACUpgradeableHandler | warp | 508 | 0 | 0 |
857
724
  ╰-----------------------------------+---------------------+-------+---------+----------╯
858
725
 
859
726
  Logs:
860
- Bound result 151682778951939441208
861
- Bound result 2662
862
- Bound result 1276903905756972045818
863
- Bound result 2993501870104115
864
- Bound result 8822
865
- Bound result 8360
866
- Bound result 0
867
- Bound result 1424
868
- Bound result 1489014834153439195724
869
- Bound result 51
870
- Bound result 1
871
- Bound result 1008
872
- Bound result 1098973056063784337
873
- Bound result 514264337593504336252
874
- Bound result 2
875
- Bound result 21369408
876
- Bound result 9640448787159967756
877
- Bound result 94
727
+ Bound result 28560136984746684
728
+ Bound result 1852
729
+ Bound result 1174695778571793399243
730
+ Bound result 1905552603337303239921
731
+ Bound result 491
732
+ Bound result 2791547140
733
+ Bound result 3536083551419386972980
734
+ Bound result 9900000000000061476902
735
+ Bound result 126
736
+ Bound result 692
737
+ Bound result 5937987443
738
+ Bound result 9805552603337303240948
739
+ Bound result 786873402991262449642
740
+ Bound result 6242
741
+ Bound result 2263
742
+ Bound result 9900007694803512936441
743
+ Bound result 9900001539671550473285
744
+ Bound result 5123
745
+ Bound result 2223
746
+ Bound result 2246998951
747
+ Bound result 8030
878
748
 
879
749
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
880
750
 
881
751
  ╭-----------------------------------+---------------------+-------+---------+----------╮
882
752
  | Contract | Selector | Calls | Reverts | Discards |
883
753
  +======================================================================================+
884
- | RateLimiterRBACUpgradeableHandler | inflow | 574 | 0 | 0 |
754
+ | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
885
755
  |-----------------------------------+---------------------+-------+---------+----------|
886
- | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
756
+ | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
887
757
  |-----------------------------------+---------------------+-------+---------+----------|
888
- | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
758
+ | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
889
759
  |-----------------------------------+---------------------+-------+---------+----------|
890
- | RateLimiterRBACUpgradeableHandler | setState | 568 | 0 | 0 |
760
+ | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
891
761
  |-----------------------------------+---------------------+-------+---------+----------|
892
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 569 | 0 | 0 |
762
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 517 | 0 | 0 |
893
763
  |-----------------------------------+---------------------+-------+---------+----------|
894
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
764
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 526 | 0 | 0 |
895
765
  |-----------------------------------+---------------------+-------+---------+----------|
896
- | RateLimiterRBACUpgradeableHandler | warp | 516 | 0 | 0 |
766
+ | RateLimiterRBACUpgradeableHandler | warp | 593 | 0 | 0 |
897
767
  ╰-----------------------------------+---------------------+-------+---------+----------╯
898
768
 
899
769
  Logs:
900
- Bound result 9900000000005213095882
901
- Bound result 9900000000028674913627
902
- Bound result 10
903
- Bound result 214
904
- Bound result 9900000000000000000057
905
- Bound result 9900000000000000007156
906
- Bound result 15
907
- Bound result 837
908
- Bound result 9900447468623958583769
909
- Bound result 2547688749660059110349
910
- Bound result 9340
911
- Bound result 374
912
- Bound result 9900000000000000006769
913
- Bound result 3809390487600928818124
914
- Bound result 6660
915
- Bound result 295
916
- Bound result 9040
917
- Bound result 9900000000000000003213
918
- Bound result 9900000000000000000719
919
- Bound result 6028
920
- Bound result 2469
921
- Bound result 712
922
- Bound result 789
923
- Bound result 339
924
- Bound result 3572
925
- Bound result 17561954285545583716
926
- Bound result 9900000000119889214994
927
- Bound result 9900000000000000000024
928
- Bound result 12
929
- Bound result 7726
930
- Bound result 5034
770
+ Bound result 2079
771
+ Bound result 7803
772
+ Bound result 222340153466628
773
+ Bound result 3094529715993077139
774
+ Bound result 1
775
+ Bound result 110
776
+ Bound result 4202047188
777
+ Bound result 36
778
+ Bound result 107
779
+ Bound result 3414
780
+ Bound result 9900001252822882376279
781
+ Bound result 9900000000000000000196
782
+ Bound result 852
783
+ Bound result 11
784
+ Bound result 17002720153760777531126
785
+ Bound result 12627045534973773425873
786
+ Bound result 50
787
+ Bound result 9893094692
788
+ Bound result 14450844883773801234274
789
+ Bound result 25
790
+ Bound result 14450844883773801248043
791
+ Bound result 28139
792
+ Bound result 1703202149
793
+ Bound result 29
931
794
 
932
795
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
933
796
 
934
797
  ╭-----------------------------------+---------------------+-------+---------+----------╮
935
798
  | Contract | Selector | Calls | Reverts | Discards |
936
799
  +======================================================================================+
937
- | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
800
+ | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
938
801
  |-----------------------------------+---------------------+-------+---------+----------|
939
- | RateLimiterRBACUpgradeableHandler | outflow | 580 | 0 | 0 |
802
+ | RateLimiterRBACUpgradeableHandler | outflow | 566 | 0 | 0 |
940
803
  |-----------------------------------+---------------------+-------+---------+----------|
941
- | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
804
+ | RateLimiterRBACUpgradeableHandler | setConfig | 524 | 0 | 0 |
942
805
  |-----------------------------------+---------------------+-------+---------+----------|
943
- | RateLimiterRBACUpgradeableHandler | setState | 530 | 0 | 0 |
806
+ | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
944
807
  |-----------------------------------+---------------------+-------+---------+----------|
945
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
808
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 523 | 0 | 0 |
946
809
  |-----------------------------------+---------------------+-------+---------+----------|
947
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 503 | 0 | 0 |
810
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
948
811
  |-----------------------------------+---------------------+-------+---------+----------|
949
- | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
812
+ | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
950
813
  ╰-----------------------------------+---------------------+-------+---------+----------╯
951
814
 
952
815
  Logs:
953
- Bound result 7476
954
- Bound result 131
955
- Bound result 10031
816
+ Bound result 233
817
+ Bound result 3520
956
818
  Bound result 0
957
- Bound result 249
958
- Bound result 684425853285779546398
959
- Bound result 24
960
- Bound result 1320
961
- Bound result 1895
962
- Bound result 169
963
- Bound result 1668844
964
- Bound result 1724764869414075024727
965
- Bound result 222
819
+ Bound result 9900000000000031117557
820
+ Bound result 9900000000000000010811
821
+ Bound result 1340
822
+ Bound result 2437
823
+ Bound result 1
824
+ Bound result 9900000000000000002315
825
+ Bound result 9900000000000000002334
826
+ Bound result 2980
827
+ Bound result 372
828
+ Bound result 1031
829
+ Bound result 357094978
830
+ Bound result 16275783827679738
831
+ Bound result 29059407191
832
+ Bound result 5359547517205941317792
833
+ Bound result 0
834
+ Bound result 18
835
+ Bound result 6946150086066
836
+ Bound result 143
837
+ Bound result 1058274727988249
838
+ Bound result 9900000000000000061560
839
+ Bound result 9900000000000000000008
840
+ Bound result 9975
841
+ Bound result 7813
842
+ Bound result 1104
843
+ Bound result 4192
966
844
 
967
845
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
968
846
 
969
847
  ╭-----------------------------------+---------------------+-------+---------+----------╮
970
848
  | Contract | Selector | Calls | Reverts | Discards |
971
849
  +======================================================================================+
972
- | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
850
+ | RateLimiterRBACUpgradeableHandler | inflow | 566 | 0 | 0 |
973
851
  |-----------------------------------+---------------------+-------+---------+----------|
974
- | RateLimiterRBACUpgradeableHandler | outflow | 577 | 0 | 0 |
852
+ | RateLimiterRBACUpgradeableHandler | outflow | 547 | 0 | 0 |
975
853
  |-----------------------------------+---------------------+-------+---------+----------|
976
- | RateLimiterRBACUpgradeableHandler | setConfig | 514 | 0 | 0 |
854
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
977
855
  |-----------------------------------+---------------------+-------+---------+----------|
978
- | RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
856
+ | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
979
857
  |-----------------------------------+---------------------+-------+---------+----------|
980
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 521 | 0 | 0 |
858
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
981
859
  |-----------------------------------+---------------------+-------+---------+----------|
982
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570 | 0 | 0 |
860
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
983
861
  |-----------------------------------+---------------------+-------+---------+----------|
984
- | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
862
+ | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
985
863
  ╰-----------------------------------+---------------------+-------+---------+----------╯
986
864
 
987
865
  Logs:
988
- Bound result 895
989
- Bound result 2457592463101872272094
990
- Bound result 9900000000000000001377
991
- Bound result 4351
992
- Bound result 7182
993
- Bound result 485
994
- Bound result 1058825232582377226
995
- Bound result 1777690607061088807993
996
- Bound result 3687
997
- Bound result 199
998
- Bound result 66076353
999
- Bound result 5226
1000
- Bound result 4470929879607923719828
1001
- Bound result 1436
1002
- Bound result 143
1003
- Bound result 9900000000000000139737
1004
- Bound result 6914264337593535947489
1005
- Bound result 9995
1006
- Bound result 3993
866
+ Bound result 1529607345874726805801
867
+ Bound result 281689380042
868
+ Bound result 1
869
+ Bound result 2038094189372
870
+ Bound result 1145227586244587372880
871
+ Bound result 11483975856814236798
872
+ Bound result 1
873
+ Bound result 9900000000012117851112
874
+ Bound result 9900000010561282953280
875
+ Bound result 8727
876
+ Bound result 5325
877
+ Bound result 7411
878
+ Bound result 3352
879
+ Bound result 0
880
+ Bound result 8609167568293329509
881
+ Bound result 2015
882
+ Bound result 1600246865463284
883
+ Bound result 6914167360321475386385
884
+ Bound result 18776955064345741961484
1007
885
  Bound result 4
1008
- Bound result 17734755
886
+ Bound result 9900000000000000009151
887
+ Bound result 9900000000000000000437
888
+ Bound result 1003
889
+ Bound result 9682
890
+ Bound result 1676
1009
891
 
1010
892
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1011
893
 
1012
894
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1013
895
  | Contract | Selector | Calls | Reverts | Discards |
1014
896
  +======================================================================================+
1015
- | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
897
+ | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
1016
898
  |-----------------------------------+---------------------+-------+---------+----------|
1017
- | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
899
+ | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
1018
900
  |-----------------------------------+---------------------+-------+---------+----------|
1019
- | RateLimiterRBACUpgradeableHandler | setConfig | 562 | 0 | 0 |
901
+ | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
1020
902
  |-----------------------------------+---------------------+-------+---------+----------|
1021
- | RateLimiterRBACUpgradeableHandler | setState | 505 | 0 | 0 |
903
+ | RateLimiterRBACUpgradeableHandler | setState | 522 | 0 | 0 |
1022
904
  |-----------------------------------+---------------------+-------+---------+----------|
1023
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
905
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 561 | 0 | 0 |
1024
906
  |-----------------------------------+---------------------+-------+---------+----------|
1025
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531 | 0 | 0 |
907
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 559 | 0 | 0 |
1026
908
  |-----------------------------------+---------------------+-------+---------+----------|
1027
- | RateLimiterRBACUpgradeableHandler | warp | 576 | 0 | 0 |
909
+ | RateLimiterRBACUpgradeableHandler | warp | 598 | 0 | 0 |
1028
910
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1029
911
 
1030
912
  Logs:
1031
- Bound result 876
1032
- Bound result 1766
1033
- Bound result 10075
1034
- Bound result 0
1035
- Bound result 121120430336020
1036
- Bound result 17668799789
1037
- Bound result 6
1038
- Bound result 0
1039
- Bound result 13548451959704
1040
- Bound result 326091433760085296944
1041
- Bound result 6914264337593535947488
1042
- Bound result 9900000000000000226268
1043
- Bound result 9505
1044
- Bound result 14
1045
- Bound result 6123
1046
- Bound result 57
1047
- Bound result 1698
913
+ Bound result 56587054574224038380
914
+ Bound result 112295
915
+ Bound result 1
916
+ Bound result 954
917
+ Bound result 219
918
+ Bound result 8793
919
+ Bound result 52
920
+ Bound result 1911
921
+ Bound result 5615067107645317276
922
+ Bound result 1091433953130072290602
923
+ Bound result 30
924
+ Bound result 632
925
+ Bound result 4113
926
+ Bound result 157
1048
927
 
1049
928
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1050
929
 
1051
930
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1052
931
  | Contract | Selector | Calls | Reverts | Discards |
1053
932
  +======================================================================================+
1054
- | RateLimiterRBACUpgradeableHandler | inflow | 539 | 0 | 0 |
933
+ | RateLimiterRBACUpgradeableHandler | inflow | 522 | 0 | 0 |
1055
934
  |-----------------------------------+---------------------+-------+---------+----------|
1056
- | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
935
+ | RateLimiterRBACUpgradeableHandler | outflow | 516 | 0 | 0 |
1057
936
  |-----------------------------------+---------------------+-------+---------+----------|
1058
- | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
937
+ | RateLimiterRBACUpgradeableHandler | setConfig | 606 | 0 | 0 |
1059
938
  |-----------------------------------+---------------------+-------+---------+----------|
1060
- | RateLimiterRBACUpgradeableHandler | setState | 584 | 0 | 0 |
939
+ | RateLimiterRBACUpgradeableHandler | setState | 517 | 0 | 0 |
1061
940
  |-----------------------------------+---------------------+-------+---------+----------|
1062
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 566 | 0 | 0 |
941
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 550 | 0 | 0 |
1063
942
  |-----------------------------------+---------------------+-------+---------+----------|
1064
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 533 | 0 | 0 |
943
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
1065
944
  |-----------------------------------+---------------------+-------+---------+----------|
1066
- | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
945
+ | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
1067
946
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1068
947
 
1069
948
  Logs:
1070
- Bound result 9900017952458027690513
1071
- Bound result 8287091688005770826950
1072
- Bound result 10
1073
- Bound result 9691
1074
- Bound result 33760908301
1075
- Bound result 13090047
1076
- Bound result 55
1077
- Bound result 0
1078
- Bound result 6914264337593535947489
1079
- Bound result 9900096052103092089140
1080
- Bound result 3758
1081
- Bound result 1437
1082
- Bound result 663714115
1083
- Bound result 2439649222
1084
- Bound result 2733
1085
- Bound result 0
1086
- Bound result 9
1087
- Bound result 9900000000000000000010
1088
- Bound result 9900000068023548740028
1089
- Bound result 6240
1090
- Bound result 3344
1091
- Bound result 5804090968050
949
+ Bound result 118551139
950
+ Bound result 50
951
+ Bound result 744
952
+ Bound result 6914264337593535947490
953
+ Bound result 7883777728127644451700
954
+ Bound result 1798
955
+ Bound result 6242
956
+ Bound result 9900000000000000004657
957
+ Bound result 9900000000000000000784
958
+ Bound result 1806
959
+ Bound result 2960
960
+ Bound result 3954
961
+ Bound result 3996
962
+ Bound result 775
963
+ Bound result 100000000000000000000
964
+ Bound result 9901619135953819967293
965
+ Bound result 9441
966
+ Bound result 5258
967
+ Bound result 910532549166378892957
968
+ Bound result 2523068423147604035088
969
+ Bound result 130
970
+ Bound result 13
971
+ Bound result 1234
972
+ Bound result 706
973
+ Bound result 8942
974
+ Bound result 101
975
+ Bound result 4617347904583577432887
1092
976
 
1093
977
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1094
978
 
1095
979
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1096
980
  | Contract | Selector | Calls | Reverts | Discards |
1097
981
  +======================================================================================+
1098
- | RateLimiterRBACUpgradeableHandler | inflow | 520 | 0 | 0 |
982
+ | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
1099
983
  |-----------------------------------+---------------------+-------+---------+----------|
1100
- | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
984
+ | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
1101
985
  |-----------------------------------+---------------------+-------+---------+----------|
1102
- | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
986
+ | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
1103
987
  |-----------------------------------+---------------------+-------+---------+----------|
1104
- | RateLimiterRBACUpgradeableHandler | setState | 576 | 0 | 0 |
988
+ | RateLimiterRBACUpgradeableHandler | setState | 565 | 0 | 0 |
1105
989
  |-----------------------------------+---------------------+-------+---------+----------|
1106
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
990
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 560 | 0 | 0 |
1107
991
  |-----------------------------------+---------------------+-------+---------+----------|
1108
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 583 | 0 | 0 |
992
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 533 | 0 | 0 |
1109
993
  |-----------------------------------+---------------------+-------+---------+----------|
1110
- | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
994
+ | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
1111
995
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1112
996
 
1113
997
  Logs:
1114
- Bound result 9900000000000000005260
1115
- Bound result 9900000000000000008020
1116
- Bound result 1197
1117
- Bound result 2154
1118
- Bound result 3
1119
- Bound result 593731
1120
- Bound result 1
1121
- Bound result 45737202793946167
1122
- Bound result 10032
1123
- Bound result 1
1124
- Bound result 1750
1125
- Bound result 1161
1126
- Bound result 9901809734780428299969
1127
- Bound result 9900000000000000141425
1128
- Bound result 7273
1129
- Bound result 10000
1130
- Bound result 12828
1131
- Bound result 9900000000000005431081
1132
- Bound result 9900000000019871349026
1133
- Bound result 10
1134
- Bound result 2575
998
+ Bound result 640
999
+ Bound result 1297
1000
+ Bound result 940007554129970160690
1001
+ Bound result 9900000000000000000014
1002
+ Bound result 5324517840806910671458
1003
+ Bound result 1203
1004
+ Bound result 2485
1005
+ Bound result 3711
1006
+ Bound result 9556354957201953382913
1007
+ Bound result 9900000001180442916417
1008
+ Bound result 9785
1009
+ Bound result 21
1010
+ Bound result 9328
1011
+ Bound result 17317111715800699352597
1012
+ Bound result 8105
1013
+ Bound result 6904817437082553660385
1014
+ Bound result 16205714336120734538111
1015
+ Bound result 43356425354532
1135
1016
 
1136
1017
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1137
1018
 
1138
1019
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1139
1020
  | Contract | Selector | Calls | Reverts | Discards |
1140
1021
  +======================================================================================+
1141
- | RateLimiterRBACUpgradeableHandler | inflow | 591 | 0 | 0 |
1022
+ | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
1142
1023
  |-----------------------------------+---------------------+-------+---------+----------|
1143
- | RateLimiterRBACUpgradeableHandler | outflow | 542 | 0 | 0 |
1024
+ | RateLimiterRBACUpgradeableHandler | outflow | 576 | 0 | 0 |
1144
1025
  |-----------------------------------+---------------------+-------+---------+----------|
1145
- | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
1026
+ | RateLimiterRBACUpgradeableHandler | setConfig | 544 | 0 | 0 |
1146
1027
  |-----------------------------------+---------------------+-------+---------+----------|
1147
- | RateLimiterRBACUpgradeableHandler | setState | 542 | 0 | 0 |
1028
+ | RateLimiterRBACUpgradeableHandler | setState | 582 | 0 | 0 |
1148
1029
  |-----------------------------------+---------------------+-------+---------+----------|
1149
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 519 | 0 | 0 |
1030
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 527 | 0 | 0 |
1150
1031
  |-----------------------------------+---------------------+-------+---------+----------|
1151
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
1032
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
1152
1033
  |-----------------------------------+---------------------+-------+---------+----------|
1153
- | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
1034
+ | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
1154
1035
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1155
1036
 
1156
1037
  Logs:
1157
- Bound result 2287
1158
- Bound result 1639805793218462478543
1159
- Bound result 2488403
1160
- Bound result 0
1161
- Bound result 6914264337593535947491
1162
- Bound result 8329126248925412494793
1163
- Bound result 10
1164
- Bound result 1844
1165
- Bound result 24
1166
1038
  Bound result 1
1167
- Bound result 916102954409750450050
1168
- Bound result 727816287905
1169
- Bound result 340
1170
- Bound result 501800
1171
- Bound result 6640
1039
+ Bound result 9900000000000000037486
1040
+ Bound result 9900000000000000010558
1041
+ Bound result 3775
1042
+ Bound result 2788
1043
+ Bound result 8
1044
+ Bound result 33787
1045
+ Bound result 9900000000000000000022
1046
+ Bound result 9900000000001799740832
1047
+ Bound result 8338
1048
+ Bound result 752
1049
+ Bound result 76122626670415699186
1050
+ Bound result 9900000062872391356745
1051
+ Bound result 6870471228488779837948
1052
+ Bound result 6240
1053
+ Bound result 3254
1054
+ Bound result 10285
1055
+ Bound result 28
1056
+ Bound result 375843440572353
1057
+ Bound result 1
1058
+ Bound result 1917
1059
+ Bound result 40589534639
1060
+ Bound result 1
1172
1061
 
1173
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.18s (7.63s CPU time)
1062
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 3.99s (21.35s CPU time)
1174
1063
 
1175
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1176
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1177
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1178
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47252, ~: 48966)
1179
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1180
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1181
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1182
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1183
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1184
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1185
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1186
- [PASS] test_getFee_Default() (gas: 43108)
1187
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45783, ~: 47017)
1188
- [PASS] test_getFee_Rounding() (gas: 45449)
1189
- [PASS] test_getFee_Specific() (gas: 66985)
1190
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1191
- [PASS] test_setDefaultFeeBps() (gas: 42199)
1192
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35023, ~: 42268)
1193
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1194
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1195
- [PASS] test_setFeeBps() (gas: 77237)
1196
- Logs:
1197
- Bound result 500
1064
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1065
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
1066
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
1067
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
1068
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
1069
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
1070
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
1071
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
1072
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
1073
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
1074
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
1075
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
1076
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
1077
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
1078
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
1079
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
1080
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
1081
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
1082
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
1083
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
1084
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
1085
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
1086
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
1087
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
1088
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
1089
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
1090
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
1091
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
1092
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
1093
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
1094
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
1095
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
1096
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
1097
+ [PASS] test_storageHash() (gas: 3380)
1098
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 4.00s (1.17s CPU time)
1198
1099
 
1199
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68619, ~: 77570)
1200
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1201
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1202
- [PASS] test_storageHash() (gas: 3436)
1203
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 10.89s (614.76ms CPU time)
1100
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1101
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
1102
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
1103
+ [PASS] test_assertNotPaused_Success() (gas: 14891)
1104
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
1105
+ [PASS] test_defaultPaused_InitialState() (gas: 15572)
1106
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
1107
+ [PASS] test_isPaused_Default() (gas: 47316)
1108
+ [PASS] test_isPaused_InitialState() (gas: 22172)
1109
+ [PASS] test_isPaused_MultipleIDs() (gas: 80142)
1110
+ [PASS] test_isPaused_Override() (gas: 75171)
1111
+ [PASS] test_isPaused_Specific() (gas: 50105)
1112
+ [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
1113
+ [PASS] test_pauseConfig() (gas: 51028)
1114
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
1115
+ [PASS] test_setDefaultPaused() (gas: 42196)
1116
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30777, ~: 42446)
1117
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
1118
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
1119
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
1120
+ [PASS] test_setDefaultPaused_Success() (gas: 40744)
1121
+ [PASS] test_setPaused() (gas: 48361)
1122
+ [PASS] test_setPaused_DormantData() (gas: 295234)
1123
+ [PASS] test_setPaused_EmptyArray() (gas: 15702)
1124
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
1125
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43803, ~: 48533)
1126
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223487, ~: 216804)
1127
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
1128
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
1129
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
1130
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
1131
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
1132
+ [PASS] test_setPaused_Success() (gas: 45897)
1133
+ [PASS] test_setPaused_Success_Batch() (gas: 345312)
1134
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
1135
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
1136
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
1137
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
1138
+ [PASS] test_setPaused_Success_Toggle() (gas: 58022)
1139
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
1140
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 61965, ~: 50341)
1141
+ [PASS] test_storageHash() (gas: 3392)
1142
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
1143
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
1144
+ [PASS] test_whenNotPaused_Success() (gas: 41299)
1145
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
1146
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
1147
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
1148
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 18.46s (2.39s CPU time)
1204
1149
 
1205
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
1206
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25776, ~: 38584)
1207
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
1208
- [PASS] test_assertNotPaused_Success() (gas: 12516)
1209
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
1210
- [PASS] test_isPaused_InitialState() (gas: 15595)
1211
- [PASS] test_pause() (gas: 39592)
1212
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28158, ~: 39861)
1213
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
1214
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
1215
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
1216
- [PASS] test_storageHash() (gas: 3414)
1217
- [PASS] test_unpause() (gas: 31115)
1218
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40486, ~: 42029)
1219
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
1220
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
1221
- [PASS] test_whenNotPaused_Success() (gas: 38744)
1222
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
1223
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
1224
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
1225
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 10.89s (223.17ms CPU time)
1150
+ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
1151
+ [PASS] test_feeDeposit() (gas: 17638)
1152
+ [PASS] test_setFeeDeposit() (gas: 27596)
1153
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
1154
+ [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
1155
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
1156
+ [PASS] test_storageHash() (gas: 3315)
1157
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 18.47s (225.24ms CPU time)
1226
1158
 
1227
1159
  Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1228
1160
  [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1229
1161
  [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1230
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44703, ~: 46317)
1162
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44607, ~: 46317)
1231
1163
  [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1232
1164
  [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1233
1165
  [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
@@ -1236,26 +1168,56 @@ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTes
1236
1168
  [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1237
1169
  [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1238
1170
  [PASS] test_getFee_Default() (gas: 40577)
1239
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43069, ~: 44486)
1171
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43129, ~: 44486)
1240
1172
  [PASS] test_getFee_Rounding() (gas: 42835)
1241
1173
  [PASS] test_getFee_Specific() (gas: 63968)
1242
1174
  [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1243
1175
  [PASS] test_setDefaultFeeBps() (gas: 39576)
1244
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32384, ~: 39667)
1176
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32748, ~: 39667)
1245
1177
  [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1246
1178
  [PASS] test_setFeeBps() (gas: 73871)
1247
1179
  Logs:
1248
1180
  Bound result 500
1249
1181
 
1250
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65917, ~: 74224)
1182
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65149, ~: 74224)
1251
1183
  [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1252
1184
  [PASS] test_storageHash() (gas: 3426)
1253
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 10.89s (431.43ms CPU time)
1185
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 18.47s (1.26s CPU time)
1186
+
1187
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1188
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1189
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1190
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47786, ~: 48966)
1191
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1192
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1193
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1194
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1195
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1196
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1197
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1198
+ [PASS] test_getFee_Default() (gas: 43108)
1199
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45520, ~: 47017)
1200
+ [PASS] test_getFee_Rounding() (gas: 45449)
1201
+ [PASS] test_getFee_Specific() (gas: 66985)
1202
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1203
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
1204
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35268, ~: 42268)
1205
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1206
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1207
+ [PASS] test_setFeeBps() (gas: 77237)
1208
+ Logs:
1209
+ Bound result 500
1210
+
1211
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69286, ~: 77570)
1212
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1213
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1214
+ [PASS] test_storageHash() (gas: 3436)
1215
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 18.47s (1.04s CPU time)
1254
1216
 
1255
1217
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1256
1218
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1257
1219
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1258
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 853034, ~: 330469)
1220
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 810546, ~: 219651)
1259
1221
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1260
1222
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1261
1223
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1268,12 +1230,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1268
1230
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1269
1231
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1270
1232
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1271
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11127624, ~: 10503557)
1233
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11216422, ~: 10531129)
1272
1234
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1273
1235
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1274
1236
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1275
1237
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1276
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 732328, ~: 200117)
1238
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 709584, ~: 141774)
1277
1239
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1278
1240
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1279
1241
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1286,10 +1248,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1286
1248
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1287
1249
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1288
1250
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1289
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11227358, ~: 10488935)
1251
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11163137, ~: 10452137)
1290
1252
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1291
1253
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1292
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.04s (26.08s CPU time)
1254
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 18.62s (46.83s CPU time)
1293
1255
 
1294
- Ran 17 test suites in 11.06s (51.96s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1295
- ⏳ forge test: 25.645s
1256
+ Ran 17 test suites in 18.65s (121.28s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1257
+ ⏳ forge test: 40.712s