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

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 +686 -698
  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:148009) [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 12.28s
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 16.18ms (11.87ms 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,45 +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)
218
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 21.94ms (16.04ms CPU time)
219
219
 
220
220
  Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
221
221
  [PASS] test_feeDeposit() (gas: 17576)
@@ -223,7 +223,7 @@ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTe
223
223
  [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
224
224
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
225
225
  [PASS] test_storageHash() (gas: 3337)
226
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 54.39ms (53.65ms CPU time)
226
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 43.07ms (42.57ms CPU time)
227
227
 
228
228
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
229
229
  [PASS] test_feeDeposit() (gas: 17638)
@@ -232,7 +232,7 @@ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTe
232
232
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
233
233
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
234
234
  [PASS] test_storageHash() (gas: 3315)
235
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 104.86ms (104.18ms CPU time)
235
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 48.23ms (47.53ms CPU time)
236
236
 
237
237
  Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
238
238
  [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
@@ -245,48 +245,68 @@ 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 130.44ms (130.22ms CPU time)
249
249
 
250
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
251
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
252
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
253
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
254
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
255
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
256
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
257
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
258
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
259
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
260
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
261
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
262
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
263
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
264
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
265
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
266
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
267
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
268
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
269
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
270
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
271
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
272
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
273
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
274
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
275
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
276
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
277
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
278
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
279
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
280
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
281
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
282
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
283
- [PASS] test_storageHash() (gas: 3380)
284
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 208.07ms (275.70ms CPU time)
250
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
251
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
252
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
253
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
254
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
255
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
256
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
257
+ [PASS] test_isPaused_Default() (gas: 44698)
258
+ [PASS] test_isPaused_InitialState() (gas: 22070)
259
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
260
+ [PASS] test_isPaused_Override() (gas: 69381)
261
+ [PASS] test_isPaused_Specific() (gas: 46709)
262
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
263
+ [PASS] test_pauseConfig() (gas: 45626)
264
+ [PASS] test_setDefaultPaused() (gas: 39667)
265
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27936, ~: 16332)
266
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
267
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
268
+ [PASS] test_setPaused() (gas: 43060)
269
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
270
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38059, ~: 43373)
271
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
272
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
273
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
274
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57936, ~: 46989)
275
+ [PASS] test_storageHash() (gas: 3480)
276
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
277
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
278
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
279
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
280
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
281
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
282
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 376.07ms (594.69ms CPU time)
283
+
284
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
285
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25828, ~: 38584)
286
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
287
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
288
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
289
+ [PASS] test_isPaused_InitialState() (gas: 15595)
290
+ [PASS] test_pause() (gas: 39592)
291
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28016, ~: 16219)
292
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
293
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
294
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
295
+ [PASS] test_storageHash() (gas: 3414)
296
+ [PASS] test_unpause() (gas: 31115)
297
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40439, ~: 38893)
298
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
299
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
300
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
301
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
302
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
303
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
304
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.50s (339.64ms CPU time)
285
305
 
286
306
  Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
287
307
  [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
288
308
  [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
289
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47406, ~: 48966)
309
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47092, ~: 48966)
290
310
  [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
291
311
  [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
292
312
  [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
@@ -295,23 +315,58 @@ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTes
295
315
  [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
296
316
  [PASS] test_getFee_BoundaryConditions() (gas: 75442)
297
317
  [PASS] test_getFee_Default() (gas: 43108)
298
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 46009, ~: 47017)
318
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45855, ~: 47017)
299
319
  [PASS] test_getFee_Rounding() (gas: 45449)
300
320
  [PASS] test_getFee_Specific() (gas: 66985)
301
321
  [PASS] test_getFee_SpecificDisabled() (gas: 66943)
302
322
  [PASS] test_setDefaultFeeBps() (gas: 42199)
303
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35299, ~: 42268)
323
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35673, ~: 42268)
304
324
  [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
305
325
  [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
306
326
  [PASS] test_setFeeBps() (gas: 77237)
307
327
  Logs:
308
328
  Bound result 500
309
329
 
310
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 67900, ~: 77570)
330
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68831, ~: 77570)
311
331
  [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
312
332
  [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
313
333
  [PASS] test_storageHash() (gas: 3436)
314
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 223.16ms (576.83ms CPU time)
334
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.63s (929.52ms CPU time)
335
+
336
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
337
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
338
+ [PASS] test_constructor_InitialMode() (gas: 15778)
339
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
340
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
341
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
342
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
343
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
344
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
345
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
346
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
347
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
348
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
349
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
350
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
351
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
352
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
353
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
354
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
355
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
356
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
357
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
358
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
359
+ [PASS] test_setMode_Blacklist() (gas: 42605)
360
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
361
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
362
+ [PASS] test_setMode_Whitelist() (gas: 42714)
363
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
364
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
365
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
366
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
367
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
368
+ [PASS] test_storageHash() (gas: 3480)
369
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.80s (788.17ms CPU time)
315
370
 
316
371
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
317
372
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -329,7 +384,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
329
384
  [PASS] test_pauseConfig() (gas: 51028)
330
385
  [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
331
386
  [PASS] test_setDefaultPaused() (gas: 42196)
332
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30683, ~: 42446)
387
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30636, ~: 30636)
333
388
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
334
389
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
335
390
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
@@ -338,8 +393,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
338
393
  [PASS] test_setPaused_DormantData() (gas: 295234)
339
394
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
340
395
  [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)
396
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43647, ~: 48696)
397
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223131, ~: 216804)
343
398
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
344
399
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
345
400
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
@@ -353,7 +408,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
353
408
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
354
409
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
355
410
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
356
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62316, ~: 50341)
411
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62469, ~: 73465)
357
412
  [PASS] test_storageHash() (gas: 3392)
