@layerzerolabs/utils-upgradeable-evm-contracts 0.2.103 → 0.2.105

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 +771 -758
  3. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -4,16 +4,16 @@
4
4
 
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
- $ docker image inspect --format {{.Id}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
8
- (node:151028) [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.
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.
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)
12
- ✅ Using cached Docker image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
12
+ ✅ Using cached Docker image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 (amd64)
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 14.36s
16
+ Solc 0.8.22 finished in 12.41s
17
17
  Compiler run successful with warnings:
18
18
  Warning (2018): Function state mutability can be restricted to view
19
19
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -136,44 +136,6 @@ Warning (2018): Function state mutability can be restricted to view
136
136
  | ^ (Relevant source part starts here and spans across multiple lines).
137
137
 
138
138
 
139
- Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
140
- [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
141
- [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
142
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
143
- [PASS] test_checkpointRateLimits_Single() (gas: 85741)
144
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
145
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
146
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
147
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
148
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
149
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
150
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
151
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
152
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
153
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
154
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
155
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
156
- [PASS] test_inflow_GloballyDisabled() (gas: 52015)
157
- [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
158
- [PASS] test_initial_state_closed() (gas: 2034659)
159
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
160
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
161
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
162
- [PASS] test_outflow_GloballyDisabled() (gas: 52036)
163
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
164
- [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
165
- [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
166
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
167
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
168
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
169
- [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
170
- [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
171
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
172
- [PASS] test_setRateLimitStates_Single() (gas: 49974)
173
- [PASS] test_storageHash() (gas: 3414)
174
- [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
175
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 22.57ms (17.79ms CPU time)
176
-
177
139
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
178
140
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
179
141
  [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
@@ -215,93 +177,141 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
215
177
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
216
178
  [PASS] test_storageHash() (gas: 3392)
217
179
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
218
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 70.04ms (54.52ms CPU time)
180
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 20.57ms (14.77ms CPU time)
219
181
 
220
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
221
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26371, ~: 12786)
222
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
223
- [PASS] test_assertNotPaused_Success() (gas: 12539)
224
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
225
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
226
- [PASS] test_isPaused_InitialState() (gas: 15629)
227
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
228
- [PASS] test_multipleRoleGrants() (gas: 394130)
229
- [PASS] test_pause() (gas: 42109)
230
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
231
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
232
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30212, ~: 18756)
233
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
234
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
235
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
236
- [PASS] test_setPaused_Success() (gas: 40691)
237
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
238
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
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)
239
216
  [PASS] test_storageHash() (gas: 3414)
240
- [PASS] test_unpause() (gas: 35177)
241
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41590, ~: 38860)
242
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
243
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
244
- [PASS] test_whenNotPaused_Success() (gas: 38800)
245
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
246
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
247
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
248
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 233.53ms (462.25ms CPU time)
217
+ [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
218
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 20.73ms (17.76ms CPU time)
249
219
 
250
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
251
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25647, ~: 12763)
252
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
253
- [PASS] test_assertNotPaused_Success() (gas: 12516)
254
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
255
- [PASS] test_isPaused_InitialState() (gas: 15595)
256
- [PASS] test_pause() (gas: 39592)
257
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27945, ~: 16219)
258
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
259
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
260
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
261
- [PASS] test_storageHash() (gas: 3414)
262
- [PASS] test_unpause() (gas: 31115)
263
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40442, ~: 38893)
264
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
265
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
266
- [PASS] test_whenNotPaused_Success() (gas: 38744)
267
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
268
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
269
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
270
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 507.93ms (800.77ms CPU time)
220
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
221
+ [PASS] test_feeDeposit() (gas: 17576)
222
+ [PASS] test_setFeeDeposit() (gas: 24995)
223
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
224
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
225
+ [PASS] test_storageHash() (gas: 3337)
226
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 54.39ms (53.65ms CPU time)
271
227
 
272
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
273
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
274
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
275
- [PASS] test_assertNotPaused_Success() (gas: 14934)
276
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
277
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
278
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
279
- [PASS] test_isPaused_Default() (gas: 44698)
280
- [PASS] test_isPaused_InitialState() (gas: 22070)
281
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
282
- [PASS] test_isPaused_Override() (gas: 69381)
283
- [PASS] test_isPaused_Specific() (gas: 46709)
284
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
285
- [PASS] test_pauseConfig() (gas: 45626)
286
- [PASS] test_setDefaultPaused() (gas: 39667)
287
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27205, ~: 16332)
288
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
289
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
290
- [PASS] test_setPaused() (gas: 43060)
291
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
292
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38358, ~: 43373)
293
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
294
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
295
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
296
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57913, ~: 46989)
297
- [PASS] test_storageHash() (gas: 3480)
298
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
299
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
300
- [PASS] test_whenNotPaused_Success() (gas: 41297)
301
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
302
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
303
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
304
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 654.35ms (1.37s CPU time)
228
+ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
229
+ [PASS] test_feeDeposit() (gas: 17638)
230
+ [PASS] test_setFeeDeposit() (gas: 27596)
231
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
232
+ [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
233
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
234
+ [PASS] test_storageHash() (gas: 3315)
235
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 104.86ms (104.18ms CPU time)
236
+
237
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
238
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
239
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
240
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
241
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
242
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
243
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
244
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
245
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
246
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
247
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
248
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 129.35ms (129.15ms CPU time)
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)
285
+
286
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
287
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
288
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
289
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47406, ~: 48966)
290
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
291
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
292
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
293
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
294
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
295
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
296
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
297
+ [PASS] test_getFee_Default() (gas: 43108)
298
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 46009, ~: 47017)
299
+ [PASS] test_getFee_Rounding() (gas: 45449)
300
+ [PASS] test_getFee_Specific() (gas: 66985)
301
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
302
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
303
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35299, ~: 42268)
304
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
305
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
306
+ [PASS] test_setFeeBps() (gas: 77237)
307
+ Logs:
308
+ Bound result 500
309
+
310
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 67900, ~: 77570)
311
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
312
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
313
+ [PASS] test_storageHash() (gas: 3436)
314
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 223.16ms (576.83ms CPU time)
305
315
 
306
316
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
307
317
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -319,7 +329,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
319
329
  [PASS] test_pauseConfig() (gas: 51028)
320
330
  [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
321
331
  [PASS] test_setDefaultPaused() (gas: 42196)
322
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 29714, ~: 18826)
332
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30683, ~: 42446)
323
333
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
324
334
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
325
335
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
@@ -328,8 +338,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
328
338
  [PASS] test_setPaused_DormantData() (gas: 295234)
