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

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 (3) hide show
  1. package/.turbo/turbo-lint.log +1 -1
  2. package/.turbo/turbo-test.log +672 -692
  3. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -5,7 +5,7 @@
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
7
  $ docker image inspect --format {{.Architecture}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
8
- (node:129693) [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:127296) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
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 12.41s
16
+ Solc 0.8.22 finished in 13.19s
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,6 +136,44 @@ Warning (2018): Function state mutability can be restricted to view
136
136
  | ^ (Relevant source part starts here and spans across multiple lines).
137
137
 
138
138
 
139
+ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
140
+ [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
141
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
142
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
143
+ [PASS] test_checkpointRateLimits_Single() (gas: 85741)
144
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
145
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
146
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
147
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
148
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
149
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
150
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
151
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
152
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
153
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
154
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
155
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
156
+ [PASS] test_inflow_GloballyDisabled() (gas: 52015)
157
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
158
+ [PASS] test_initial_state_closed() (gas: 2034659)
159
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
160
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
161
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
162
+ [PASS] test_outflow_GloballyDisabled() (gas: 52036)
163
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
164
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
165
+ [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
166
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
167
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
168
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
169
+ [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
170
+ [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
171
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
172
+ [PASS] test_setRateLimitStates_Single() (gas: 49974)
173
+ [PASS] test_storageHash() (gas: 3414)
174
+ [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
175
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 52.58ms (41.60ms CPU time)
176
+
139
177
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
140
178
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
141
179
  [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
@@ -177,53 +215,7 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
177
215
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
178
216
  [PASS] test_storageHash() (gas: 3392)
179
217
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
180
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 20.57ms (14.77ms CPU time)
181
-
182
- Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
183
- [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
184
- [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
185
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
186
- [PASS] test_checkpointRateLimits_Single() (gas: 85741)
187
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
188
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
189
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
190
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
191
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
192
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
193
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
194
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
195
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
196
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
197
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
198
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
199
- [PASS] test_inflow_GloballyDisabled() (gas: 52015)
200
- [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
201
- [PASS] test_initial_state_closed() (gas: 2034659)
202
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
203
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
204
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
205
- [PASS] test_outflow_GloballyDisabled() (gas: 52036)
206
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
207
- [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
208
- [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
209
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
210
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
211
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
212
- [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
213
- [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
214
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
215
- [PASS] test_setRateLimitStates_Single() (gas: 49974)
216
- [PASS] test_storageHash() (gas: 3414)
217
- [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
218
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 20.73ms (17.76ms CPU time)
219
-
220
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
221
- [PASS] test_feeDeposit() (gas: 17576)
222
- [PASS] test_setFeeDeposit() (gas: 24995)
223
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
224
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
225
- [PASS] test_storageHash() (gas: 3337)
226
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 54.39ms (53.65ms CPU time)
218
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 52.00ms (37.49ms CPU time)
227
219
 
228
220
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
229
221
  [PASS] test_feeDeposit() (gas: 17638)
@@ -232,7 +224,15 @@ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTe
232
224
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
233
225
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
234
226
  [PASS] test_storageHash() (gas: 3315)
235
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 104.86ms (104.18ms CPU time)
227
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 123.67ms (122.01ms CPU time)
228
+
229
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
230
+ [PASS] test_feeDeposit() (gas: 17576)
231
+ [PASS] test_setFeeDeposit() (gas: 24995)
232
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
233
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
234
+ [PASS] test_storageHash() (gas: 3337)
235
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 291.77ms (288.65ms CPU time)
236
236
 
237
237
  Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
238
238
  [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
@@ -245,7 +245,87 @@ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
245
245
  [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
246
246
  [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
247
247
  [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
248
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 129.35ms (129.15ms CPU time)
248
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 304.21ms (303.97ms CPU time)
249
+
250
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
251
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26626, ~: 12786)
252
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
253
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
254
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
255
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
256
+ [PASS] test_isPaused_InitialState() (gas: 15629)
257
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
258
+ [PASS] test_multipleRoleGrants() (gas: 394130)
259
+ [PASS] test_pause() (gas: 42109)
260
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
261
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
262
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30070, ~: 18756)
263
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
264
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
265
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
266
+ [PASS] test_setPaused_Success() (gas: 40691)
267
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
268
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
269
+ [PASS] test_storageHash() (gas: 3414)
270
+ [PASS] test_unpause() (gas: 35177)
271
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41585, ~: 38860)
272
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
273
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
274
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
275
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
276
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
277
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
278
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 709.27ms (1.09s CPU time)
279
+
280
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
281
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
282
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
283
+ [PASS] test_assertNotPaused_Success() (gas: 14891)
284
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
285
+ [PASS] test_defaultPaused_InitialState() (gas: 15572)
286
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
287
+ [PASS] test_isPaused_Default() (gas: 47316)
288
+ [PASS] test_isPaused_InitialState() (gas: 22172)
289
+ [PASS] test_isPaused_MultipleIDs() (gas: 80142)
290
+ [PASS] test_isPaused_Override() (gas: 75171)
291
+ [PASS] test_isPaused_Specific() (gas: 50105)
292
+ [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
293
+ [PASS] test_pauseConfig() (gas: 51028)
294
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
295
+ [PASS] test_setDefaultPaused() (gas: 42196)
296
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30730, ~: 42446)
297
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
298
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
299
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
300
+ [PASS] test_setDefaultPaused_Success() (gas: 40744)
301
+ [PASS] test_setPaused() (gas: 48361)
302
+ [PASS] test_setPaused_DormantData() (gas: 295234)
303
+ [PASS] test_setPaused_EmptyArray() (gas: 15702)
304
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
305
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43283, ~: 48533)
306
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223991, ~: 219722)
307
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
308
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
309
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
310
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
311
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
312
+ [PASS] test_setPaused_Success() (gas: 45897)
313
+ [PASS] test_setPaused_Success_Batch() (gas: 345312)
314
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
315
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
316
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
317
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
318
+ [PASS] test_setPaused_Success_Toggle() (gas: 58022)
319
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
320
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62628, ~: 73465)
321
+ [PASS] test_storageHash() (gas: 3392)
322
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
323
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
324
+ [PASS] test_whenNotPaused_Success() (gas: 41299)
325
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
326
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
327
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
328
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 961.87ms (1.62s CPU time)
249
329
 
250
330
  Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
251
331
  [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
@@ -281,12 +361,12 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
281
361
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
282
362
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
283
363
  [PASS] test_storageHash() (gas: 3380)
284
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 208.07ms (275.70ms CPU time)
364
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 1.15s (1.56s CPU time)
285
365
 
286
366
  Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
287
367
  [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
288
368
  [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
289
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47406, ~: 48966)
369
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47777, ~: 48966)
290
370
  [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
291
371
  [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
292
372
  [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
@@ -295,103 +375,57 @@ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTes
295
375
  [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
296
376
  [PASS] test_getFee_BoundaryConditions() (gas: 75442)
297
377
  [PASS] test_getFee_Default() (gas: 43108)
298
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 46009, ~: 47017)
378
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45616, ~: 47017)
299
379
  [PASS] test_getFee_Rounding() (gas: 45449)
300
380
  [PASS] test_getFee_Specific() (gas: 66985)
301
381
  [PASS] test_getFee_SpecificDisabled() (gas: 66943)
302
382
  [PASS] test_setDefaultFeeBps() (gas: 42199)
303
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35299, ~: 42268)
383
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35413, ~: 42268)
304
384
  [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
305
385
  [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
306
386
  [PASS] test_setFeeBps() (gas: 77237)
307
387
  Logs:
308
388
  Bound result 500
309
389
 
310
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 67900, ~: 77570)
390
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68930, ~: 77570)
311
391
  [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
312
392
  [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
313
393
  [PASS] test_storageHash() (gas: 3436)
314
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 223.16ms (576.83ms CPU time)
394
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.87s (2.44s CPU time)
315
395
 
316
- Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
317
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
318
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
319
- [PASS] test_assertNotPaused_Success() (gas: 14891)
320
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
321
- [PASS] test_defaultPaused_InitialState() (gas: 15572)
322
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
323
- [PASS] test_isPaused_Default() (gas: 47316)
324
- [PASS] test_isPaused_InitialState() (gas: 22172)
325
- [PASS] test_isPaused_MultipleIDs() (gas: 80142)
326
- [PASS] test_isPaused_Override() (gas: 75171)
327
- [PASS] test_isPaused_Specific() (gas: 50105)
328
- [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
329
- [PASS] test_pauseConfig() (gas: 51028)
330
- [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
331
- [PASS] test_setDefaultPaused() (gas: 42196)
332
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30683, ~: 42446)
333
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
334
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
335
- [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
336
- [PASS] test_setDefaultPaused_Success() (gas: 40744)
337
- [PASS] test_setPaused() (gas: 48361)
338
- [PASS] test_setPaused_DormantData() (gas: 295234)
339
- [PASS] test_setPaused_EmptyArray() (gas: 15702)
340
- [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
341
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43725, ~: 48696)
342
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223474, ~: 219722)
343
- [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
344
- [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
345
- [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
346
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
347
- [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
348
- [PASS] test_setPaused_Success() (gas: 45897)
349
- [PASS] test_setPaused_Success_Batch() (gas: 345312)
350
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
351
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
352
- [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
353
- [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
354
- [PASS] test_setPaused_Success_Toggle() (gas: 58022)
355
- [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
356
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62316, ~: 50341)
357
- [PASS] test_storageHash() (gas: 3392)
358
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
359
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
360
- [PASS] test_whenNotPaused_Success() (gas: 41299)
361
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
362
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
363
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
364
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 319.78ms (537.74ms CPU time)
365
-
366
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
367
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26881, ~: 12786)
368
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
369
- [PASS] test_assertNotPaused_Success() (gas: 12539)
370
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
371
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
372
- [PASS] test_isPaused_InitialState() (gas: 15629)
373
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
374
- [PASS] test_multipleRoleGrants() (gas: 394130)
375
- [PASS] test_pause() (gas: 42109)
376
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
377
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
378
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30614, ~: 42378)
379
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
380
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
381
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
382
- [PASS] test_setPaused_Success() (gas: 40691)
383
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
384
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
385
- [PASS] test_storageHash() (gas: 3414)
386
- [PASS] test_unpause() (gas: 35177)
387
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41691, ~: 44479)
388
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
389
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
390
- [PASS] test_whenNotPaused_Success() (gas: 38800)
391
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
392
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
393
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
394
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 856.10ms (178.42ms CPU time)
396
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
397
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
398
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
399
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
400
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
401
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
402
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
403
+ [PASS] test_isPaused_Default() (gas: 44698)
404
+ [PASS] test_isPaused_InitialState() (gas: 22070)
405
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
406
+ [PASS] test_isPaused_Override() (gas: 69381)
407
+ [PASS] test_isPaused_Specific() (gas: 46709)
408
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
409
+ [PASS] test_pauseConfig() (gas: 45626)
410
+ [PASS] test_setDefaultPaused() (gas: 39667)
411
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27794, ~: 16332)
412
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
413
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
414
+ [PASS] test_setPaused() (gas: 43060)
415
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
416
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38139, ~: 43373)
417
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
418
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
419
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
420
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58321, ~: 69608)
421
+ [PASS] test_storageHash() (gas: 3480)
422
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
423
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
424
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
425
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
426
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
427
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
428
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 3.04s (1.07s CPU time)
395
429
 
396
430
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
397
431
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -399,368 +433,349 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
399
433
  ╭-----------------------------------+---------------------+-------+---------+----------╮
400
434
  | Contract | Selector | Calls | Reverts | Discards |
401
435
  +======================================================================================+
402
- | RateLimiterRBACUpgradeableHandler | inflow | 519 | 0 | 0 |
436
+ | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
403
437
  |-----------------------------------+---------------------+-------+---------+----------|
404
- | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
438
+ | RateLimiterRBACUpgradeableHandler | outflow | 582 | 0 | 0 |
405
439
  |-----------------------------------+---------------------+-------+---------+----------|
406
- | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
440
+ | RateLimiterRBACUpgradeableHandler | setConfig | 521 | 0 | 0 |
407
441
  |-----------------------------------+---------------------+-------+---------+----------|
408
- | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
442
+ | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
409
443
  |-----------------------------------+---------------------+-------+---------+----------|
410
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 531 | 0 | 0 |
444
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
411
445
  |-----------------------------------+---------------------+-------+---------+----------|
412
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
446
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 582 | 0 | 0 |
413
447
  |-----------------------------------+---------------------+-------+---------+----------|
414
- | RateLimiterRBACUpgradeableHandler | warp | 584 | 0 | 0 |
448
+ | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
415
449
  ╰-----------------------------------+---------------------+-------+---------+----------╯
416
450
 
417
451
  Logs:
418
- Bound result 514264337593543950333
419
- Bound result 9900001686706164560260
420
- Bound result 9900000981659228137247
421
- Bound result 11
422
- Bound result 6242
423
- Bound result 2129065317750762314043
424
- Bound result 14275511010
425
- Bound result 433
426
- Bound result 9900000000000000005213
427
- Bound result 9900000000000000001827
428
- Bound result 1749
429
- Bound result 804
430
- Bound result 1
431
- Bound result 1179
432
- Bound result 6914264337578922754344
433
- Bound result 9356147380
452
+ Bound result 889
453
+ Bound result 627436130061
454
+ Bound result 15
455
+ Bound result 0
456
+ Bound result 120358582150432007717
457
+ Bound result 991855308653465052078
458
+ Bound result 0
459
+ Bound result 9900000000000000000572
460
+ Bound result 8537174172434061117428
461
+ Bound result 2208
462
+ Bound result 5521
463
+ Bound result 5818
464
+ Bound result 51185
465
+ Bound result 25648464109
466
+ Bound result 1844383
467
+ Bound result 223347920178106
468
+ Bound result 7702
469
+ Bound result 20659
434
470
 
435
471
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
436
472
 
437
473
  ╭-----------------------------------+---------------------+-------+---------+----------╮
438
474
  | Contract | Selector | Calls | Reverts | Discards |
439
475
  +======================================================================================+
440
- | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
476
+ | RateLimiterRBACUpgradeableHandler | inflow | 554 | 0 | 0 |
441
477
  |-----------------------------------+---------------------+-------+---------+----------|
442
478
  | RateLimiterRBACUpgradeableHandler | outflow | 532 | 0 | 0 |
443
479
  |-----------------------------------+---------------------+-------+---------+----------|
444
- | RateLimiterRBACUpgradeableHandler | setConfig | 541 | 0 | 0 |
480
+ | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
445
481
  |-----------------------------------+---------------------+-------+---------+----------|
446
- | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
482
+ | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
447
483
  |-----------------------------------+---------------------+-------+---------+----------|
448
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
484
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
449
485
  |-----------------------------------+---------------------+-------+---------+----------|
450
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531 | 0 | 0 |
486
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 546 | 0 | 0 |
451
487
  |-----------------------------------+---------------------+-------+---------+----------|
452
- | RateLimiterRBACUpgradeableHandler | warp | 609 | 0 | 0 |
488
+ | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
453
489
  ╰-----------------------------------+---------------------+-------+---------+----------╯
454
490
 
455
491
  Logs:
456
- Bound result 56373569844405298
457
- Bound result 53210044320142
458
- Bound result 514264337593543950334
459
- Bound result 10245
460
- Bound result 1
461
- Bound result 1263864544
462
- Bound result 10828
463
- Bound result 1
464
- Bound result 8
465
- Bound result 1
466
- Bound result 1
467
- Bound result 11716746030442
468
- Bound result 484642753689930215985
469
- Bound result 1128084725990985004147
492
+ Bound result 2865685763141962524
493
+ Bound result 9900000000024903889121
494
+ Bound result 9900000012696961343290
495
+ Bound result 864
496
+ Bound result 4001
497
+ Bound result 29643070
498
+ Bound result 1051319012952
470
499
  Bound result 0
471
- Bound result 1
472
- Bound result 188862594163036061717
473
- Bound result 2851
500
+ Bound result 111568170397352083
501
+ Bound result 1943952718001
502
+ Bound result 0
503
+ Bound result 3208
504
+ Bound result 9900000000000439538413
505
+ Bound result 8612125742280116725620
506
+ Bound result 9996
507
+ Bound result 288
508
+ Bound result 2128
509
+ Bound result 13300575257107199
510
+ Bound result 0
511
+ Bound result 4028
512
+ Bound result 9911736
474
513
 
475
514
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
476
515
 
477
516
  ╭-----------------------------------+---------------------+-------+---------+----------╮
478
517
  | Contract | Selector | Calls | Reverts | Discards |
479
518
  +======================================================================================+
480
- | RateLimiterRBACUpgradeableHandler | inflow | 586 | 0 | 0 |
519
+ | RateLimiterRBACUpgradeableHandler | inflow | 521 | 0 | 0 |
481
520
  |-----------------------------------+---------------------+-------+---------+----------|
482
- | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
521
+ | RateLimiterRBACUpgradeableHandler | outflow | 564 | 0 | 0 |
483
522
  |-----------------------------------+---------------------+-------+---------+----------|
484
- | RateLimiterRBACUpgradeableHandler | setConfig | 525 | 0 | 0 |
523
+ | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
485
524
  |-----------------------------------+---------------------+-------+---------+----------|
486
- | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
525
+ | RateLimiterRBACUpgradeableHandler | setState | 587 | 0 | 0 |
487
526
  |-----------------------------------+---------------------+-------+---------+----------|
488
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
527
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
489
528
  |-----------------------------------+---------------------+-------+---------+----------|
490
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 534 | 0 | 0 |
529
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 566 | 0 | 0 |
491
530
  |-----------------------------------+---------------------+-------+---------+----------|
492
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
531
+ | RateLimiterRBACUpgradeableHandler | warp | 535 | 0 | 0 |
493
532
  ╰-----------------------------------+---------------------+-------+---------+----------╯
494
533
 
495
534
  Logs:
496
- Bound result 4101
497
- Bound result 1618909154858744113778
498
- Bound result 1805091258660987236862
535
+ Bound result 2739854339
536
+ Bound result 0
537
+ Bound result 94165
499
538
  Bound result 1
500
- Bound result 7868
501
- Bound result 880683227385293
502
- Bound result 10471
503
- Bound result 9900000000000005205628
504
- Bound result 100000000000000000003
505
- Bound result 23
506
- Bound result 432
507
- Bound result 121532094702392125231
508
- Bound result 1083
509
- Bound result 828
510
- Bound result 17
539
+ Bound result 674844393267876383834
540
+ Bound result 9900015857378764786519
541
+ Bound result 9900019295126138282858
542
+ Bound result 9997
543
+ Bound result 6784
544
+ Bound result 3456
545
+ Bound result 653
546
+ Bound result 46576953988
511
547
  Bound result 1
548
+ Bound result 9900000000000000008747
549
+ Bound result 1025826709305137103821
550
+ Bound result 229
551
+ Bound result 10
552
+ Bound result 44307487
553
+ Bound result 1432625354550734487037
512
554
 
513
555
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
514
556
 
515
557
  ╭-----------------------------------+---------------------+-------+---------+----------╮
516
558
  | Contract | Selector | Calls | Reverts | Discards |
517
559
  +======================================================================================+
518
- | RateLimiterRBACUpgradeableHandler | inflow | 520 | 0 | 0 |
560
+ | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
519
561
  |-----------------------------------+---------------------+-------+---------+----------|
520
- | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
562
+ | RateLimiterRBACUpgradeableHandler | outflow | 528 | 0 | 0 |
521
563
  |-----------------------------------+---------------------+-------+---------+----------|
522
- | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
564
+ | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
523
565
  |-----------------------------------+---------------------+-------+---------+----------|
524
- | RateLimiterRBACUpgradeableHandler | setState | 570 | 0 | 0 |
566
+ | RateLimiterRBACUpgradeableHandler | setState | 563 | 0 | 0 |
525
567
  |-----------------------------------+---------------------+-------+---------+----------|
526
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 563 | 0 | 0 |
568
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
527
569
  |-----------------------------------+---------------------+-------+---------+----------|
528
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 534 | 0 | 0 |
570
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
529
571
  |-----------------------------------+---------------------+-------+---------+----------|
530
- | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
572
+ | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
531
573
  ╰-----------------------------------+---------------------+-------+---------+----------╯
532
574
 
533
575
  Logs:
534
- Bound result 416610594487269258037
535
- Bound result 4200
536
- Bound result 1
537
- Bound result 1327603122354425075563
538
- Bound result 281474976710656
539
- Bound result 14004
540
- Bound result 416610594487269258036
541
- Bound result 10017
542
- Bound result 0
543
- Bound result 262
544
- Bound result 4301
545
- Bound result 0
546
- Bound result 605
547
- Bound result 193974962040921
548
- Bound result 80621117
549
- Bound result 100000000000000000000
550
- Bound result 9936306628685053779899
551
- Bound result 151
552
- Bound result 11
553
- Bound result 21
554
- Bound result 191199663099237628
576
+ Bound result 1003853746586370209080
577
+ Bound result 1560
578
+ Bound result 428
579
+ Bound result 9803
580
+ Bound result 231
581
+ Bound result 1841455
582
+ Bound result 9948417255090092218782
583
+ Bound result 9900000000170066102203
584
+ Bound result 8476
585
+ Bound result 190
586
+ Bound result 9900000000000001624947
587
+ Bound result 125931664199553149207
588
+ Bound result 10
589
+ Bound result 336
590
+ Bound result 459
591
+ Bound result 4
555
592
 
556
593
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
557
594
 
558
595
  ╭-----------------------------------+---------------------+-------+---------+----------╮
559
596
  | Contract | Selector | Calls | Reverts | Discards |
560
597
  +======================================================================================+
561
- | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
598
+ | RateLimiterRBACUpgradeableHandler | inflow | 582 | 0 | 0 |
562
599
  |-----------------------------------+---------------------+-------+---------+----------|
563
- | RateLimiterRBACUpgradeableHandler | outflow | 567 | 0 | 0 |
600
+ | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
564
601
  |-----------------------------------+---------------------+-------+---------+----------|
565
- | RateLimiterRBACUpgradeableHandler | setConfig | 588 | 0 | 0 |
602
+ | RateLimiterRBACUpgradeableHandler | setConfig | 505 | 0 | 0 |
566
603
  |-----------------------------------+---------------------+-------+---------+----------|
567
- | RateLimiterRBACUpgradeableHandler | setState | 518 | 0 | 0 |
604
+ | RateLimiterRBACUpgradeableHandler | setState | 566 | 0 | 0 |
568
605
  |-----------------------------------+---------------------+-------+---------+----------|
569
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
606
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 509 | 0 | 0 |
570
607
  |-----------------------------------+---------------------+-------+---------+----------|
571
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
608
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
572
609
  |-----------------------------------+---------------------+-------+---------+----------|
573
- | RateLimiterRBACUpgradeableHandler | warp | 522 | 0 | 0 |
610
+ | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
574
611
  ╰-----------------------------------+---------------------+-------+---------+----------╯
575
612
 
576
613
  Logs:
577
- Bound result 9900000000000000000813
578
- Bound result 9900000000000000010867
579
- Bound result 9842
580
- Bound result 9325
581
- Bound result 902
582
- Bound result 9900000000000000003852
583
- Bound result 9907475911145993330886
584
- Bound result 6240
585
- Bound result 6470
586
- Bound result 6464
587
- Bound result 2376621476610669788103
588
- Bound result 314
589
- Bound result 9900000000000000004690
590
- Bound result 9900000000000000008027
591
- Bound result 9639
592
- Bound result 8301
614
+ Bound result 427
615
+ Bound result 9900000000000000008534
616
+ Bound result 9900000000000452777889
617
+ Bound result 9917
618
+ Bound result 1226
619
+ Bound result 8924
620
+ Bound result 2376452955
593
621
  Bound result 1
594
- Bound result 3
595
- Bound result 60293432732214
596
- Bound result 449
597
- Bound result 141668772698893185
598
- Bound result 131669760304231594229
599
- Bound result 9900002532219055060403
600
- Bound result 2196
601
- Bound result 124
602
- Bound result 229084554817699726404
622
+ Bound result 9900000161529089689017
623
+ Bound result 9900000000000001433422
624
+ Bound result 10
625
+ Bound result 2135
626
+ Bound result 2806359013908669518184
627
+ Bound result 9918446744073709551617
628
+ Bound result 9900000000003736598698
629
+ Bound result 4677
630
+ Bound result 7475
631
+ Bound result 7314
632
+ Bound result 3703914640073873696985
633
+ Bound result 100000000000000000000
634
+ Bound result 8321
635
+ Bound result 5452
636
+ Bound result 884393
637
+ Bound result 138124849995387
603
638
 
604
639
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
605
640
 
606
641
  ╭-----------------------------------+---------------------+-------+---------+----------╮
607
642
  | Contract | Selector | Calls | Reverts | Discards |
608
643
  +======================================================================================+
609
- | RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
644
+ | RateLimiterRBACUpgradeableHandler | inflow | 554 | 0 | 0 |
610
645
  |-----------------------------------+---------------------+-------+---------+----------|
611
- | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
646
+ | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
612
647
  |-----------------------------------+---------------------+-------+---------+----------|
613
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
648
+ | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
614
649
  |-----------------------------------+---------------------+-------+---------+----------|
615
- | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
650
+ | RateLimiterRBACUpgradeableHandler | setState | 557 | 0 | 0 |
616
651
  |-----------------------------------+---------------------+-------+---------+----------|
617
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
652
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
618
653
  |-----------------------------------+---------------------+-------+---------+----------|
619
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
654
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
620
655
  |-----------------------------------+---------------------+-------+---------+----------|
621
- | RateLimiterRBACUpgradeableHandler | warp | 562 | 0 | 0 |
656
+ | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
622
657
  ╰-----------------------------------+---------------------+-------+---------+----------╯
623
658
 
624
659
  Logs:
625
- Bound result 24010954041511281
626
- Bound result 9900000000000000007910
627
- Bound result 9900000000000000003119
628
- Bound result 3643
629
- Bound result 221
630
- Bound result 4947550493451056132410
631
- Bound result 9900000000000000233693
632
- Bound result 735
633
- Bound result 3748
634
- Bound result 6144399694580
635
- Bound result 509521181935349
636
- Bound result 1
637
- Bound result 37286
638
- Bound result 852
660
+ Bound result 8132
661
+ Bound result 4125
662
+ Bound result 544
663
+ Bound result 10315
639
664
  Bound result 1
640
- Bound result 1
641
- Bound result 8026
642
- Bound result 9968
665
+ Bound result 9900000000000000008823
666
+ Bound result 9900000000000000009252
667
+ Bound result 1632
668
+ Bound result 7924
669
+ Bound result 9900035226073719083551
670
+ Bound result 9900000000005785426533
671
+ Bound result 59
672
+ Bound result 13
673
+ Bound result 8519
674
+ Bound result 97502211377888482
675
+ Bound result 0
676
+ Bound result 0
677
+ Bound result 812
678
+ Bound result 5440
679
+ Bound result 0
680
+ Bound result 3653755807634324516430
681
+ Bound result 6914264337593535947489
682
+ Bound result 1942
683
+ Bound result 4032
684
+ Bound result 25917137336962
685
+ Bound result 0
643
686
  Bound result 0
644
- Bound result 3414983981780052679485
645
- Bound result 995692734083095618730
646
- Bound result 2381
647
- Bound result 937
648
- Bound result 2174915762010
649
- Bound result 892294159007987480144
650
- Bound result 1
651
- Bound result 109947613512661319
652
687
 
653
688
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
654
689
 
655
690
  ╭-----------------------------------+---------------------+-------+---------+----------╮
656
691
  | Contract | Selector | Calls | Reverts | Discards |
657
692
  +======================================================================================+
658
- | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
693
+ | RateLimiterRBACUpgradeableHandler | inflow | 559 | 0 | 0 |
659
694
  |-----------------------------------+---------------------+-------+---------+----------|
660
- | RateLimiterRBACUpgradeableHandler | outflow | 572 | 0 | 0 |
695
+ | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
661
696
  |-----------------------------------+---------------------+-------+---------+----------|
662
- | RateLimiterRBACUpgradeableHandler | setConfig | 521 | 0 | 0 |
697
+ | RateLimiterRBACUpgradeableHandler | setConfig | 544 | 0 | 0 |
663
698
  |-----------------------------------+---------------------+-------+---------+----------|
664
- | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
699
+ | RateLimiterRBACUpgradeableHandler | setState | 568 | 0 | 0 |
665
700
  |-----------------------------------+---------------------+-------+---------+----------|
666
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
701
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 523 | 0 | 0 |
667
702
  |-----------------------------------+---------------------+-------+---------+----------|
668
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 536 | 0 | 0 |
703
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
669
704
  |-----------------------------------+---------------------+-------+---------+----------|
670
- | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
705
+ | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
671
706
  ╰-----------------------------------+---------------------+-------+---------+----------╯
672
707
 
673
708
  Logs:
709
+ Bound result 160
710
+ Bound result 585685509760332194050
674
711
  Bound result 1
675
- Bound result 1840278827032
676
- Bound result 195952261385702
712
+ Bound result 9900000000000000009194
713
+ Bound result 4780488956411236156277
714
+ Bound result 7553
715
+ Bound result 8519
716
+ Bound result 9900000000000000010363
717
+ Bound result 9900000000000000010535
718
+ Bound result 240
719
+ Bound result 908
720
+ Bound result 7243
721
+ Bound result 29724
722
+ Bound result 1
723
+ Bound result 11831027827423279612
724
+ Bound result 1
725
+ Bound result 10682310036208779904420
726
+ Bound result 3521
677
727
  Bound result 0
678
- Bound result 1614
679
- Bound result 183912908242969597150
680
- Bound result 7469783394734
681
- Bound result 14101218681097641512
682
- Bound result 590407819047039617644
683
- Bound result 616
728
+ Bound result 2307
729
+ Bound result 1290
730
+ Bound result 6536
684
731
  Bound result 1
685
- Bound result 3496
686
- Bound result 1083
687
- Bound result 5040
688
- Bound result 18
689
- Bound result 5090
690
732
 
691
733
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
692
734
 
693
735
  ╭-----------------------------------+---------------------+-------+---------+----------╮
694
736
  | Contract | Selector | Calls | Reverts | Discards |
695
737
  +======================================================================================+
696
- | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
738
+ | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
697
739
  |-----------------------------------+---------------------+-------+---------+----------|
698
- | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
740
+ | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
699
741
  |-----------------------------------+---------------------+-------+---------+----------|
700
- | RateLimiterRBACUpgradeableHandler | setConfig | 578 | 0 | 0 |
742
+ | RateLimiterRBACUpgradeableHandler | setConfig | 565 | 0 | 0 |
701
743
  |-----------------------------------+---------------------+-------+---------+----------|
702
- | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
744
+ | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
703
745
  |-----------------------------------+---------------------+-------+---------+----------|
704
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 587 | 0 | 0 |
746
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
705
747
  |-----------------------------------+---------------------+-------+---------+----------|
706
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 532 | 0 | 0 |
748
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
707
749
  |-----------------------------------+---------------------+-------+---------+----------|
708
- | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
750
+ | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
709
751
  ╰-----------------------------------+---------------------+-------+---------+----------╯
710
752
 
711
753
  Logs:
712
- Bound result 9236
713
- Bound result 8297
714
- Bound result 9850
715
- Bound result 0
716
- Bound result 3351
717
- Bound result 50664509017250971603
718
- Bound result 9900000000000000000581
719
- Bound result 100000000000000000001
720
- Bound result 247
721
- Bound result 2653
722
- Bound result 798
723
- Bound result 3
724
- Bound result 9900000050809778537307
725
- Bound result 9900000000000940329394
726
- Bound result 13
727
- Bound result 3063
728
- Bound result 2464700
729
- Bound result 7
730
- Bound result 724
731
- Bound result 9900000000000000007718
732
- Bound result 9900000000000000000901
733
- Bound result 1273
734
- Bound result 6242
735
- Bound result 2061
736
- Bound result 9900000000000000001200
737
- Bound result 9900000000000000007380
738
- Bound result 2095
739
- Bound result 158
740
-
741
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.10s (7.57s CPU time)
742
-
743
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
744
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26138, ~: 38584)
745
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
746
- [PASS] test_assertNotPaused_Success() (gas: 12516)
747
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
748
- [PASS] test_isPaused_InitialState() (gas: 15595)
749
- [PASS] test_pause() (gas: 39592)
750
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28465, ~: 39861)
751
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
752
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
753
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
754
- [PASS] test_storageHash() (gas: 3414)
755
- [PASS] test_unpause() (gas: 31115)
756
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40536, ~: 42029)
757
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
758
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
759
- [PASS] test_whenNotPaused_Success() (gas: 38744)
760
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
761
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
762
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
763
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.22s (183.55ms CPU time)
754
+ Bound result 153
755
+ Bound result 1
756
+ Bound result 9900000000000000007716
757
+ Bound result 9900000000000000010286
758
+ Bound result 1546
759
+ Bound result 8099
760
+ Bound result 8120
761
+ Bound result 274
762
+ Bound result 5149
763
+ Bound result 9900000000000000001583
764
+ Bound result 6031565321241651558217
765
+ Bound result 1199
766
+ Bound result 5516
767
+ Bound result 5552
768
+ Bound result 3141648438949068107044
769
+ Bound result 151731078372880736850
770
+ Bound result 9414
771
+ Bound result 5105
772
+ Bound result 8569
773
+ Bound result 9900000000000000008882
774
+ Bound result 9900000000000000001628
775
+ Bound result 4394
776
+ Bound result 6101
777
+
778
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 3.15s (15.99s CPU time)
764
779
 
765
780
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
766
781
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -768,430 +783,341 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
768
783
  ╭-----------------------------------+---------------------+-------+---------+----------╮
769
784
  | Contract | Selector | Calls | Reverts | Discards |
770
785
  +======================================================================================+
771
- | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
786
+ | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
772
787
  |-----------------------------------+---------------------+-------+---------+----------|
773
- | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
788
+ | RateLimiterRBACUpgradeableHandler | outflow | 578 | 0 | 0 |
774
789
  |-----------------------------------+---------------------+-------+---------+----------|
775
- | RateLimiterRBACUpgradeableHandler | setConfig | 574 | 0 | 0 |
790
+ | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
776
791
  |-----------------------------------+---------------------+-------+---------+----------|
777
- | RateLimiterRBACUpgradeableHandler | setState | 546 | 0 | 0 |
792
+ | RateLimiterRBACUpgradeableHandler | setState | 472 | 0 | 0 |
778
793
  |-----------------------------------+---------------------+-------+---------+----------|
779
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 524 | 0 | 0 |
794
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 566 | 0 | 0 |
780
795
  |-----------------------------------+---------------------+-------+---------+----------|
781
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
796
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
782
797
  |-----------------------------------+---------------------+-------+---------+----------|
783
- | RateLimiterRBACUpgradeableHandler | warp | 562 | 0 | 0 |
798
+ | RateLimiterRBACUpgradeableHandler | warp | 571 | 0 | 0 |
784
799
  ╰-----------------------------------+---------------------+-------+---------+----------╯
785
800
 
786
801
  Logs:
787
- Bound result 3542
788
- Bound result 2
789
- Bound result 2
802
+ Bound result 351
803
+ Bound result 184
804
+ Bound result 9900000000000000000062
805
+ Bound result 9900000000729877791224
806
+ Bound result 192
807
+ Bound result 5942
808
+ Bound result 1036
809
+ Bound result 9900000000001982814380
810
+ Bound result 1137426859188653456729
811
+ Bound result 6240
812
+ Bound result 9827
813
+ Bound result 736
814
+ Bound result 119
815
+ Bound result 133
816
+ Bound result 1040
817
+ Bound result 26663711494
818
+ Bound result 7306
790
819
  Bound result 1
791
- Bound result 15813501300742
792
- Bound result 1996337
793
- Bound result 0
794
- Bound result 1637733633608657295
795
- Bound result 514264337593504336251
796
- Bound result 0
797
- Bound result 9900508256203180632689
798
- Bound result 9900000000000009093522
799
- Bound result 9997
800
- Bound result 3886
801
- Bound result 1657
802
- Bound result 10162
803
- Bound result 0
804
- Bound result 7300
805
- Bound result 9900000000000000009076
806
- Bound result 9900000015813501300742
807
- Bound result 1057
808
- Bound result 8697
809
- Bound result 6914264337593535947489
810
- Bound result 9900000000000000000075
811
- Bound result 521
812
- Bound result 12
813
- Bound result 9900000000270345241150
814
- Bound result 9900000000000003051330
815
- Bound result 457
816
- Bound result 327
817
- Bound result 616
820
+ Bound result 9900000000000000010419
821
+ Bound result 9900000000000000011069
822
+ Bound result 9886
823
+ Bound result 7532
824
+ Bound result 4084015
825
+ Bound result 6155061989290434
826
+ Bound result 6914264337593535947488
827
+ Bound result 9900000000000000007309
828
+ Bound result 2461
829
+ Bound result 2922
818
830
 
819
831
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
820
832
 
821
833
  ╭-----------------------------------+---------------------+-------+---------+----------╮
822
834
  | Contract | Selector | Calls | Reverts | Discards |
823
835
  +======================================================================================+
824
- | RateLimiterRBACUpgradeableHandler | inflow | 570 | 0 | 0 |
836
+ | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
825
837
  |-----------------------------------+---------------------+-------+---------+----------|
826
- | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
838
+ | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
827
839
  |-----------------------------------+---------------------+-------+---------+----------|
828
- | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
840
+ | RateLimiterRBACUpgradeableHandler | setConfig | 536 | 0 | 0 |
829
841
  |-----------------------------------+---------------------+-------+---------+----------|
830
- | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
842
+ | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
831
843
  |-----------------------------------+---------------------+-------+---------+----------|
832
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
844
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 530 | 0 | 0 |
833
845
  |-----------------------------------+---------------------+-------+---------+----------|
834
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
846
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
835
847
  |-----------------------------------+---------------------+-------+---------+----------|
836
- | RateLimiterRBACUpgradeableHandler | warp | 547 | 0 | 0 |
848
+ | RateLimiterRBACUpgradeableHandler | warp | 570 | 0 | 0 |
837
849
  ╰-----------------------------------+---------------------+-------+---------+----------╯
838
850
 
839
851
  Logs:
840
- Bound result 618256889371510837323
841
- Bound result 542
842
- Bound result 37721
843
- Bound result 0
844
- Bound result 7660326803596615676095
845
- Bound result 9900000000000000002324
846
- Bound result 6771
847
- Bound result 4236
848
- Bound result 8751222808317220626
849
- Bound result 9900000000000290857240
850
- Bound result 9901058643553464961086
851
- Bound result 2661
852
- Bound result 46
853
- Bound result 66151933450928
854
- Bound result 6914262009908425959772
855
- Bound result 5198271590311857540773
856
- Bound result 9900000000000713826614
857
- Bound result 9998
858
- Bound result 11
859
- Bound result 9900000000000000004321
860
- Bound result 9900000000000000000035
861
- Bound result 2843
862
- Bound result 3741
863
- Bound result 6914264337558959659986
864
- Bound result 18234545694059786402102
865
- Bound result 0
866
- Bound result 1065541090506740624
852
+ Bound result 9900000000000028738076
853
+ Bound result 9900000000000264535120
854
+ Bound result 2791
855
+ Bound result 1255
856
+ Bound result 3453
857
+ Bound result 565
858
+ Bound result 21406
859
+ Bound result 44
860
+ Bound result 266855766881072736388
861
+ Bound result 4206524934112555346
862
+ Bound result 10107
867
863
 
868
864
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
869
865
 
870
866
  ╭-----------------------------------+---------------------+-------+---------+----------╮
871
867
  | Contract | Selector | Calls | Reverts | Discards |
872
868
  +======================================================================================+
873
- | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
869
+ | RateLimiterRBACUpgradeableHandler | inflow | 580 | 0 | 0 |
874
870
  |-----------------------------------+---------------------+-------+---------+----------|
875
- | RateLimiterRBACUpgradeableHandler | outflow | 542 | 0 | 0 |
871
+ | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
876
872
  |-----------------------------------+---------------------+-------+---------+----------|
877
- | RateLimiterRBACUpgradeableHandler | setConfig | 518 | 0 | 0 |
873
+ | RateLimiterRBACUpgradeableHandler | setConfig | 561 | 0 | 0 |
878
874
  |-----------------------------------+---------------------+-------+---------+----------|
879
- | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
875
+ | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
880
876
  |-----------------------------------+---------------------+-------+---------+----------|
881
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 574 | 0 | 0 |
877
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
882
878
  |-----------------------------------+---------------------+-------+---------+----------|
883
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
879
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 527 | 0 | 0 |
884
880
  |-----------------------------------+---------------------+-------+---------+----------|
885
- | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
881
+ | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
886
882
  ╰-----------------------------------+---------------------+-------+---------+----------╯
887
883
 
888
884
  Logs:
889
- Bound result 16826778065
890
- Bound result 3521
891
- Bound result 3328948023
892
- Bound result 0
893
- Bound result 9900000000000000006805
894
- Bound result 9900000000000000005551
895
- Bound result 4493
896
- Bound result 386
897
- Bound result 8537
898
- Bound result 10437
899
- Bound result 6914264337539084596915
885
+ Bound result 1526
886
+ Bound result 2564
887
+ Bound result 514264337593543950335
888
+ Bound result 1555
889
+ Bound result 2163
890
+ Bound result 100000000000000000001
891
+ Bound result 9900000000002759052221
892
+ Bound result 61
893
+ Bound result 3201
894
+ Bound result 1
895
+ Bound result 144960849420023
896
+ Bound result 3
897
+ Bound result 2690
898
+ Bound result 109594122090383141534
899
+ Bound result 5777
900
+ Bound result 128650330022184423293
901
+ Bound result 310977170524
902
+ Bound result 658
903
+ Bound result 5847
900
904
 
901
905
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
902
906
 
903
907
  ╭-----------------------------------+---------------------+-------+---------+----------╮
904
908
  | Contract | Selector | Calls | Reverts | Discards |
905
909
  +======================================================================================+
906
- | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
910
+ | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
907
911
  |-----------------------------------+---------------------+-------+---------+----------|
908
- | RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
912
+ | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
909
913
  |-----------------------------------+---------------------+-------+---------+----------|
910
- | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
914
+ | RateLimiterRBACUpgradeableHandler | setConfig | 537 | 0 | 0 |
911
915
  |-----------------------------------+---------------------+-------+---------+----------|
912
- | RateLimiterRBACUpgradeableHandler | setState | 542 | 0 | 0 |
916
+ | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
913
917
  |-----------------------------------+---------------------+-------+---------+----------|
914
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 581 | 0 | 0 |
918
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 569 | 0 | 0 |
915
919
  |-----------------------------------+---------------------+-------+---------+----------|
916
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 514 | 0 | 0 |
920
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 528 | 0 | 0 |
917
921
  |-----------------------------------+---------------------+-------+---------+----------|
918
- | RateLimiterRBACUpgradeableHandler | warp | 584 | 0 | 0 |
922
+ | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
919
923
  ╰-----------------------------------+---------------------+-------+---------+----------╯
920
924
 
921
925
  Logs:
922
- Bound result 1327428231
923
- Bound result 890253132036027879086
924
- Bound result 422935438
926
+ Bound result 1719967068885320954582
927
+ Bound result 8291
928
+ Bound result 1394357908203371790358
929
+ Bound result 1358144521704781813174
930
+ Bound result 18554052071698574350
931
+ Bound result 313433774606372297967
932
+ Bound result 1
933
+ Bound result 127847461363147467685
934
+ Bound result 1600882309574632567580
925
935
  Bound result 0
926
- Bound result 2946
927
- Bound result 144
928
- Bound result 235213557348185100
929
- Bound result 287477916476
930
- Bound result 9900000000000000000496
931
- Bound result 9900000000000000009696
932
- Bound result 7797
933
- Bound result 6545
934
- Bound result 1294
935
- Bound result 4807
936
- Bound result 54
937
- Bound result 12006
938
- Bound result 72996
939
- Bound result 86245274493
940
- Bound result 2620
936
+ Bound result 87528
937
+ Bound result 1
938
+ Bound result 119551487998427114394
939
+ Bound result 543
941
940
 
942
941
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
943
942
 
944
943
  ╭-----------------------------------+---------------------+-------+---------+----------╮
945
944
  | Contract | Selector | Calls | Reverts | Discards |
946
945
  +======================================================================================+
947
- | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
946
+ | RateLimiterRBACUpgradeableHandler | inflow | 590 | 0 | 0 |
948
947
  |-----------------------------------+---------------------+-------+---------+----------|
949
- | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
948
+ | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
950
949
  |-----------------------------------+---------------------+-------+---------+----------|
951
- | RateLimiterRBACUpgradeableHandler | setConfig | 571 | 0 | 0 |
950
+ | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
952
951
  |-----------------------------------+---------------------+-------+---------+----------|
953
- | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
952
+ | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
954
953
  |-----------------------------------+---------------------+-------+---------+----------|
955
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 511 | 0 | 0 |
954
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 521 | 0 | 0 |
956
955
  |-----------------------------------+---------------------+-------+---------+----------|
957
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
956
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
958
957
  |-----------------------------------+---------------------+-------+---------+----------|
959
- | RateLimiterRBACUpgradeableHandler | warp | 571 | 0 | 0 |
958
+ | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
960
959
  ╰-----------------------------------+---------------------+-------+---------+----------╯
961
960
 
962
961
  Logs:
963
- Bound result 1940310525507872114795
964
- Bound result 384571880393511297
965
- Bound result 0
966
- Bound result 9299312544781952441
967
- Bound result 194137898126472600
968
- Bound result 1
969
- Bound result 1649
970
- Bound result 21402
971
- Bound result 1479591996253098539
972
- Bound result 331
973
- Bound result 1246125932510737865268
974
- Bound result 560828689666714078518
975
- Bound result 0
976
- Bound result 6162
977
- Bound result 1876281281145568199838
978
- Bound result 341
979
- Bound result 1
980
- Bound result 403347669813070002000
981
- Bound result 328
982
- Bound result 5847
983
- Bound result 681321223797209393295
984
- Bound result 131
985
- Bound result 1055
986
- Bound result 172
987
- Bound result 9900000000000000006026
988
- Bound result 9900000000000000000059
989
- Bound result 3845
990
- Bound result 9327
991
- Bound result 222005148
962
+ Bound result 843097594233906629652
963
+ Bound result 1115
964
+ Bound result 603348734151419394455
965
+ Bound result 2125
966
+ Bound result 239448184466009964010
967
+ Bound result 393
968
+ Bound result 58
969
+ Bound result 9900000000000000008571
970
+ Bound result 9900000000000000008437
971
+ Bound result 7072
972
+ Bound result 5182
973
+ Bound result 9900000000000000008850
974
+ Bound result 9900000000000000000333
975
+ Bound result 609
976
+ Bound result 4948
977
+ Bound result 366
978
+ Bound result 7438304045304733810843
979
+ Bound result 8404284090638177457886
980
+ Bound result 841
981
+ Bound result 1957
982
+ Bound result 123
992
983
 
993
984
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
994
985
 
995
986
  ╭-----------------------------------+---------------------+-------+---------+----------╮
996
987
  | Contract | Selector | Calls | Reverts | Discards |
997
988
  +======================================================================================+
998
- | RateLimiterRBACUpgradeableHandler | inflow | 539 | 0 | 0 |
989
+ | RateLimiterRBACUpgradeableHandler | inflow | 565 | 0 | 0 |
999
990
  |-----------------------------------+---------------------+-------+---------+----------|
1000
- | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
991
+ | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
1001
992
  |-----------------------------------+---------------------+-------+---------+----------|
1002
- | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
993
+ | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
1003
994
  |-----------------------------------+---------------------+-------+---------+----------|
1004
- | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
995
+ | RateLimiterRBACUpgradeableHandler | setState | 563 | 0 | 0 |
1005
996
  |-----------------------------------+---------------------+-------+---------+----------|
1006
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
997
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
1007
998
  |-----------------------------------+---------------------+-------+---------+----------|
1008
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 563 | 0 | 0 |
999
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
1009
1000
  |-----------------------------------+---------------------+-------+---------+----------|
1010
- | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
1001
+ | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
1011
1002
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1012
1003
 
1013
1004
  Logs:
1014
- Bound result 663
1015
- Bound result 632742195619396935251
1016
- Bound result 9076
1017
- Bound result 518
1018
- Bound result 1117
1019
- Bound result 1226
1020
- Bound result 9900000000000000053320
1021
- Bound result 9905909108052473937178
1022
- Bound result 1334
1023
- Bound result 11
1024
- Bound result 1607896090205843021532
1025
- Bound result 6914264337593535947488
1026
- Bound result 1006
1027
- Bound result 15
1028
- Bound result 92
1029
- Bound result 447
1030
- Bound result 7213
1031
- Bound result 9900000000472615341875
1032
- Bound result 100000000000000000000
1033
- Bound result 12
1034
- Bound result 386
1035
- Bound result 6910482070740511657835
1036
- Bound result 926474208373401
1037
- Bound result 3784905736
1038
- Bound result 273
1005
+ Bound result 9900000000000000000388
1006
+ Bound result 9900000000000000004495
1007
+ Bound result 3341
1008
+ Bound result 8852
1009
+ Bound result 2107269097
1010
+ Bound result 8559
1011
+ Bound result 1
1012
+ Bound result 10
1013
+ Bound result 321
1014
+ Bound result 3256
1015
+ Bound result 3404
1016
+ Bound result 4780488956397545005517
1017
+ Bound result 2
1018
+ Bound result 1
1019
+ Bound result 541
1020
+ Bound result 3339
1021
+ Bound result 1099
1022
+ Bound result 2
1039
1023
 
1040
1024
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1041
1025
 
1042
1026
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1043
1027
  | Contract | Selector | Calls | Reverts | Discards |
1044
1028
  +======================================================================================+
1045
- | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
1029
+ | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
1046
1030
  |-----------------------------------+---------------------+-------+---------+----------|
1047
- | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
1031
+ | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
1048
1032
  |-----------------------------------+---------------------+-------+---------+----------|
1049
- | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
1033
+ | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
1050
1034
  |-----------------------------------+---------------------+-------+---------+----------|
1051
- | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
1035
+ | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
1052
1036
  |-----------------------------------+---------------------+-------+---------+----------|
1053
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
1037
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
1054
1038
  |-----------------------------------+---------------------+-------+---------+----------|
1055
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
1039
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 559 | 0 | 0 |
1056
1040
  |-----------------------------------+---------------------+-------+---------+----------|
1057
- | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
1041
+ | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
1058
1042
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1059
1043
 
1060
1044
  Logs:
1061
- Bound result 701890289711260201711
1062
- Bound result 1186147559442617851
1063
- Bound result 0
1064
- Bound result 281922350508106522508
1065
- Bound result 547957215824771097118
1066
- Bound result 542
1067
- Bound result 785083316885472513592
1068
- Bound result 2162
1069
- Bound result 0
1070
- Bound result 296
1071
- Bound result 9900000000000000003452
1072
- Bound result 9900000000000000001024
1073
- Bound result 4006
1074
- Bound result 5404
1075
- Bound result 108
1076
- Bound result 72661
1045
+ Bound result 9900000000000226814486
1046
+ Bound result 6026107258977535973824
1047
+ Bound result 9995
1048
+ Bound result 21
1049
+ Bound result 5000
1050
+ Bound result 10071901382170622469731
1051
+ Bound result 117169902
1052
+ Bound result 1
1053
+ Bound result 2167
1054
+ Bound result 16959085367387783221843
1055
+ Bound result 692749718320866708425
1077
1056
  Bound result 1
1078
- Bound result 38
1079
- Bound result 4100
1080
1057
  Bound result 1
1081
- Bound result 37191354387988
1082
- Bound result 9250
1058
+ Bound result 9900000000000000020377
1059
+ Bound result 100000000000000000003
1060
+ Bound result 8565
1061
+ Bound result 5563
1062
+ Bound result 10414
1063
+ Bound result 7873
1064
+ Bound result 1
1065
+ Bound result 379505346354
1066
+ Bound result 16662214618192698907
1067
+ Bound result 0
1068
+ Bound result 9900000000000000000997
1069
+ Bound result 9900000000000000006941
1070
+ Bound result 3902
1071
+ Bound result 5339
1072
+ Bound result 6686723161015425459948
1073
+ Bound result 4954759328404501193722
1074
+ Bound result 1
1075
+ Bound result 10655969
1076
+ Bound result 8780606157472726661528
1077
+ Bound result 9900000000002246998951
1078
+ Bound result 4125
1079
+ Bound result 538
1080
+ Bound result 5174863407976657188162
1081
+ Bound result 9900000000000000008802
1082
+ Bound result 3901
1083
+ Bound result 3068
1083
1084
 
1084
1085
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1085
1086
 
1086
1087
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1087
1088
  | Contract | Selector | Calls | Reverts | Discards |
1088
1089
  +======================================================================================+
1089
- | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
1090
+ | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
1090
1091
  |-----------------------------------+---------------------+-------+---------+----------|
1091
- | RateLimiterRBACUpgradeableHandler | outflow | 550 | 0 | 0 |
1092
+ | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
1092
1093
  |-----------------------------------+---------------------+-------+---------+----------|
1093
- | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
1094
+ | RateLimiterRBACUpgradeableHandler | setConfig | 522 | 0 | 0 |
1094
1095
  |-----------------------------------+---------------------+-------+---------+----------|
1095
- | RateLimiterRBACUpgradeableHandler | setState | 496 | 0 | 0 |
1096
+ | RateLimiterRBACUpgradeableHandler | setState | 556 | 0 | 0 |
1096
1097
  |-----------------------------------+---------------------+-------+---------+----------|
1097
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
1098
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
1098
1099
  |-----------------------------------+---------------------+-------+---------+----------|
1099
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 583 | 0 | 0 |
1100
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
1100
1101
  |-----------------------------------+---------------------+-------+---------+----------|
1101
- | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
1102
+ | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
1102
1103
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1103
1104
 
1104
1105
  Logs:
1105
- Bound result 9900000000000000000315
1106
- Bound result 9900000000000350261690
1107
- Bound result 1184
1108
- Bound result 875
1109
- Bound result 563
1110
- Bound result 379464935
1111
- Bound result 1220
1112
- Bound result 70134191897255966
1113
- Bound result 943296018625218
1114
- Bound result 25
1115
- Bound result 10436
1116
- Bound result 8781
1117
- Bound result 1177
1118
- Bound result 34873815193244
1119
- Bound result 20054
1120
- Bound result 195
1121
- Bound result 3159546914506194453
1122
- Bound result 6914261534503879703972
1123
- Bound result 5709
1124
- Bound result 17281321223794782312761
1125
- Bound result 613063844
1126
- Bound result 903
1127
-
1128
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.22s (7.91s CPU time)
1129
-
1130
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1131
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1132
- [PASS] test_constructor_InitialMode() (gas: 15578)
1133
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1134
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1135
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1136
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1137
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1138
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1139
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1140
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1141
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1142
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1143
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1144
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1145
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1146
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1147
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1148
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1149
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1150
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1151
- [PASS] test_setMode_Blacklist() (gas: 40021)
1152
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
1153
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
1154
- [PASS] test_setMode_Whitelist() (gas: 40108)
1155
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1156
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1157
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1158
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1159
- [PASS] test_storageHash() (gas: 3458)
1160
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 13.71s (325.95ms CPU time)
1106
+ Bound result 1539238203920926960288
1107
+ Bound result 1295
1108
+ Bound result 3
1109
+ Bound result 2589
1110
+ Bound result 90
1111
+ Bound result 9901070204322531333245
1112
+ Bound result 8187265482273385124138
1113
+ Bound result 8731
1114
+ Bound result 1421
1115
+ Bound result 145375618598046352
1116
+ Bound result 2564
1117
+ Bound result 2
1118
+ Bound result 3696
1161
1119
 
1162
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
1163
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
1164
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
1165
- [PASS] test_assertNotPaused_Success() (gas: 14934)
1166
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
1167
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
1168
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
1169
- [PASS] test_isPaused_Default() (gas: 44698)
1170
- [PASS] test_isPaused_InitialState() (gas: 22070)
1171
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
1172
- [PASS] test_isPaused_Override() (gas: 69381)
1173
- [PASS] test_isPaused_Specific() (gas: 46709)
1174
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
1175
- [PASS] test_pauseConfig() (gas: 45626)
1176
- [PASS] test_setDefaultPaused() (gas: 39667)
1177
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28714, ~: 39918)
1178
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
1179
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
1180
- [PASS] test_setPaused() (gas: 43060)
1181
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
1182
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 37960, ~: 43373)
1183
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
1184
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
1185
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
1186
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58592, ~: 69608)
1187
- [PASS] test_storageHash() (gas: 3480)
1188
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
1189
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
1190
- [PASS] test_whenNotPaused_Success() (gas: 41297)
1191
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
1192
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
1193
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
1194
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 13.71s (249.06ms CPU time)
1120
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 3.58s (16.88s CPU time)
1195
1121
 
1196
1122
  Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1197
1123
  [PASS] test_SwitchModes_PreservesState() (gas: 195548)
@@ -1226,12 +1152,44 @@ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTes
1226
1152
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1227
1153
  [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
1228
1154
  [PASS] test_storageHash() (gas: 3480)
1229
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 13.71s (496.61ms CPU time)
1155
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 15.49s (1.49s CPU time)
1156
+
1157
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1158
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1159
+ [PASS] test_constructor_InitialMode() (gas: 15578)
1160
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1161
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1162
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1163
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1164
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1165
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1166
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1167
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 109990, ~: 110030)
1168
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1169
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1170
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1171
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1172
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1173
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1174
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1175
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1176
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1177
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1178
+ [PASS] test_setMode_Blacklist() (gas: 40021)
1179
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
1180
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
1181
+ [PASS] test_setMode_Whitelist() (gas: 40108)
1182
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1183
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1184
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1185
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1186
+ [PASS] test_storageHash() (gas: 3458)
1187
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 16.19s (1.67s CPU time)
1230
1188
 
1231
1189
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1232
1190
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1233
1191
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1234
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 746949, ~: 51234)
1192
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 796332, ~: 182042)
1235
1193
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1236
1194
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1237
1195
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1244,12 +1202,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1244
1202
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1245
1203
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1246
1204
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1247
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11174209, ~: 10522504)
1205
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11183416, ~: 10567958)
1248
1206
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1249
1207
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1250
1208
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1251
1209
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1252
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 820298, ~: 306455)
1210
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 764908, ~: 200492)
1253
1211
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1254
1212
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1255
1213
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1262,15 +1220,37 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1262
1220
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1263
1221
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1264
1222
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1265
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11127056, ~: 10349027)
1223
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11129832, ~: 10412135)
1266
1224
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1267
1225
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1268
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 13.71s (30.98s CPU time)
1226
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 16.18s (39.79s CPU time)
1227
+
1228
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
1229
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26112, ~: 38584)
1230
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
1231
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
1232
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
1233
+ [PASS] test_isPaused_InitialState() (gas: 15595)
1234
+ [PASS] test_pause() (gas: 39592)
1235
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28110, ~: 39861)
1236
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
1237
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
1238
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
1239
+ [PASS] test_storageHash() (gas: 3414)
1240
+ [PASS] test_unpause() (gas: 31115)
1241
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40498, ~: 42029)
1242
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
1243
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
1244
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
1245
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
1246
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
1247
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
1248
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 16.19s (286.33ms CPU time)
1269
1249
 