358
413
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
359
414
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -361,37 +416,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
361
416
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
362
417
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
363
418
  [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)
419
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 2.25s (1.47s CPU time)
395
420
 
396
421
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
397
422
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -399,207 +424,210 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
399
424
  ╭-----------------------------------+---------------------+-------+---------+----------╮
400
425
  | Contract | Selector | Calls | Reverts | Discards |
401
426
  +======================================================================================+
402
- | RateLimiterRBACUpgradeableHandler | inflow | 519 | 0 | 0 |
427
+ | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
403
428
  |-----------------------------------+---------------------+-------+---------+----------|
404
- | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
429
+ | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
405
430
  |-----------------------------------+---------------------+-------+---------+----------|
406
- | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
431
+ | RateLimiterRBACUpgradeableHandler | setConfig | 586 | 0 | 0 |
407
432
  |-----------------------------------+---------------------+-------+---------+----------|
408
- | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
433
+ | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
409
434
  |-----------------------------------+---------------------+-------+---------+----------|
410
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 531 | 0 | 0 |
435
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
411
436
  |-----------------------------------+---------------------+-------+---------+----------|
412
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
437
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 529 | 0 | 0 |
413
438
  |-----------------------------------+---------------------+-------+---------+----------|
414
- | RateLimiterRBACUpgradeableHandler | warp | 584 | 0 | 0 |
439
+ | RateLimiterRBACUpgradeableHandler | warp | 571 | 0 | 0 |
415
440
  ╰-----------------------------------+---------------------+-------+---------+----------╯
416
441
 
417
442
  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
443
+ Bound result 562417256436728490684
444
+ Bound result 3
445
+ Bound result 1747509149589001734
446
+ Bound result 403492399065
447
+ Bound result 0
448
+ Bound result 523001
449
+ Bound result 5818
450
+ Bound result 5638
451
+ Bound result 0
452
+ Bound result 3
453
+ Bound result 15325959122739312889
454
+ Bound result 1508357
455
+ Bound result 514264337593504336253
456
+ Bound result 0
457
+ Bound result 1431001806761610251604
458
+ Bound result 9900000000000000003932
459
+ Bound result 9900000000000000005864
460
+ Bound result 9522
461
+ Bound result 260
462
+ Bound result 15
463
+ Bound result 322960284402175559713
434
464
 
435
465
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
436
466
 
437
467
  ╭-----------------------------------+---------------------+-------+---------+----------╮
438
468
  | Contract | Selector | Calls | Reverts | Discards |
439
469
  +======================================================================================+
440
- | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
470
+ | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
441
471
  |-----------------------------------+---------------------+-------+---------+----------|
442
- | RateLimiterRBACUpgradeableHandler | outflow | 532 | 0 | 0 |
472
+ | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
443
473
  |-----------------------------------+---------------------+-------+---------+----------|
444
- | RateLimiterRBACUpgradeableHandler | setConfig | 541 | 0 | 0 |
474
+ | RateLimiterRBACUpgradeableHandler | setConfig | 510 | 0 | 0 |
445
475
  |-----------------------------------+---------------------+-------+---------+----------|
446
- | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
476
+ | RateLimiterRBACUpgradeableHandler | setState | 581 | 0 | 0 |
447
477
  |-----------------------------------+---------------------+-------+---------+----------|
448
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
478
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
449
479
  |-----------------------------------+---------------------+-------+---------+----------|
450
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531 | 0 | 0 |
480
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 567 | 0 | 0 |
451
481
  |-----------------------------------+---------------------+-------+---------+----------|
452
- | RateLimiterRBACUpgradeableHandler | warp | 609 | 0 | 0 |
482
+ | RateLimiterRBACUpgradeableHandler | warp | 532 | 0 | 0 |
453
483
  ╰-----------------------------------+---------------------+-------+---------+----------╯
454
484
 
455
485
  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
470
- Bound result 0
471
- Bound result 1
472
- Bound result 188862594163036061717
473
- Bound result 2851
486
+ Bound result 2
487
+ Bound result 5837988
488
+ Bound result 993
489
+ Bound result 2036718347
490
+ Bound result 8717
491
+ Bound result 19472566203
492
+ Bound result 415
493
+ Bound result 23
494
+ Bound result 1777488296135387154394
495
+ Bound result 1821
496
+ Bound result 564
497
+ Bound result 10244
498
+ Bound result 647
499
+ Bound result 1685
474
500
 
475
501
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
476
502
 
477
503
  ╭-----------------------------------+---------------------+-------+---------+----------╮
478
504
  | Contract | Selector | Calls | Reverts | Discards |
479
505
  +======================================================================================+
480
- | RateLimiterRBACUpgradeableHandler | inflow | 586 | 0 | 0 |
506
+ | RateLimiterRBACUpgradeableHandler | inflow | 554 | 0 | 0 |
481
507
  |-----------------------------------+---------------------+-------+---------+----------|
482
- | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
508
+ | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
483
509
  |-----------------------------------+---------------------+-------+---------+----------|
484
- | RateLimiterRBACUpgradeableHandler | setConfig | 525 | 0 | 0 |
510
+ | RateLimiterRBACUpgradeableHandler | setConfig | 559 | 0 | 0 |
485
511
  |-----------------------------------+---------------------+-------+---------+----------|
486
- | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
512
+ | RateLimiterRBACUpgradeableHandler | setState | 591 | 0 | 0 |
487
513
  |-----------------------------------+---------------------+-------+---------+----------|
488
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
514
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
489
515
  |-----------------------------------+---------------------+-------+---------+----------|
490
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 534 | 0 | 0 |
516
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
491
517
  |-----------------------------------+---------------------+-------+---------+----------|