329
339
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
330
340
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
331
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43967, ~: 48696)
332
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223502, ~: 219722)
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)
333
343
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
334
344
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
335
345
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
@@ -343,7 +353,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
343
353
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
344
354
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
345
355
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
346
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62102, ~: 50341)
356
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62316, ~: 50341)
347
357
  [PASS] test_storageHash() (gas: 3392)
348
358
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
349
359
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -351,114 +361,37 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
351
361
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
352
362
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
353
363
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
354
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 713.88ms (1.03s CPU time)
355
-
356
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
357
- [PASS] test_feeDeposit() (gas: 17576)
358
- [PASS] test_setFeeDeposit() (gas: 24995)
359
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
360
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
361
- [PASS] test_storageHash() (gas: 3337)
362
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 727.79ms (341.93ms CPU time)
363
-
364
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
365
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
366
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104265, ~: 104248)
367
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
368
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
369
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
370
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
371
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
372
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
373
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
374
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
375
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
376
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
377
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
378
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
379
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
380
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
381
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
382
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
383
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
384
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
385
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
386
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
387
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
388
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
389
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
390
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
391
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
392
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
393
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
394
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
395
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
396
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
397
- [PASS] test_storageHash() (gas: 3380)
398
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 920.61ms (1.14s CPU time)
364
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 319.78ms (537.74ms CPU time)
399
365
 
400
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
401
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
402
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
403
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45050, ~: 46317)
404
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
405
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
406
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
407
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
408
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
409
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
410
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
411
- [PASS] test_getFee_Default() (gas: 40577)
412
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43363, ~: 44486)
413
- [PASS] test_getFee_Rounding() (gas: 42835)
414
- [PASS] test_getFee_Specific() (gas: 63968)
415
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
416
- [PASS] test_setDefaultFeeBps() (gas: 39576)
417
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32276, ~: 39667)
418
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
419
- [PASS] test_setFeeBps() (gas: 73871)
420
- Logs:
421
- Bound result 500
422
-
423
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65836, ~: 74224)
424
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
425
- [PASS] test_storageHash() (gas: 3426)
426
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.96s (1.01s CPU time)
427
-
428
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
429
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
430
- [PASS] test_constructor_InitialMode() (gas: 15778)
431
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
432
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
433
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
434
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
435
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
436
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
437
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
438
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
439
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
440
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
441
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
442
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
443
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
444
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
445
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
446
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
447
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
448
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
449
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
450
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
451
- [PASS] test_setMode_Blacklist() (gas: 42605)
452
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
453
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
454
- [PASS] test_setMode_Whitelist() (gas: 42714)
455
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
456
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
457
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
458
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
459
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
460
- [PASS] test_storageHash() (gas: 3480)
461
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 2.07s (1.04s CPU time)
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)
462
395
 
463
396
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
464
397
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -466,166 +399,159 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
466
399
  ╭-----------------------------------+---------------------+-------+---------+----------╮
467
400
  | Contract | Selector | Calls | Reverts | Discards |
468
401
  +======================================================================================+
469
- | RateLimiterRBACUpgradeableHandler | inflow | 546 | 0 | 0 |
402
+ | RateLimiterRBACUpgradeableHandler | inflow | 519 | 0 | 0 |
470
403
  |-----------------------------------+---------------------+-------+---------+----------|
471
- | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
404
+ | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
472
405
  |-----------------------------------+---------------------+-------+---------+----------|
473
- | RateLimiterRBACUpgradeableHandler | setConfig | 598 | 0 | 0 |
406
+ | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
474
407
  |-----------------------------------+---------------------+-------+---------+----------|
475
- | RateLimiterRBACUpgradeableHandler | setState | 587 | 0 | 0 |
408
+ | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
476
409
  |-----------------------------------+---------------------+-------+---------+----------|
477
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
410
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 531 | 0 | 0 |
478
411
  |-----------------------------------+---------------------+-------+---------+----------|
479
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 491 | 0 | 0 |
412
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
480
413
  |-----------------------------------+---------------------+-------+---------+----------|
481
- | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
414
+ | RateLimiterRBACUpgradeableHandler | warp | 584 | 0 | 0 |
482
415
  ╰-----------------------------------+---------------------+-------+---------+----------╯
483
416
 
484
417
  Logs:
485
- Bound result 25854307922
486
- Bound result 1011120115219896660928
487
- Bound result 1
488
- Bound result 4294967296
489
- Bound result 3901
490
- Bound result 8191
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
491
430
  Bound result 1
492
- Bound result 9900000000000000004653
493
- Bound result 9900000000000000000831
494
- Bound result 1788
495
- Bound result 7553
496
- Bound result 1275
497
- Bound result 794
498
- Bound result 564305330298
499
- Bound result 5
500
- Bound result 177274135444381751000
501
- Bound result 100000000000000000000
502
- Bound result 6914264337593535947488
503
- Bound result 10
504
- Bound result 2507
505
- Bound result 115
506
- Bound result 925000269
507
- Bound result 128526922
508
- Bound result 5462
509
- Bound result 3035
431
+ Bound result 1179
432
+ Bound result 6914264337578922754344
433
+ Bound result 9356147380
510
434
 
511
435
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
512
436
 
513
437
  ╭-----------------------------------+---------------------+-------+---------+----------╮
514
438
  | Contract | Selector | Calls | Reverts | Discards |
515
439
  +======================================================================================+
516
- | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
440
+ | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
517
441
  |-----------------------------------+---------------------+-------+---------+----------|
518
- | RateLimiterRBACUpgradeableHandler | outflow | 567 | 0 | 0 |
442
+ | RateLimiterRBACUpgradeableHandler | outflow | 532 | 0 | 0 |
519
443
  |-----------------------------------+---------------------+-------+---------+----------|
520
- | RateLimiterRBACUpgradeableHandler | setConfig | 587 | 0 | 0 |
444
+ | RateLimiterRBACUpgradeableHandler | setConfig | 541 | 0 | 0 |
521
445
  |-----------------------------------+---------------------+-------+---------+----------|
522
- | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
446
+ | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
523
447
  |-----------------------------------+---------------------+-------+---------+----------|
524
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 514 | 0 | 0 |
448
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
525
449
  |-----------------------------------+---------------------+-------+---------+----------|
526
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 540 | 0 | 0 |
450
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531 | 0 | 0 |
527
451
  |-----------------------------------+---------------------+-------+---------+----------|
528
- | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
452
+ | RateLimiterRBACUpgradeableHandler | warp | 609 | 0 | 0 |
529
453
  ╰-----------------------------------+---------------------+-------+---------+----------╯