1270
1250
  Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1271
1251
  [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1272
1252
  [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1273
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44483, ~: 46317)
1253
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44867, ~: 46317)
1274
1254
  [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1275
1255
  [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1276
1256
  [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
@@ -1279,21 +1259,21 @@ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTes
1279
1259
  [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1280
1260
  [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1281
1261
  [PASS] test_getFee_Default() (gas: 40577)
1282
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43065, ~: 44486)
1262
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43423, ~: 44486)
1283
1263
  [PASS] test_getFee_Rounding() (gas: 42835)
1284
1264
  [PASS] test_getFee_Specific() (gas: 63968)
1285
1265
  [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1286
1266
  [PASS] test_setDefaultFeeBps() (gas: 39576)
1287
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32489, ~: 39667)
1267
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32793, ~: 39667)
1288
1268
  [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1289
1269
  [PASS] test_setFeeBps() (gas: 73871)
1290
1270
  Logs:
1291
1271
  Bound result 500
1292
1272
 
1293
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65975, ~: 74224)
1273
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65832, ~: 74224)
1294
1274
  [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1295
1275
  [PASS] test_storageHash() (gas: 3426)
1296
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 13.72s (404.86ms CPU time)
1276
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 16.19s (1.68s CPU time)
1297
1277
 
1298
- Ran 17 test suites in 13.77s (74.04s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1299
- ⏳ forge test: 28.788s
1278
+ Ran 17 test suites in 16.23s (95.51s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1279
+ ⏳ forge test: 32.992s