492
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
518
+ | RateLimiterRBACUpgradeableHandler | warp | 533 | 0 | 0 |
493
519
  ╰-----------------------------------+---------------------+-------+---------+----------╯
494
520
 
495
521
  Logs:
496
- Bound result 4101
497
- Bound result 1618909154858744113778
498
- Bound result 1805091258660987236862
499
- 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
522
+ Bound result 238
511
523
  Bound result 1
524
+ Bound result 3093
525
+ Bound result 9123
526
+ Bound result 118
527
+ Bound result 2829
528
+ Bound result 1965
529
+ Bound result 135
530
+ Bound result 35312882
531
+ Bound result 7215962476931970819042
532
+ Bound result 100000000000000000001
533
+ Bound result 1665
534
+ Bound result 13
535
+ Bound result 1853
536
+ Bound result 436521447320
537
+ Bound result 219
538
+ Bound result 7780
512
539
 
513
540
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
514
541
 
515
542
  ╭-----------------------------------+---------------------+-------+---------+----------╮
516
543
  | Contract | Selector | Calls | Reverts | Discards |
517
544
  +======================================================================================+
518
- | RateLimiterRBACUpgradeableHandler | inflow | 520 | 0 | 0 |
545
+ | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
519
546
  |-----------------------------------+---------------------+-------+---------+----------|
520
- | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
547
+ | RateLimiterRBACUpgradeableHandler | outflow | 599 | 0 | 0 |
521
548
  |-----------------------------------+---------------------+-------+---------+----------|
522
- | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
549
+ | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
523
550
  |-----------------------------------+---------------------+-------+---------+----------|
524
- | RateLimiterRBACUpgradeableHandler | setState | 570 | 0 | 0 |
551
+ | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
525
552
  |-----------------------------------+---------------------+-------+---------+----------|
526
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 563 | 0 | 0 |
553
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
527
554
  |-----------------------------------+---------------------+-------+---------+----------|
528
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 534 | 0 | 0 |
555
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
529
556
  |-----------------------------------+---------------------+-------+---------+----------|
530
- | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
557
+ | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
531
558
  ╰-----------------------------------+---------------------+-------+---------+----------╯
532
559
 
533
560
  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
561
+ Bound result 514264337593543950333
562
+ Bound result 9900000000000000007296
563
+ Bound result 9900000000000000005712
564
+ Bound result 3120
565
+ Bound result 8925
566
+ Bound result 9900000018409613425705
567
+ Bound result 9900000000000003760949
568
+ Bound result 3244
569
+ Bound result 8326
570
+ Bound result 1719639407
571
+ Bound result 137960119379971900224
572
+ Bound result 61
573
+ Bound result 9151
574
+ Bound result 6914264337593535947489
575
+ Bound result 100000000000000000003
576
+ Bound result 3463
577
+ Bound result 13
578
+ Bound result 9900000000000000004098
579
+ Bound result 9900000000000000009178
580
+ Bound result 3257
581
+ Bound result 6934
582
+ Bound result 878539050821214604862
583
+ Bound result 9900000000000000012057
584
+ Bound result 5286
585
+ Bound result 2499
555
586
 
556
587
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
557
588
 
558
589
  ╭-----------------------------------+---------------------+-------+---------+----------╮
559
590
  | Contract | Selector | Calls | Reverts | Discards |
560
591
  +======================================================================================+
561
- | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
592
+ | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
562
593
  |-----------------------------------+---------------------+-------+---------+----------|
563
- | RateLimiterRBACUpgradeableHandler | outflow | 567 | 0 | 0 |
594
+ | RateLimiterRBACUpgradeableHandler | outflow | 582 | 0 | 0 |
564
595
  |-----------------------------------+---------------------+-------+---------+----------|
565
- | RateLimiterRBACUpgradeableHandler | setConfig | 588 | 0 | 0 |
596
+ | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
566
597
  |-----------------------------------+---------------------+-------+---------+----------|
567
- | RateLimiterRBACUpgradeableHandler | setState | 518 | 0 | 0 |
598
+ | RateLimiterRBACUpgradeableHandler | setState | 522 | 0 | 0 |
568
599
  |-----------------------------------+---------------------+-------+---------+----------|
569
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
600
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 548 | 0 | 0 |
570
601
  |-----------------------------------+---------------------+-------+---------+----------|
571
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
602
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 536 | 0 | 0 |
572
603
  |-----------------------------------+---------------------+-------+---------+----------|
573
- | RateLimiterRBACUpgradeableHandler | warp | 522 | 0 | 0 |
604
+ | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
574
605
  ╰-----------------------------------+---------------------+-------+---------+----------╯
575
606
 
576
607
  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
593
- 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
608
+ Bound result 10353
609
+ Bound result 8006
610
+ Bound result 0
611
+ Bound result 100000000000000000003
612
+ Bound result 9900665155684867885512
613
+ Bound result 5149
614
+ Bound result 5426
615
+ Bound result 43974889236555442740
616
+ Bound result 4222199812989106648569
617
+ Bound result 388
618
+ Bound result 9900000000000000001163
619
+ Bound result 10000000000000000000000
620
+ Bound result 7274
621
+ Bound result 2073
622
+ Bound result 4162
623
+ Bound result 10618
624
+ Bound result 82563405843581
625
+ Bound result 4361696838195353740
626
+ Bound result 4010815
627
+ Bound result 9900000000000000000468
628
+ Bound result 6914264337593535947490
629
+ Bound result 163
630
+ Bound result 813
603
631
 
604
632
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
605
633
 
@@ -608,159 +636,131 @@ Logs:
608
636
  +======================================================================================+
609
637
  | RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
610
638
  |-----------------------------------+---------------------+-------+---------+----------|
611
- | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
639
+ | RateLimiterRBACUpgradeableHandler | outflow | 561 | 0 | 0 |
612
640
  |-----------------------------------+---------------------+-------+---------+----------|