530
454
 
531
455
  Logs:
532
- Bound result 9900000000110154335655
533
- Bound result 9519368427399890867031
534
- Bound result 52
535
- Bound result 1003
536
- Bound result 9900000000000000009571
537
- Bound result 9900000000000000008553
538
- Bound result 8106
539
- Bound result 768
540
- Bound result 809
541
- Bound result 21
542
- Bound result 3542
543
- Bound result 6286
544
- Bound result 9900000000000000001226
545
- Bound result 9900000000000000009852
546
- Bound result 6164
547
- Bound result 1548
548
- Bound result 233
549
- Bound result 110154335654
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
550
474
 
551
475
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
552
476
 
553
477
  ╭-----------------------------------+---------------------+-------+---------+----------╮
554
478
  | Contract | Selector | Calls | Reverts | Discards |
555
479
  +======================================================================================+
556
- | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
480
+ | RateLimiterRBACUpgradeableHandler | inflow | 586 | 0 | 0 |
557
481
  |-----------------------------------+---------------------+-------+---------+----------|
558
- | RateLimiterRBACUpgradeableHandler | outflow | 550 | 0 | 0 |
482
+ | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
559
483
  |-----------------------------------+---------------------+-------+---------+----------|
560
- | RateLimiterRBACUpgradeableHandler | setConfig | 598 | 0 | 0 |
484
+ | RateLimiterRBACUpgradeableHandler | setConfig | 525 | 0 | 0 |
561
485
  |-----------------------------------+---------------------+-------+---------+----------|
562
- | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
486
+ | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
563
487
  |-----------------------------------+---------------------+-------+---------+----------|
564
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 493 | 0 | 0 |
488
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
565
489
  |-----------------------------------+---------------------+-------+---------+----------|
566
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552 | 0 | 0 |
490
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 534 | 0 | 0 |
567
491
  |-----------------------------------+---------------------+-------+---------+----------|
568
- | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
492
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
569
493
  ╰-----------------------------------+---------------------+-------+---------+----------╯
570
494
 
571
495
  Logs:
572
- Bound result 736
573
- Bound result 8762
574
- Bound result 876
575
- Bound result 9900000000000046239992
576
- Bound result 9900000006884037727950
577
- Bound result 288
578
- Bound result 10
579
- Bound result 179
580
- Bound result 252
581
- Bound result 1867266791098309323
582
- Bound result 2
583
- Bound result 201
584
- Bound result 4108079509
496
+ Bound result 4101
497
+ Bound result 1618909154858744113778
498
+ Bound result 1805091258660987236862
585
499
  Bound result 1
500
+ Bound result 7868
501
+ Bound result 880683227385293
502
+ Bound result 10471
503
+ Bound result 9900000000000005205628
504
+ Bound result 100000000000000000003
586
505
  Bound result 23
587
- Bound result 3
506
+ Bound result 432
507
+ Bound result 121532094702392125231
508
+ Bound result 1083
509
+ Bound result 828
510
+ Bound result 17
511
+ Bound result 1
588
512
 
589
513
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
590
514
 
591
515
  ╭-----------------------------------+---------------------+-------+---------+----------╮
592
516
  | Contract | Selector | Calls | Reverts | Discards |
593
517
  +======================================================================================+
594
- | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
518
+ | RateLimiterRBACUpgradeableHandler | inflow | 520 | 0 | 0 |
595
519
  |-----------------------------------+---------------------+-------+---------+----------|
596
- | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
520
+ | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
597
521
  |-----------------------------------+---------------------+-------+---------+----------|
598
- | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
522
+ | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
599
523
  |-----------------------------------+---------------------+-------+---------+----------|
600
- | RateLimiterRBACUpgradeableHandler | setState | 507 | 0 | 0 |
524
+ | RateLimiterRBACUpgradeableHandler | setState | 570 | 0 | 0 |
601
525
  |-----------------------------------+---------------------+-------+---------+----------|
602
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 558 | 0 | 0 |
526
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 563 | 0 | 0 |
603
527
  |-----------------------------------+---------------------+-------+---------+----------|
604
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
528
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 534 | 0 | 0 |
605
529
  |-----------------------------------+---------------------+-------+---------+----------|
606
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
530
+ | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
607
531
  ╰-----------------------------------+---------------------+-------+---------+----------╯
608
532
 
609
533
  Logs:
610
- Bound result 6066
611
- Bound result 3695152416
534
+ Bound result 416610594487269258037
535
+ Bound result 4200
612
536
  Bound result 1
613
- Bound result 9902050393616625157908
614
- Bound result 9900024430280268662551
615
- Bound result 2691
616
- Bound result 4082
617
- Bound result 3644407702
618
- Bound result 7149
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
619
545
  Bound result 0
620
- Bound result 485
621
- Bound result 1219
622
- Bound result 7773
623
- Bound result 163
624
- Bound result 644
625
- Bound result 6447
626
- Bound result 1739
627
- Bound result 1309
628
- Bound result 116
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
629
555
 
630
556
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
631
557
 
@@ -634,196 +560,207 @@ Logs:
634
560
  +======================================================================================+
635
561
  | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
636
562
  |-----------------------------------+---------------------+-------+---------+----------|
637
- | RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
563
+ | RateLimiterRBACUpgradeableHandler | outflow | 567 | 0 | 0 |
638
564
  |-----------------------------------+---------------------+-------+---------+----------|
639
- | RateLimiterRBACUpgradeableHandler | setConfig | 576 | 0 | 0 |
565
+ | RateLimiterRBACUpgradeableHandler | setConfig | 588 | 0 | 0 |
640
566
  |-----------------------------------+---------------------+-------+---------+----------|
641
- | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
567
+ | RateLimiterRBACUpgradeableHandler | setState | 518 | 0 | 0 |
642
568
  |-----------------------------------+---------------------+-------+---------+----------|
643
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
569
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
644
570
  |-----------------------------------+---------------------+-------+---------+----------|
645
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
571
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
646
572
  |-----------------------------------+---------------------+-------+---------+----------|
647
- | RateLimiterRBACUpgradeableHandler | warp | 529 | 0 | 0 |
573
+ | RateLimiterRBACUpgradeableHandler | warp | 522 | 0 | 0 |
648
574
  ╰-----------------------------------+---------------------+-------+---------+----------╯
649
575
 
650
576
  Logs:
651
- Bound result 1929
652
- Bound result 6698
653
- Bound result 1045257268331
654
- Bound result 951
655
- Bound result 3480154040
656
- Bound result 7955908407129541763297
657
- Bound result 117723212065499800358
658
- Bound result 1090
659
- Bound result 685
660
- Bound result 9900000000000000007701
661
- Bound result 9900000000000000005349
662
- Bound result 6754
663
- Bound result 813
664
- Bound result 9900000000000000006720
665
- Bound result 9900000000000000000138
666
- Bound result 240
667
- Bound result 6888
668
- Bound result 4577
669
- Bound result 183098759
670
- Bound result 7339031774015
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
671
593
  Bound result 1
672
- Bound result 5882
673
- Bound result 4116
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
674
603
 
675
604
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
676
605
 
677
606
  ╭-----------------------------------+---------------------+-------+---------+----------╮
678
607
  | Contract | Selector | Calls | Reverts | Discards |
679
608
  +======================================================================================+
680
- | RateLimiterRBACUpgradeableHandler | inflow | 576 | 0 | 0 |
609
+ | RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
681
610
  |-----------------------------------+---------------------+-------+---------+----------|
682
- | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
611
+ | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
683
612
  |-----------------------------------+---------------------+-------+---------+----------|
684
- | RateLimiterRBACUpgradeableHandler | setConfig | 584 | 0 | 0 |
613
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
685
614
  |-----------------------------------+---------------------+-------+---------+----------|
686
- | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
615
+ | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
687
616
  |-----------------------------------+---------------------+-------+---------+----------|
688
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 526 | 0 | 0 |
617
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
689
618
  |-----------------------------------+---------------------+-------+---------+----------|
690
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 517 | 0 | 0 |
619
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
691
620
  |-----------------------------------+---------------------+-------+---------+----------|
692
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
621
+ | RateLimiterRBACUpgradeableHandler | warp | 562 | 0 | 0 |
693
622
  ╰-----------------------------------+---------------------+-------+---------+----------╯
694
623
 
695
624
  Logs:
696
- Bound result 9900000000000000010072
697
- Bound result 9900000000000000004029
698
- Bound result 9027
699
- Bound result 76
700
- Bound result 351284
701
- Bound result 9900000000002428830012
702
- Bound result 9900000000000000001098
703
- Bound result 7235
704
- Bound result 3611
705
- Bound result 17098402267958918497086
706
- Bound result 142
707
- Bound result 6914244900045851394784
708
- Bound result 6914264337584752826201
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
639
+ Bound result 1
640
+ Bound result 1
641
+ Bound result 8026
642
+ Bound result 9968
709
643
  Bound result 0
710
- Bound result 1757735783
711
- Bound result 527982668307
644
+ Bound result 3414983981780052679485
645
+ Bound result 995692734083095618730
646
+ Bound result 2381
647
+ Bound result 937
648
+ Bound result 2174915762010
649
+ Bound result 892294159007987480144
712
650
  Bound result 1
713
- Bound result 579
714
- Bound result 9900000000000361223077
715
- Bound result 9900100177283773245438
716
- Bound result 1512
717
- Bound result 50
718
- Bound result 2752
719
- Bound result 9900000000030142581423
720
- Bound result 9900000018437243034767
721
- Bound result 9246
722
- Bound result 498
723
- Bound result 8175
724
- Bound result 1813
725
- Bound result 5824
726
- Bound result 1137
651
+ Bound result 109947613512661319
727
652
 
728
653
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
729
654
 
730
655
  ╭-----------------------------------+---------------------+-------+---------+----------╮
731
656
  | Contract | Selector | Calls | Reverts | Discards |
732
657
  +======================================================================================+
733
- | RateLimiterRBACUpgradeableHandler | inflow | 512 | 0 | 0 |
658
+ | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
734
659
  |-----------------------------------+---------------------+-------+---------+----------|
735
- | RateLimiterRBACUpgradeableHandler | outflow | 585 | 0 | 0 |
660
+ | RateLimiterRBACUpgradeableHandler | outflow | 572 | 0 | 0 |
736
661
  |-----------------------------------+---------------------+-------+---------+----------|
737
- | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
662
+ | RateLimiterRBACUpgradeableHandler | setConfig | 521 | 0 | 0 |
738
663
  |-----------------------------------+---------------------+-------+---------+----------|
739
- | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
664
+ | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
740
665
  |-----------------------------------+---------------------+-------+---------+----------|
741
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
666
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
742
667
  |-----------------------------------+---------------------+-------+---------+----------|
743
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
668
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 536 | 0 | 0 |
744
669
  |-----------------------------------+---------------------+-------+---------+----------|
745
- | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
670
+ | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
746
671
  ╰-----------------------------------+---------------------+-------+---------+----------╯
747
672
 
748
673
  Logs:
749
- Bound result 324
750
- Bound result 3947098527901128629967
751
- Bound result 9900000003188723033361
752
- Bound result 4451
753
- Bound result 44
754
- Bound result 35637
755
- Bound result 12201265198995
756
- Bound result 166
757
- Bound result 4511182155471172690422
758
- Bound result 1005657631310235123487
759
- Bound result 1263
760
- Bound result 9009
761
- Bound result 6655373247
762
- Bound result 14416468496
763
- Bound result 84
764
- Bound result 4099
765
- Bound result 9900000000000000000060
766
- Bound result 9900000044117063110263
767
- Bound result 11
768
- Bound result 89
769
- Bound result 46020173
770
- Bound result 741
771
- Bound result 36
772
- Bound result 94673
773
- Bound result 468407830315
774
- Bound result 67
775
- Bound result 16
776
- Bound result 9900000000000000000010
777
- Bound result 9900000000000000003767
778
- Bound result 113
779
- Bound result 409
780
- Bound result 0
781
- Bound result 21579831077718
674
+ Bound result 1
675
+ Bound result 1840278827032
676
+ Bound result 195952261385702
782
677
  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
783
690
 
784
691
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
785
692
 
786
693
  ╭-----------------------------------+---------------------+-------+---------+----------╮
787
694
  | Contract | Selector | Calls | Reverts | Discards |
788
695
  +======================================================================================+
789
- | RateLimiterRBACUpgradeableHandler | inflow | 524 | 0 | 0 |
696
+ | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
790
697
  |-----------------------------------+---------------------+-------+---------+----------|
791
- | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
698
+ | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
792
699
  |-----------------------------------+---------------------+-------+---------+----------|
793
- | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
700
+ | RateLimiterRBACUpgradeableHandler | setConfig | 578 | 0 | 0 |
794
701
  |-----------------------------------+---------------------+-------+---------+----------|
795
- | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
702
+ | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
796
703
  |-----------------------------------+---------------------+-------+---------+----------|
797
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
704
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 587 | 0 | 0 |
798
705
  |-----------------------------------+---------------------+-------+---------+----------|
799
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531 | 0 | 0 |
706
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 532 | 0 | 0 |
800
707
  |-----------------------------------+---------------------+-------+---------+----------|
801
- | RateLimiterRBACUpgradeableHandler | warp | 562 | 0 | 0 |
708
+ | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
802
709
  ╰-----------------------------------+---------------------+-------+---------+----------╯
803
710
 
804
711
  Logs:
805
- Bound result 9900000000000000009450
806
- Bound result 9900000000000000000853
807
- Bound result 5745
808
- Bound result 7474
809
- Bound result 9227
810
- Bound result 8992
811
- Bound result 1
812
- Bound result 1
813
- Bound result 1254
814
- Bound result 16912640959859898436182
815
- Bound result 18904447
816
- Bound result 2
817
- Bound result 2
818
- Bound result 16713709997872360132435
819
- Bound result 1
820
- Bound result 2033784626905503698269
821
- Bound result 1
822
- Bound result 2945
823
- Bound result 1576
824
- Bound result 1
712
+ Bound result 9236
713
+ Bound result 8297
714
+ Bound result 9850
715
+ Bound result 0
716
+ Bound result 3351
717
+ Bound result 50664509017250971603
718
+ Bound result 9900000000000000000581
719
+ Bound result 100000000000000000001
720
+ Bound result 247
721
+ Bound result 2653
722
+ Bound result 798
723
+ Bound result 3
724
+ Bound result 9900000050809778537307
725
+ Bound result 9900000000000940329394
726
+ Bound result 13
727
+ Bound result 3063
728
+ Bound result 2464700
729
+ Bound result 7
730
+ Bound result 724
731
+ Bound result 9900000000000000007718
732
+ Bound result 9900000000000000000901
733
+ Bound result 1273
734
+ Bound result 6242
735
+ Bound result 2061
736
+ Bound result 9900000000000000001200
737
+ Bound result 9900000000000000007380
738
+ Bound result 2095
739
+ Bound result 158
825
740
 
826
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.50s (16.70s CPU time)
741
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.10s (7.57s CPU time)
742
+
743
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
744
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26138, ~: 38584)
745
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
746
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
747
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
748
+ [PASS] test_isPaused_InitialState() (gas: 15595)
749
+ [PASS] test_pause() (gas: 39592)
750
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28465, ~: 39861)
751
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
752
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
753
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
754
+ [PASS] test_storageHash() (gas: 3414)
755
+ [PASS] test_unpause() (gas: 31115)
756
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40536, ~: 42029)
757
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
758
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
759
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
760
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
761
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
762
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
763
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.22s (183.55ms CPU time)
827
764
 
828
765
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
829
766
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -831,360 +768,470 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
831
768
  ╭-----------------------------------+---------------------+-------+---------+----------╮
832
769
  | Contract | Selector | Calls | Reverts | Discards |
833
770
  +======================================================================================+
834
- | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
771
+ | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
835
772
  |-----------------------------------+---------------------+-------+---------+----------|
836
- | RateLimiterRBACUpgradeableHandler | outflow | 519 | 0 | 0 |
773
+ | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
837
774
  |-----------------------------------+---------------------+-------+---------+----------|
838
- | RateLimiterRBACUpgradeableHandler | setConfig | 591 | 0 | 0 |
775
+ | RateLimiterRBACUpgradeableHandler | setConfig | 574 | 0 | 0 |
839
776
  |-----------------------------------+---------------------+-------+---------+----------|
840
- | RateLimiterRBACUpgradeableHandler | setState | 565 | 0 | 0 |
777
+ | RateLimiterRBACUpgradeableHandler | setState | 546 | 0 | 0 |
841
778
  |-----------------------------------+---------------------+-------+---------+----------|
842
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 550 | 0 | 0 |
779
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 524 | 0 | 0 |
843
780
  |-----------------------------------+---------------------+-------+---------+----------|
844
781
  | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
845
782
  |-----------------------------------+---------------------+-------+---------+----------|
846
- | RateLimiterRBACUpgradeableHandler | warp | 518 | 0 | 0 |
783
+ | RateLimiterRBACUpgradeableHandler | warp | 562 | 0 | 0 |
847
784
  ╰-----------------------------------+---------------------+-------+---------+----------╯
848
785
 
849
786
  Logs:
850
- Bound result 514264337593543950333
851
- Bound result 1343307045077008820858
852
- Bound result 18442566625829568271
853
- Bound result 1173
854
- Bound result 435
855
- Bound result 8246
856
- Bound result 5071
857
- Bound result 8213
858
- Bound result 183
859
- Bound result 314
860
- Bound result 7213
861
- Bound result 220
862
- Bound result 9900000000000000008795
863
- Bound result 9900000000000000010312
864
- Bound result 1125
865
- Bound result 2095
866
- Bound result 3443
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
803
+ Bound result 0
804
+ Bound result 7300
805
+ Bound result 9900000000000000009076
806
+ Bound result 9900000015813501300742
807
+ Bound result 1057
808
+ Bound result 8697
809
+ Bound result 6914264337593535947489
810
+ Bound result 9900000000000000000075
811
+ Bound result 521
812
+ Bound result 12
813
+ Bound result 9900000000270345241150
814
+ Bound result 9900000000000003051330
815
+ Bound result 457
816
+ Bound result 327
817
+ Bound result 616
867
818
 
868
819
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
869
820
 
870
821
  ╭-----------------------------------+---------------------+-------+---------+----------╮
871
822
  | Contract | Selector | Calls | Reverts | Discards |
872
823
  +======================================================================================+
873
- | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
824
+ | RateLimiterRBACUpgradeableHandler | inflow | 570 | 0 | 0 |
874
825
  |-----------------------------------+---------------------+-------+---------+----------|
875
- | RateLimiterRBACUpgradeableHandler | outflow | 500 | 0 | 0 |
826
+ | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
876
827
  |-----------------------------------+---------------------+-------+---------+----------|
877
- | RateLimiterRBACUpgradeableHandler | setConfig | 526 | 0 | 0 |
828
+ | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
878
829
  |-----------------------------------+---------------------+-------+---------+----------|
879
- | RateLimiterRBACUpgradeableHandler | setState | 587 | 0 | 0 |
830
+ | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
880
831
  |-----------------------------------+---------------------+-------+---------+----------|