613
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
641
+ | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
614
642
  |-----------------------------------+---------------------+-------+---------+----------|
615
- | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
643
+ | RateLimiterRBACUpgradeableHandler | setState | 574 | 0 | 0 |
616
644
  |-----------------------------------+---------------------+-------+---------+----------|
617
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
645
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 519 | 0 | 0 |
618
646
  |-----------------------------------+---------------------+-------+---------+----------|
619
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
647
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
620
648
  |-----------------------------------+---------------------+-------+---------+----------|
621
- | RateLimiterRBACUpgradeableHandler | warp | 562 | 0 | 0 |
649
+ | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
622
650
  ╰-----------------------------------+---------------------+-------+---------+----------╯
623
651
 
624
652
  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
653
+ Bound result 1901074598
639
654
  Bound result 1
640
- Bound result 1
641
- Bound result 8026
642
- Bound result 9968
655
+ Bound result 9900000007030027833809
656
+ Bound result 9900000000000771255871
657
+ Bound result 11
658
+ Bound result 7242
659
+ Bound result 289212125371176374388
660
+ Bound result 12263497294612306003
661
+ Bound result 2328
662
+ Bound result 901
663
+ Bound result 8193
643
664
  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
665
+ Bound result 13026
666
+ Bound result 3689055020
667
+ Bound result 9113
668
+ Bound result 5688
669
+ Bound result 7681
670
+ Bound result 18110867159828790974867
671
+ Bound result 11520394931
672
+ Bound result 1117
652
673
 
653
674
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
654
675
 
655
676
  ╭-----------------------------------+---------------------+-------+---------+----------╮
656
677
  | Contract | Selector | Calls | Reverts | Discards |
657
678
  +======================================================================================+
658
- | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
679
+ | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
659
680
  |-----------------------------------+---------------------+-------+---------+----------|
660
- | RateLimiterRBACUpgradeableHandler | outflow | 572 | 0 | 0 |
681
+ | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
661
682
  |-----------------------------------+---------------------+-------+---------+----------|
662
- | RateLimiterRBACUpgradeableHandler | setConfig | 521 | 0 | 0 |
683
+ | RateLimiterRBACUpgradeableHandler | setConfig | 524 | 0 | 0 |
663
684
  |-----------------------------------+---------------------+-------+---------+----------|
664
- | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
685
+ | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
665
686
  |-----------------------------------+---------------------+-------+---------+----------|
666
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
687
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
667
688
  |-----------------------------------+---------------------+-------+---------+----------|
668
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 536 | 0 | 0 |
689
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
669
690
  |-----------------------------------+---------------------+-------+---------+----------|
670
- | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
691
+ | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
671
692
  ╰-----------------------------------+---------------------+-------+---------+----------╯
672
693
 
673
694
  Logs:
695
+ Bound result 9900000000000000000173
696
+ Bound result 9900000000000000000292
697
+ Bound result 4945
698
+ Bound result 6448
699
+ Bound result 3305
700
+ Bound result 37462
674
701
  Bound result 1
675
- Bound result 1840278827032
676
- Bound result 195952261385702
702
+ Bound result 9900000296811831319548
703
+ Bound result 9900044247044902675614
704
+ Bound result 5213
705
+ Bound result 9848
706
+ Bound result 3
707
+ Bound result 8194
708
+ Bound result 10334
709
+ Bound result 74486635
710
+ Bound result 96
677
711
  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
684
- Bound result 1
685
- Bound result 3496
686
- Bound result 1083
687
- Bound result 5040
688
- Bound result 18
689
- Bound result 5090
712
+ Bound result 3021
713
+ Bound result 1661814751489
714
+ Bound result 891
715
+ Bound result 2
690
716
 
691
717
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
692
718
 
693
719
  ╭-----------------------------------+---------------------+-------+---------+----------╮
694
720
  | Contract | Selector | Calls | Reverts | Discards |
695
721
  +======================================================================================+
696
- | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
722
+ | RateLimiterRBACUpgradeableHandler | inflow | 572 | 0 | 0 |
697
723
  |-----------------------------------+---------------------+-------+---------+----------|
698
- | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
724
+ | RateLimiterRBACUpgradeableHandler | outflow | 520 | 0 | 0 |
699
725
  |-----------------------------------+---------------------+-------+---------+----------|
700
- | RateLimiterRBACUpgradeableHandler | setConfig | 578 | 0 | 0 |
726
+ | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
701
727
  |-----------------------------------+---------------------+-------+---------+----------|
702
- | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
728
+ | RateLimiterRBACUpgradeableHandler | setState | 514 | 0 | 0 |
703
729
  |-----------------------------------+---------------------+-------+---------+----------|
704
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 587 | 0 | 0 |
730
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
705
731
  |-----------------------------------+---------------------+-------+---------+----------|
706
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 532 | 0 | 0 |
732
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
707
733
  |-----------------------------------+---------------------+-------+---------+----------|
708
- | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
734
+ | RateLimiterRBACUpgradeableHandler | warp | 610 | 0 | 0 |
709
735
  ╰-----------------------------------+---------------------+-------+---------+----------╯
710
736
 
711
737
  Logs:
712
- Bound result 9236
713
- Bound result 8297
714
- Bound result 9850
738
+ Bound result 2003
739
+ Bound result 5260
715
740
  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)