881
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 566 | 0 | 0 |
832
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
882
833
  |-----------------------------------+---------------------+-------+---------+----------|
883
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560 | 0 | 0 |
834
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
884
835
  |-----------------------------------+---------------------+-------+---------+----------|
885
- | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
836
+ | RateLimiterRBACUpgradeableHandler | warp | 547 | 0 | 0 |
886
837
  ╰-----------------------------------+---------------------+-------+---------+----------╯
887
838
 
888
839
  Logs:
889
- Bound result 57
890
- Bound result 818700137695332151855
891
- Bound result 253582569896100309868
892
- Bound result 264268671412228627672
893
- Bound result 1482
894
- Bound result 87
895
- Bound result 324929719185229462450
896
- Bound result 5460
897
- Bound result 10285
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
898
865
  Bound result 0
899
- Bound result 879
900
- Bound result 1705161674597
901
- Bound result 3795222
902
- Bound result 159
903
- Bound result 7109
904
- Bound result 719206527
905
- Bound result 1013
906
- Bound result 36202037
907
- Bound result 160544108768466995235
908
- Bound result 169
909
- Bound result 357094980
910
- Bound result 2446411861
911
- Bound result 192
866
+ Bound result 1065541090506740624
912
867
 
913
868
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
914
869
 
915
870
  ╭-----------------------------------+---------------------+-------+---------+----------╮
916
871
  | Contract | Selector | Calls | Reverts | Discards |
917
872
  +======================================================================================+
918
- | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
873
+ | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
919
874
  |-----------------------------------+---------------------+-------+---------+----------|
920
- | RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
875
+ | RateLimiterRBACUpgradeableHandler | outflow | 542 | 0 | 0 |
921
876
  |-----------------------------------+---------------------+-------+---------+----------|
922
- | RateLimiterRBACUpgradeableHandler | setConfig | 514 | 0 | 0 |
877
+ | RateLimiterRBACUpgradeableHandler | setConfig | 518 | 0 | 0 |
923
878
  |-----------------------------------+---------------------+-------+---------+----------|
924
- | RateLimiterRBACUpgradeableHandler | setState | 587 | 0 | 0 |
879
+ | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
925
880
  |-----------------------------------+---------------------+-------+---------+----------|
926
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
881
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 574 | 0 | 0 |
927
882
  |-----------------------------------+---------------------+-------+---------+----------|
928
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 582 | 0 | 0 |
883
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
929
884
  |-----------------------------------+---------------------+-------+---------+----------|
930
- | RateLimiterRBACUpgradeableHandler | warp | 521 | 0 | 0 |
885
+ | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
931
886
  ╰-----------------------------------+---------------------+-------+---------+----------╯
932
887
 
933
888
  Logs:
934
- Bound result 9900000000000000001446
935
- Bound result 9900000000000000003044
936
- Bound result 112
937
- Bound result 9332
938
- Bound result 9311
939
- Bound result 8118
940
- Bound result 4411
941
- Bound result 9900000000000000005848
942
- Bound result 7978772063789439179937
943
- Bound result 5028
944
- Bound result 348
945
- Bound result 8847068691134763499179
946
- Bound result 9900000000354532836572
947
- Bound result 6878
948
- Bound result 130
949
- Bound result 10732
950
- Bound result 8944
951
- Bound result 13628128592854918215524
952
- Bound result 13693984874038692
953
- Bound result 4774966
954
- Bound result 3845
955
- Bound result 1
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
956
900
 
957
901
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
958
902
 
959
903
  ╭-----------------------------------+---------------------+-------+---------+----------╮
960
904
  | Contract | Selector | Calls | Reverts | Discards |
961
905
  +======================================================================================+
962
- | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
906
+ | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
963
907
  |-----------------------------------+---------------------+-------+---------+----------|
964
- | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
908
+ | RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
965
909
  |-----------------------------------+---------------------+-------+---------+----------|
966
- | RateLimiterRBACUpgradeableHandler | setConfig | 585 | 0 | 0 |
910
+ | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
967
911
  |-----------------------------------+---------------------+-------+---------+----------|
968
- | RateLimiterRBACUpgradeableHandler | setState | 596 | 0 | 0 |
912
+ | RateLimiterRBACUpgradeableHandler | setState | 542 | 0 | 0 |
969
913
  |-----------------------------------+---------------------+-------+---------+----------|
970
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 539 | 0 | 0 |
914
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 581 | 0 | 0 |
971
915
  |-----------------------------------+---------------------+-------+---------+----------|
972
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 540 | 0 | 0 |
916
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 514 | 0 | 0 |
973
917
  |-----------------------------------+---------------------+-------+---------+----------|
974
- | RateLimiterRBACUpgradeableHandler | warp | 501 | 0 | 0 |
918
+ | RateLimiterRBACUpgradeableHandler | warp | 584 | 0 | 0 |
975
919
  ╰-----------------------------------+---------------------+-------+---------+----------╯
976
920
 
977
921
  Logs:
978
- Bound result 8203
979
- Bound result 9163302198
980
- Bound result 1127
981
- Bound result 9900001692113556334556
982
- Bound result 6914264337593535947489
983
- Bound result 5057
984
- Bound result 9534
985
- Bound result 8993
986
- Bound result 1016
987
- Bound result 663714116
988
- Bound result 10990
989
- Bound result 4479
990
- Bound result 1026
922
+ Bound result 1327428231
923
+ Bound result 890253132036027879086
924
+ Bound result 422935438
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
991
941
 
992
942
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
993
943
 
994
944
  ╭-----------------------------------+---------------------+-------+---------+----------╮
995
945
  | Contract | Selector | Calls | Reverts | Discards |
996
946
  +======================================================================================+
997
- | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
947
+ | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
998
948
  |-----------------------------------+---------------------+-------+---------+----------|
999
- | RateLimiterRBACUpgradeableHandler | outflow | 590 | 0 | 0 |
949
+ | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
1000
950
  |-----------------------------------+---------------------+-------+---------+----------|
1001
- | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
951
+ | RateLimiterRBACUpgradeableHandler | setConfig | 571 | 0 | 0 |
1002
952
  |-----------------------------------+---------------------+-------+---------+----------|
1003
- | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
953
+ | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
1004
954
  |-----------------------------------+---------------------+-------+---------+----------|
1005
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 494 | 0 | 0 |
955
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 511 | 0 | 0 |
1006
956
  |-----------------------------------+---------------------+-------+---------+----------|
1007
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
957
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
1008
958
  |-----------------------------------+---------------------+-------+---------+----------|