741
+ Bound result 1971
742
+ Bound result 9900001683717770178909
743
+ Bound result 5483586113142377423868
744
+ Bound result 6839
745
+ Bound result 5962
746
+ Bound result 625761767
747
+ Bound result 1336
748
+ Bound result 1905
749
+ Bound result 10384
750
+ Bound result 9900000000002719481311
751
+ Bound result 9900000000000000000066
752
+ Bound result 225
753
+ Bound result 357
754
+ Bound result 6914242574008847100428
755
+ Bound result 12683377261443231943131
756
+ Bound result 84
757
+ Bound result 1636857237
758
+ Bound result 2
759
+ Bound result 926162862576
760
+ Bound result 1
761
+ Bound result 7735
742
762
 
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)
763
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.29s (13.93s CPU time)
764
764
 
765
765
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
766
766
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -768,364 +768,449 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
768
768
  ╭-----------------------------------+---------------------+-------+---------+----------╮
769
769
  | Contract | Selector | Calls | Reverts | Discards |
770
770
  +======================================================================================+
771
- | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
771
+ | RateLimiterRBACUpgradeableHandler | inflow | 583 | 0 | 0 |
772
772
  |-----------------------------------+---------------------+-------+---------+----------|
773
- | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
773
+ | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
774
774
  |-----------------------------------+---------------------+-------+---------+----------|
775
- | RateLimiterRBACUpgradeableHandler | setConfig | 574 | 0 | 0 |
775
+ | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
776
776
  |-----------------------------------+---------------------+-------+---------+----------|
777
- | RateLimiterRBACUpgradeableHandler | setState | 546 | 0 | 0 |
777
+ | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
778
778
  |-----------------------------------+---------------------+-------+---------+----------|
779
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 524 | 0 | 0 |
779
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
780
780
  |-----------------------------------+---------------------+-------+---------+----------|
781
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
781
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531 | 0 | 0 |
782
782
  |-----------------------------------+---------------------+-------+---------+----------|
783
- | RateLimiterRBACUpgradeableHandler | warp | 562 | 0 | 0 |
783
+ | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
784
784
  ╰-----------------------------------+---------------------+-------+---------+----------╯
785
785
 
786
786
  Logs:
787
- Bound result 3542
788
- Bound result 2
789
- Bound result 2
790
- 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
787
+ Bound result 783
788
+ Bound result 195
789
+ Bound result 203
803
790
  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
791
+ Bound result 1994644501767398662071
792
+ Bound result 3
793
+ Bound result 673457221373671040657
794
+ Bound result 9900000000000443667070
795
+ Bound result 13
796
+ Bound result 1100
797
+ Bound result 17988966586564557984889
798
+ Bound result 12254506644172159810
799
+ Bound result 2951
800
+ Bound result 2
801
+ Bound result 2003
818
802
 
819
803
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
820
804
 
821
805
  ╭-----------------------------------+---------------------+-------+---------+----------╮
822
806
  | Contract | Selector | Calls | Reverts | Discards |
823
807
  +======================================================================================+
824
- | RateLimiterRBACUpgradeableHandler | inflow | 570 | 0 | 0 |
808
+ | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
825
809
  |-----------------------------------+---------------------+-------+---------+----------|
826
- | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
810
+ | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
827
811
  |-----------------------------------+---------------------+-------+---------+----------|
828
- | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
812
+ | RateLimiterRBACUpgradeableHandler | setConfig | 484 | 0 | 0 |
829
813
  |-----------------------------------+---------------------+-------+---------+----------|
830
- | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
814
+ | RateLimiterRBACUpgradeableHandler | setState | 559 | 0 | 0 |
831
815
  |-----------------------------------+---------------------+-------+---------+----------|
832
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
816
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
833
817
  |-----------------------------------+---------------------+-------+---------+----------|
834
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
818
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
835
819
  |-----------------------------------+---------------------+-------+---------+----------|
836
- | RateLimiterRBACUpgradeableHandler | warp | 547 | 0 | 0 |
820
+ | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
837
821
  ╰-----------------------------------+---------------------+-------+---------+----------╯
838
822
 
839
823
  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
824
+ Bound result 1425644632
825
+ Bound result 9900000000000000001561
826
+ Bound result 9900000000000000002556
827
+ Bound result 639
828
+ Bound result 3958
829
+ Bound result 226
830
+ Bound result 270
831
+ Bound result 9900000000002107269098
832
+ Bound result 9900000000000000000308
833
+ Bound result 5114
834
+ Bound result 7533
835
+ Bound result 1
836
+ Bound result 1918268964956616974
865
837
  Bound result 0
866
- Bound result 1065541090506740624
838
+ Bound result 7
839
+ Bound result 428793910
840
+ Bound result 39
841
+ Bound result 5180
842
+ Bound result 809
843
+ Bound result 767887698455
844
+ Bound result 10425
845
+ Bound result 4670
846
+ Bound result 262
847
+ Bound result 25355
867
848
 
868
849
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
869
850
 
870
851
  ╭-----------------------------------+---------------------+-------+---------+----------╮
871
852
  | Contract | Selector | Calls | Reverts | Discards |
872
853
  +======================================================================================+
873
- | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
854
+ | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
874
855
  |-----------------------------------+---------------------+-------+---------+----------|
875
- | RateLimiterRBACUpgradeableHandler | outflow | 542 | 0 | 0 |
856
+ | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
876
857
  |-----------------------------------+---------------------+-------+---------+----------|
877
858
  | RateLimiterRBACUpgradeableHandler | setConfig | 518 | 0 | 0 |
878
859
  |-----------------------------------+---------------------+-------+---------+----------|
879
- | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
860
+ | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
880
861
  |-----------------------------------+---------------------+-------+---------+----------|
881
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 574 | 0 | 0 |
862
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 518 | 0 | 0 |
882
863
  |-----------------------------------+---------------------+-------+---------+----------|
883
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
864
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 589 | 0 | 0 |
884
865
  |-----------------------------------+---------------------+-------+---------+----------|
885
- | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
866
+ | RateLimiterRBACUpgradeableHandler | warp | 592 | 0 | 0 |
886
867
  ╰-----------------------------------+---------------------+-------+---------+----------╯
887
868
 
888
869
  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
870
+ Bound result 1982
871
+ Bound result 9900000000000113079115
872
+ Bound result 9900000000252016789936
873
+ Bound result 2552
874
+ Bound result 4887
875
+ Bound result 19755399358918588214978
876
+ Bound result 144
877
+ Bound result 6101
878
+ Bound result 9900000000000000010360
879
+ Bound result 9900000000000000007778
880
+ Bound result 8272
881
+ Bound result 415
882
+ Bound result 1
883
+ Bound result 6
884
+ Bound result 9900000000000000000518
885
+ Bound result 9900000000000000007777
886
+ Bound result 10
887
+ Bound result 8041
888
+ Bound result 855
889
+ Bound result 9697
890
+ Bound result 9408
891
+ Bound result 2195
900
892
 
901
893
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
902
894
 
903
895
  ╭-----------------------------------+---------------------+-------+---------+----------╮
904
896
  | Contract | Selector | Calls | Reverts | Discards |
905
897
  +======================================================================================+
906
- | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
898
+ | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
907
899
  |-----------------------------------+---------------------+-------+---------+----------|
908
- | RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
900
+ | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
909
901
  |-----------------------------------+---------------------+-------+---------+----------|
910
- | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
902
+ | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
911
903
  |-----------------------------------+---------------------+-------+---------+----------|
912
- | RateLimiterRBACUpgradeableHandler | setState | 542 | 0 | 0 |
904
+ | RateLimiterRBACUpgradeableHandler | setState | 572 | 0 | 0 |
913
905
  |-----------------------------------+---------------------+-------+---------+----------|
914
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 581 | 0 | 0 |
906
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
915
907
  |-----------------------------------+---------------------+-------+---------+----------|
916
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 514 | 0 | 0 |
908
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
917
909
  |-----------------------------------+---------------------+-------+---------+----------|
918
- | RateLimiterRBACUpgradeableHandler | warp | 584 | 0 | 0 |
910
+ | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
919
911
  ╰-----------------------------------+---------------------+-------+---------+----------╯
920
912
 
921
913
  Logs:
922
- Bound result 1327428231
923
- Bound result 890253132036027879086
924
- Bound result 422935438
914
+ Bound result 241144642395531809
915
+ Bound result 37486
916
+ Bound result 9900000000000000009115
917
+ Bound result 9900000000000000001526
918
+ Bound result 7748
919
+ Bound result 5640
920
+ Bound result 46196183689457459
921
+ Bound result 1650
922
+ Bound result 6914264337520598027275
923
+ Bound result 47565210
924
+ Bound result 356
925
925
  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
926
+ Bound result 6914264337593535947490
927
+ Bound result 9901654476905711499976
928
+ Bound result 1323
929
+ Bound result 1628
930
+ Bound result 858
931
+ Bound result 9900000000000000000012
932
+ Bound result 9900000000000444194506
933
+ Bound result 9884
934
+ Bound result 7011
935
+ Bound result 2828310427307851488153
941
936
 
942
937
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
943
938
 
944
939
  ╭-----------------------------------+---------------------+-------+---------+----------╮
945
940
  | Contract | Selector | Calls | Reverts | Discards |
946
941
  +======================================================================================+
947
- | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
942
+ | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
948
943
  |-----------------------------------+---------------------+-------+---------+----------|
949
- | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
944
+ | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
950
945
  |-----------------------------------+---------------------+-------+---------+----------|
951
- | RateLimiterRBACUpgradeableHandler | setConfig | 571 | 0 | 0 |
946
+ | RateLimiterRBACUpgradeableHandler | setConfig | 568 | 0 | 0 |
952
947
  |-----------------------------------+---------------------+-------+---------+----------|
953
- | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
948
+ | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
954
949
  |-----------------------------------+---------------------+-------+---------+----------|
955
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 511 | 0 | 0 |
950
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 577 | 0 | 0 |
956
951
  |-----------------------------------+---------------------+-------+---------+----------|
957
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
952
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
958
953
  |-----------------------------------+---------------------+-------+---------+----------|
959
- | RateLimiterRBACUpgradeableHandler | warp | 571 | 0 | 0 |
954
+ | RateLimiterRBACUpgradeableHandler | warp | 504 | 0 | 0 |
960
955
  ╰-----------------------------------+---------------------+-------+---------+----------╯
961
956
 
962
957
  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
958
+ Bound result 3016663574
959
+ Bound result 6868
960
+ Bound result 2386
975
961
  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 1439
963
+ Bound result 1470
964
+ Bound result 9900000000000000001118
965
+ Bound result 9900000000000000005520
966
+ Bound result 9212
967
+ Bound result 1084
968
+ Bound result 7128908485049496027700
969
+ Bound result 9900000000000800627396
970
+ Bound result 8246
971
+ Bound result 1763
972
+ Bound result 1807
973
+ Bound result 355842498
974
+ Bound result 100000000000000000003
975
+ Bound result 5361296984933132523389
976
+ Bound result 6932
977
+ Bound result 6241
978
+ Bound result 9007
979
+ Bound result 67336
980
+ Bound result 770495236
981
+ Bound result 362
992
982
 
993
983
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
994
984
 
995
985
  ╭-----------------------------------+---------------------+-------+---------+----------╮
996
986
  | Contract | Selector | Calls | Reverts | Discards |
997
987
  +======================================================================================+
998
- | RateLimiterRBACUpgradeableHandler | inflow | 539 | 0 | 0 |
988
+ | RateLimiterRBACUpgradeableHandler | inflow | 578 | 0 | 0 |
999
989
  |-----------------------------------+---------------------+-------+---------+----------|