1009
- | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
959
+ | RateLimiterRBACUpgradeableHandler | warp | 571 | 0 | 0 |
1010
960
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1011
961
 
1012
962
  Logs:
1013
- Bound result 107477463
1014
- Bound result 378485637550124095914
1015
- Bound result 9900000046688051965424
1016
- Bound result 9900130977931491291422
1017
- Bound result 7973
1018
- Bound result 7616
1019
- Bound result 12
1020
- Bound result 521585152
1021
- Bound result 10403131
1022
- Bound result 10
1023
- Bound result 1070
1024
- Bound result 15461117877153570
963
+ Bound result 1940310525507872114795
964
+ Bound result 384571880393511297
965
+ Bound result 0
966
+ Bound result 9299312544781952441
967
+ Bound result 194137898126472600
1025
968
  Bound result 1
1026
- Bound result 78
1027
- Bound result 3257
1028
- Bound result 5339
1029
- Bound result 12
1030
- Bound result 9900000000022634991134
1031
- Bound result 9989155055394226516231
1032
- Bound result 51
1033
- Bound result 4121
1034
- Bound result 9900000001099511627776
1035
- Bound result 9900000000000000037668
1036
- Bound result 7080
1037
- Bound result 7243
1038
- Bound result 9900000000000000000446
1039
- Bound result 9900000000000000006424
1040
- Bound result 9342
1041
- Bound result 1341
969
+ Bound result 1649
970
+ Bound result 21402
971
+ Bound result 1479591996253098539
972
+ Bound result 331
973
+ Bound result 1246125932510737865268
974
+ Bound result 560828689666714078518
975
+ Bound result 0
976
+ Bound result 6162
977
+ Bound result 1876281281145568199838
978
+ Bound result 341
979
+ Bound result 1
980
+ Bound result 403347669813070002000
981
+ Bound result 328
982
+ Bound result 5847
983
+ Bound result 681321223797209393295
984
+ Bound result 131
985
+ Bound result 1055
986
+ Bound result 172
987
+ Bound result 9900000000000000006026
988
+ Bound result 9900000000000000000059
989
+ Bound result 3845
990
+ Bound result 9327
991
+ Bound result 222005148
1042
992
 
1043
993
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1044
994
 
1045
995
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1046
996
  | Contract | Selector | Calls | Reverts | Discards |
1047
997
  +======================================================================================+
1048
- | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
998
+ | RateLimiterRBACUpgradeableHandler | inflow | 539 | 0 | 0 |
1049
999
  |-----------------------------------+---------------------+-------+---------+----------|
1050
- | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
1000
+ | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
1051
1001
  |-----------------------------------+---------------------+-------+---------+----------|
1052
1002
  | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
1053
1003
  |-----------------------------------+---------------------+-------+---------+----------|
1054
- | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
1004
+ | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
1055
1005
  |-----------------------------------+---------------------+-------+---------+----------|
1056
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 517 | 0 | 0 |
1006
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
1057
1007
  |-----------------------------------+---------------------+-------+---------+----------|
1058
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 561 | 0 | 0 |
1008
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 563 | 0 | 0 |
1059
1009
  |-----------------------------------+---------------------+-------+---------+----------|
1060
- | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
1010
+ | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
1061
1011
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1062
1012
 
1063
1013
  Logs:
1064
- Bound result 297
1065
- Bound result 179897964312449248741
1066
1014
  Bound result 663
1067
- Bound result 58
1068
- Bound result 9609
1069
- Bound result 9900000000000000004951
1070
- Bound result 9900000000000000000596
1071
- Bound result 5390
1072
- Bound result 3572
1073
- Bound result 2976
1074
- Bound result 54
1075
- Bound result 9900000000001419208252
1076
- Bound result 100000000000000000000
1077
- Bound result 3790
1078
- Bound result 1225
1079
- Bound result 186938903630203543435
1080
- Bound result 9900000000000003266459
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
1081
1032
  Bound result 100000000000000000000
1082
- Bound result 3842
1083
- Bound result 13
1084
- Bound result 17
1033
+ Bound result 12
1034
+ Bound result 386
1035
+ Bound result 6910482070740511657835
1036
+ Bound result 926474208373401
1037
+ Bound result 3784905736
1038
+ Bound result 273
1085
1039
 
1086
1040
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1087
1041
 
1088
1042
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1089
1043
  | Contract | Selector | Calls | Reverts | Discards |
1090
1044
  +======================================================================================+
1091
- | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
1045
+ | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
1092
1046
  |-----------------------------------+---------------------+-------+---------+----------|
1093
- | RateLimiterRBACUpgradeableHandler | outflow | 574 | 0 | 0 |
1047
+ | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
1094
1048
  |-----------------------------------+---------------------+-------+---------+----------|
1095
- | RateLimiterRBACUpgradeableHandler | setConfig | 527 | 0 | 0 |
1049
+ | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
1096
1050
  |-----------------------------------+---------------------+-------+---------+----------|
1097
- | RateLimiterRBACUpgradeableHandler | setState | 571 | 0 | 0 |
1051
+ | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
1098
1052
  |-----------------------------------+---------------------+-------+---------+----------|
1099
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 549 | 0 | 0 |
1053
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
1100
1054
  |-----------------------------------+---------------------+-------+---------+----------|
1101
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 525 | 0 | 0 |
1055
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
1102
1056
  |-----------------------------------+---------------------+-------+---------+----------|
1103
- | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
1057
+ | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
1104
1058
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1105
1059
 
1106
1060
  Logs:
1107
- Bound result 1327641767302477
1108
- Bound result 2911986124
1109
- Bound result 6553
1061
+ Bound result 701890289711260201711
1062
+ Bound result 1186147559442617851
1063
+ Bound result 0
1064
+ Bound result 281922350508106522508
1065
+ Bound result 547957215824771097118
1066
+ Bound result 542
1067
+ Bound result 785083316885472513592
1068
+ Bound result 2162
1069
+ Bound result 0
1070
+ Bound result 296
1071
+ Bound result 9900000000000000003452
1072
+ Bound result 9900000000000000001024
1073
+ Bound result 4006
1074
+ Bound result 5404
1075
+ Bound result 108
1076
+ Bound result 72661
1110
1077
  Bound result 1
1111
- Bound result 8901
1078
+ Bound result 38
1079
+ Bound result 4100
1112
1080
  Bound result 1
1113
- Bound result 9900000000000000275077
1114
- Bound result 9900000000000000084894
1115
- Bound result 3804
1116
- Bound result 448
1117
- Bound result 4668
1118
- Bound result 2578
1119
- Bound result 0
1120
- Bound result 529199148698166472
1121
- Bound result 9900000000000000001434
1122
- Bound result 9900000000000000005400
1123
- Bound result 9765
1124
- Bound result 624
1081
+ Bound result 37191354387988
1082
+ Bound result 9250
1125
1083
 
1126
1084
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1127
1085
 
1128
1086
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1129
1087
  | Contract | Selector | Calls | Reverts | Discards |
1130
1088
  +======================================================================================+
1131
- | RateLimiterRBACUpgradeableHandler | inflow | 576 | 0 | 0 |
1089
+ | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
1132
1090
  |-----------------------------------+---------------------+-------+---------+----------|
1133
- | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
1091
+ | RateLimiterRBACUpgradeableHandler | outflow | 550 | 0 | 0 |
1134
1092
  |-----------------------------------+---------------------+-------+---------+----------|
1135
- | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
1093
+ | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
1136
1094
  |-----------------------------------+---------------------+-------+---------+----------|
1137
- | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
1095
+ | RateLimiterRBACUpgradeableHandler | setState | 496 | 0 | 0 |
1138
1096
  |-----------------------------------+---------------------+-------+---------+----------|
1139
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
1097
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
1140
1098
  |-----------------------------------+---------------------+-------+---------+----------|
1141
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 524 | 0 | 0 |
1099
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 583 | 0 | 0 |
1142
1100
  |-----------------------------------+---------------------+-------+---------+----------|
1143
- | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
1101
+ | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
1144
1102
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1145
1103
 
1146
1104
  Logs:
1147
- Bound result 14908121264390939124
1148
- Bound result 1534
1149
- Bound result 5399
1150
- Bound result 3472626730
1151
- Bound result 546616467334371222926
1152
- Bound result 5702954783253
1153
- Bound result 0
1154
- Bound result 1120888250246456638334
1155
- Bound result 3996
1156
- Bound result 222
1157
- Bound result 983
1158
- Bound result 10557
1105
+ Bound result 9900000000000000000315
1106
+ Bound result 9900000000000350261690
1107
+ Bound result 1184
1108
+ Bound result 875
1109
+ Bound result 563
1110
+ Bound result 379464935
1111
+ Bound result 1220
1112
+ Bound result 70134191897255966
1113
+ Bound result 943296018625218
1114
+ Bound result 25
1115
+ Bound result 10436
1116
+ Bound result 8781
1117
+ Bound result 1177
1118
+ Bound result 34873815193244
1119
+ Bound result 20054
1120
+ Bound result 195
1121
+ Bound result 3159546914506194453
1122
+ Bound result 6914261534503879703972
1123
+ Bound result 5709
1124
+ Bound result 17281321223794782312761
1125
+ Bound result 613063844
1126
+ Bound result 903
1127
+
1128
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.22s (7.91s CPU time)
1159
1129
 
1160
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.68s (15.32s CPU time)
1130
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1131
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1132
+ [PASS] test_constructor_InitialMode() (gas: 15578)
1133
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1134
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1135
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1136
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1137
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1138
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1139
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1140
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1141
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1142
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1143
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1144
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1145
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1146
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1147
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1148
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1149
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1150
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1151
+ [PASS] test_setMode_Blacklist() (gas: 40021)
1152
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
1153
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
1154
+ [PASS] test_setMode_Whitelist() (gas: 40108)
1155
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1156
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1157
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1158
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1159
+ [PASS] test_storageHash() (gas: 3458)
1160
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 13.71s (325.95ms CPU time)
1161
1161
 
1162
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
1163
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
1164
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
1165
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
1166
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
1167
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
1168
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
1169
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
1170
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
1171
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
1172
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
1173
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 16.51s (104.41ms CPU time)
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)
1174
1195
 
1175
- Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
1176
- [PASS] test_feeDeposit() (gas: 17638)
1177
- [PASS] test_setFeeDeposit() (gas: 27596)
1178
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24052, ~: 24055)
1179
- [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
1180
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
1181
- [PASS] test_storageHash() (gas: 3315)
1182
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 16.60s (102.44ms CPU time)
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)
1183
1230
 
1184
1231
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1185
1232
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1186
1233
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1187
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 804763, ~: 231064)
1234
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 746949, ~: 51234)
1188
1235
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1189
1236
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1190
1237
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1197,12 +1244,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1197
1244
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1198
1245
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1199
1246
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1200
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11244835, ~: 10540345)
1247
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11174209, ~: 10522504)
1201
1248
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1202
1249
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1203
1250
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1204
1251
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1205
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 750552, ~: 167927)
1252
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 820298, ~: 306455)
1206
1253
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1207
1254
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1208
1255
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1215,72 +1262,38 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1215
1262
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1216
1263
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1217
1264
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1218
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11201669, ~: 10506032)
1265
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11127056, ~: 10349027)
1219
1266
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1220
1267
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1221
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 16.59s (40.62s CPU time)
1268
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 13.71s (30.98s CPU time)
1222
1269
 
1223
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1224
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1225
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1226
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47466, ~: 48966)
1227
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1228
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1229
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1230
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1231
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1232
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1233
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1234
- [PASS] test_getFee_Default() (gas: 43108)
1235
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45954, ~: 47017)
1236
- [PASS] test_getFee_Rounding() (gas: 45449)
1237
- [PASS] test_getFee_Specific() (gas: 66985)
1238
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1239
- [PASS] test_setDefaultFeeBps() (gas: 42199)
1240
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34972, ~: 42268)
1241
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1242
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1243
- [PASS] test_setFeeBps() (gas: 77237)
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)
1244
1290
  Logs:
1245
1291
  Bound result 500
1246
1292
 
1247
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68071, ~: 77570)
1248
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1249
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1250
- [PASS] test_storageHash() (gas: 3436)
1251
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 16.60s (663.98ms CPU time)
1252
-
1253
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1254
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1255
- [PASS] test_constructor_InitialMode() (gas: 15578)
1256
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1257
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1258
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1259
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1260
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1261
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1262
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1263
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1264
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1265
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1266
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1267
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1268
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1269
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1270
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1271
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1272
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1273
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1274
- [PASS] test_setMode_Blacklist() (gas: 40021)
1275
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
1276
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
1277
- [PASS] test_setMode_Whitelist() (gas: 40108)
1278
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1279
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1280
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1281
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1282
- [PASS] test_storageHash() (gas: 3458)
1283
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 16.60s (503.37ms CPU time)
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
1297
 
1285
- Ran 17 test suites in 16.63s (95.94s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1286
- ⏳ forge test: 34.156s
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