1000
- | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
990
+ | RateLimiterRBACUpgradeableHandler | outflow | 551 | 0 | 0 |
1001
991
  |-----------------------------------+---------------------+-------+---------+----------|
1002
- | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
992
+ | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
1003
993
  |-----------------------------------+---------------------+-------+---------+----------|
1004
- | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
994
+ | RateLimiterRBACUpgradeableHandler | setState | 515 | 0 | 0 |
1005
995
  |-----------------------------------+---------------------+-------+---------+----------|
1006
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
996
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
1007
997
  |-----------------------------------+---------------------+-------+---------+----------|
1008
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 563 | 0 | 0 |
998
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
1009
999
  |-----------------------------------+---------------------+-------+---------+----------|
1010
- | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
1000
+ | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
1011
1001
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1012
1002
 
1013
1003
  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
1004
+ Bound result 9900000000000000010623
1005
+ Bound result 9900223461546599293263
1006
+ Bound result 6240
1007
+ Bound result 6606
1008
+ Bound result 9900000000000000005610
1009
+ Bound result 9900000000000000006770
1010
+ Bound result 363
1011
+ Bound result 2073
1012
+ Bound result 50
1013
+ Bound result 8039
1014
+ Bound result 811
1015
+ Bound result 6914264337548643994071
1016
+ Bound result 7307508424089329185134
1017
+ Bound result 1
1018
+ Bound result 404940470923219243964
1019
+ Bound result 5948
1020
+ Bound result 100000000000000000001
1021
+ Bound result 9900000000004091302216
1022
+ Bound result 5511
1023
+ Bound result 6242
1024
+ Bound result 4087
1025
+ Bound result 113
1039
1026
 
1040
1027
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1041
1028
 
1042
1029
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1043
1030
  | Contract | Selector | Calls | Reverts | Discards |
1044
1031
  +======================================================================================+
1045
- | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
1032
+ | RateLimiterRBACUpgradeableHandler | inflow | 559 | 0 | 0 |
1046
1033
  |-----------------------------------+---------------------+-------+---------+----------|
1047
- | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
1034
+ | RateLimiterRBACUpgradeableHandler | outflow | 547 | 0 | 0 |
1048
1035
  |-----------------------------------+---------------------+-------+---------+----------|
1049
- | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
1036
+ | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
1050
1037
  |-----------------------------------+---------------------+-------+---------+----------|
1051
- | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
1038
+ | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
1052
1039
  |-----------------------------------+---------------------+-------+---------+----------|
1053
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
1040
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
1054
1041
  |-----------------------------------+---------------------+-------+---------+----------|
1055
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
1042
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
1056
1043
  |-----------------------------------+---------------------+-------+---------+----------|
1057
- | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
1044
+ | RateLimiterRBACUpgradeableHandler | warp | 563 | 0 | 0 |
1058
1045
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1059
1046
 
1060
1047
  Logs:
1061
- Bound result 701890289711260201711
1062
- Bound result 1186147559442617851
1048
+ Bound result 156355900
1049
+ Bound result 99613255106487290653
1063
1050
  Bound result 0
1064
- Bound result 281922350508106522508
1065
- Bound result 547957215824771097118
1066
- Bound result 542
1067
- Bound result 785083316885472513592
1068
- Bound result 2162
1051
+ Bound result 97328
1052
+ Bound result 1762974233847594
1053
+ Bound result 140896971871695424881
1054
+ Bound result 1
1055
+ Bound result 100000000000000000002
1056
+ Bound result 9900610048624866734695
1057
+ Bound result 8994
1058
+ Bound result 2189
1059
+ Bound result 100000000000000000003
1060
+ Bound result 100000000000000000000
1061
+ Bound result 1505
1062
+ Bound result 27
1063
+ Bound result 1983
1064
+ Bound result 1717
1069
1065
  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
1066
+ Bound result 10877
1067
+ Bound result 2020
1077
1068
  Bound result 1
1078
- Bound result 38
1079
- Bound result 4100
1069
+ Bound result 23721711
1070
+ Bound result 333325805842039
1071
+ Bound result 0
1072
+ Bound result 1230
1073
+ Bound result 5210768383685803879
1074
+ Bound result 8293
1075
+ Bound result 100610048624866734646
1076
+ Bound result 926
1077
+ Bound result 5476
1078
+ Bound result 114264337590770964650
1079
+ Bound result 2665555
1080
1080
  Bound result 1
1081
- Bound result 37191354387988
1082
- Bound result 9250
1083
1081
 
1084
1082
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1085
1083
 
1086
1084
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1087
1085
  | Contract | Selector | Calls | Reverts | Discards |
1088
1086
  +======================================================================================+
1089
- | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
1087
+ | RateLimiterRBACUpgradeableHandler | inflow | 546 | 0 | 0 |
1090
1088
  |-----------------------------------+---------------------+-------+---------+----------|
1091
- | RateLimiterRBACUpgradeableHandler | outflow | 550 | 0 | 0 |
1089
+ | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
1092
1090
  |-----------------------------------+---------------------+-------+---------+----------|
1093
- | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
1091
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
1094
1092
  |-----------------------------------+---------------------+-------+---------+----------|
1095
- | RateLimiterRBACUpgradeableHandler | setState | 496 | 0 | 0 |
1093
+ | RateLimiterRBACUpgradeableHandler | setState | 548 | 0 | 0 |
1096
1094
  |-----------------------------------+---------------------+-------+---------+----------|
1097
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
1095
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
1098
1096
  |-----------------------------------+---------------------+-------+---------+----------|
1099
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 583 | 0 | 0 |
1097
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
1100
1098
  |-----------------------------------+---------------------+-------+---------+----------|
1101
- | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
1099
+ | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
1102
1100
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1103
1101
 
1104
1102
  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
1103
+ Bound result 9900000000000000003086
1104
+ Bound result 9900000000000000001004
1105
+ Bound result 8967
1106
+ Bound result 575
1107
+ Bound result 126386159695935
1108
+ Bound result 275
1109
+ Bound result 7957927024938
1110
+ Bound result 6741419
1111
+ Bound result 439440033
1112
+ Bound result 0
1113
+ Bound result 5267
1114
+ Bound result 7208
1115
+ Bound result 13540960380
1116
+ Bound result 6091
1117
+ Bound result 4017
1118
+
1119
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.73s (14.07s CPU time)
1120
+
1121
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
1122
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27051, ~: 41090)
1123
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
1124
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
1125
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
1126
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
1127
+ [PASS] test_isPaused_InitialState() (gas: 15629)
1128
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
1129
+ [PASS] test_multipleRoleGrants() (gas: 394130)
1130
+ [PASS] test_pause() (gas: 42109)
1131
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
1132
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
1133
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30543, ~: 18756)
1134
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
1135
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
1136
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
1137
+ [PASS] test_setPaused_Success() (gas: 40691)
1138
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
1139
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
1140
+ [PASS] test_storageHash() (gas: 3414)
1141
+ [PASS] test_unpause() (gas: 35177)
1142
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41618, ~: 38860)
1143
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
1144
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
1145
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
1146
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
1147
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
1148
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
1149
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 16.76s (290.40ms CPU time)
1150
+
1151
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1152
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
1153
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
1154
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
1155
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
1156
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
1157
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
1158
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
1159
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46827, ~: 46847)
1160
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
1161
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
1162
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
1163
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
1164
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
1165
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
1166
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
1167
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
1168
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
1169
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
1170
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
1171
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
1172
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
1173
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
1174
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
1175
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
1176
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
1177
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
1178
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
1179
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
1180
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
1181
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
1182
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
1183
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
1184
+ [PASS] test_storageHash() (gas: 3380)
1185
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 16.76s (653.28ms CPU time)
1186
+
1187
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1188
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1189
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1190
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45227, ~: 46317)
1191
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1192
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1193
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1194
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1195
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1196
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1197
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1198
+ [PASS] test_getFee_Default() (gas: 40577)
1199
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43422, ~: 44486)
1200
+ [PASS] test_getFee_Rounding() (gas: 42835)
1201
+ [PASS] test_getFee_Specific() (gas: 63968)
1202
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1203
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
1204
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 33038, ~: 39667)
1205
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1206
+ [PASS] test_setFeeBps() (gas: 73871)
1207
+ Logs:
1208
+ Bound result 500
1127
1209
 
1128
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.22s (7.91s CPU time)
1210
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65585, ~: 74224)
1211
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1212
+ [PASS] test_storageHash() (gas: 3426)
1213
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 16.83s (934.59ms CPU time)
1129
1214
 
1130
1215
  Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1131
1216
  [PASS] test_SwitchModes_PreservesState() (gas: 186406)
@@ -1157,81 +1242,12 @@ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTes
1157
1242
  [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1158
1243
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1159
1244
  [PASS] test_storageHash() (gas: 3458)
1160
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 13.71s (325.95ms CPU time)
1161
-
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)
1195
-
1196
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1197
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1198
- [PASS] test_constructor_InitialMode() (gas: 15778)
1199
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1200
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1201
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1202
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1203
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1204
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1205
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1206
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
1207
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1208
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1209
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1210
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1211
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1212
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1213
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
1214
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1215
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1216
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1217
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1218
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
1219
- [PASS] test_setMode_Blacklist() (gas: 42605)
1220
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
1221
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
1222
- [PASS] test_setMode_Whitelist() (gas: 42714)
1223
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1224
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1225
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1226
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1227
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
1228
- [PASS] test_storageHash() (gas: 3480)
1229
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 13.71s (496.61ms CPU time)
1245
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 16.84s (1.03s CPU time)
1230
1246
 
1231
1247
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1232
1248
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1233
1249
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1234
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 746949, ~: 51234)
1250
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 771901, ~: 173491)
1235
1251
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1236
1252
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1237
1253
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1244,12 +1260,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1244
1260
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1245
1261
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1246
1262
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1247
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11174209, ~: 10522504)
1263
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11213144, ~: 10398665)
1248
1264
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1249
1265
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1250
1266
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1251
1267
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1252
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 820298, ~: 306455)
1268
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 743782, ~: 127616)
1253
1269
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1254
1270
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1255
1271
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1262,38 +1278,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1262
1278
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1263
1279
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1264
1280
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1265
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11127056, ~: 10349027)
1281
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11157431, ~: 10359916)
1266
1282
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1267
1283
  [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)
1269
-
1270
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1271
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1272
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1273
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44483, ~: 46317)
1274
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1275
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1276
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1277
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1278
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1279
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1280
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1281
- [PASS] test_getFee_Default() (gas: 40577)
1282
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43065, ~: 44486)
1283
- [PASS] test_getFee_Rounding() (gas: 42835)
1284
- [PASS] test_getFee_Specific() (gas: 63968)
1285
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1286
- [PASS] test_setDefaultFeeBps() (gas: 39576)
1287
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32489, ~: 39667)
1288
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1289
- [PASS] test_setFeeBps() (gas: 73871)
1290
- Logs:
1291
- Bound result 500
1292
-
1293
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65975, ~: 74224)
1294
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1295
- [PASS] test_storageHash() (gas: 3426)
1296
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 13.72s (404.86ms CPU time)
1284
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 16.83s (39.50s CPU time)
1297
1285
 
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
1286
+ Ran 17 test suites in 16.86s (96.86s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1287
+ ⏳ forge test: 31.356s