@layerzerolabs/utils-upgradeable-evm-contracts 1.2.9 → 1.2.10

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 (17) hide show
  1. package/.turbo/turbo-lint.log +232 -228
  2. package/.turbo/turbo-test.log +730 -769
  3. package/package.json +4 -4
  4. package/test/AccessControl2StepUpgradeable.t.sol +115 -111
  5. package/test/AllowlistBaseUpgradeable.t.sol +10 -15
  6. package/test/AllowlistRBACUpgradeable.t.sol +20 -16
  7. package/test/FeeConfigBaseUpgradeable.t.sol +68 -70
  8. package/test/FeeConfigRBACUpgradeable.t.sol +13 -10
  9. package/test/FeeHandlerBaseUpgradeable.t.sol +22 -28
  10. package/test/FeeHandlerRBACUpgradeable.t.sol +12 -9
  11. package/test/PauseBaseUpgradeable.t.sol +72 -85
  12. package/test/PauseByIDBaseUpgradeable.t.sol +84 -94
  13. package/test/PauseByIDRBACUpgradeable.t.sol +101 -115
  14. package/test/PauseRBACUpgradeable.t.sol +74 -106
  15. package/test/RateLimiterBaseUpgradeable.t.sol +28 -24
  16. package/test/RateLimiterRBACUpgradeable.t.sol +22 -12
  17. package/test/RateLimiterRBACUpgradeableInvariant.t.sol +10 -10
package/.turbo/turbo-test.log CHANGED
@@ -4,23 +4,23 @@
4
4
 
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
- 📦 Using scoped workspace: /tmp/lz-scoped-workspace-UbGqPS
7
+ 📦 Using scoped workspace: /tmp/lz-scoped-workspace-RFkkNy
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No scoped-workspace pruner configured; using unpruned package-level source copy fallback.
10
- (node:251633) [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.
10
+ (node:200146) [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.
11
11
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
12
12
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
13
13
  (Use `node --trace-warnings ...` to show where the warning was created)
14
14
  📦 Docker volumes:
15
- -v /tmp/lz-scoped-workspace-UbGqPS:/workspace
15
+ -v /tmp/lz-scoped-workspace-RFkkNy:/workspace
16
16
  -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable
17
17
  -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro
18
18
  $ 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
19
19
  ✅ 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)
20
20
  👤 Running container as UID:GID 1001:1001
21
- $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-UbGqPS:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -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
21
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-RFkkNy:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -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
22
22
  Compiling 84 files with Solc 0.8.22
23
- Solc 0.8.22 finished in 8.41s
23
+ Solc 0.8.22 finished in 11.24s
24
24
  Compiler run successful with warnings:
25
25
  Warning (2018): Function state mutability can be restricted to view
26
26
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -143,49 +143,11 @@ Warning (2018): Function state mutability can be restricted to view
143
143
  | ^ (Relevant source part starts here and spans across multiple lines).
144
144
 
145
145
 
146
- Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
147
- [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
148
- [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
149
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
150
- [PASS] test_checkpointRateLimits_Single() (gas: 85741)
151
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
152
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
153
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
154
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
155
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
156
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
157
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
158
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
159
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
160
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
161
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
162
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
163
- [PASS] test_inflow_GloballyDisabled() (gas: 52015)
164
- [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
165
- [PASS] test_initial_state_closed() (gas: 2034659)
166
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
167
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
168
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
169
- [PASS] test_outflow_GloballyDisabled() (gas: 52036)
170
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
171
- [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
172
- [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
173
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
174
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
175
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
176
- [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
177
- [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
178
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
179
- [PASS] test_setRateLimitStates_Single() (gas: 49974)
180
- [PASS] test_storageHash() (gas: 3414)
181
- [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
182
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 18.83ms (17.07ms CPU time)
183
-
184
146
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
185
147
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
186
148
  [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
187
149
  [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 95004)
188
- [PASS] test_checkpointRateLimits_Revert_Unauthorized() (gas: 19822)
150
+ [PASS] test_checkpointRateLimits_Revert_Unauthorized() (gas: 19814)
189
151
  [PASS] test_checkpointRateLimits_Single() (gas: 88573)
190
152
  [PASS] test_constructor_MaxScaledDecimals() (gas: 1389525)
191
153
  [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38027)
@@ -210,70 +172,154 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
210
172
  [PASS] test_outflow_WithScaleDecimals() (gas: 2816351)
211
173
  [PASS] test_setRateLimitAddressExemptions() (gas: 62304)
212
174
  [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 24241)
213
- [PASS] test_setRateLimitAddressExemptions_Revert_Unauthorized() (gas: 19937)
175
+ [PASS] test_setRateLimitAddressExemptions_Revert_Unauthorized() (gas: 19928)
214
176
  [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 97507)
215
177
  [PASS] test_setRateLimitConfigs_Multiple() (gas: 110012)
216
- [PASS] test_setRateLimitConfigs_Revert_Unauthorized() (gas: 21285)
178
+ [PASS] test_setRateLimitConfigs_Revert_Unauthorized() (gas: 21277)
217
179
  [PASS] test_setRateLimitConfigs_Single() (gas: 79162)
218
180
  [PASS] test_setRateLimitGlobalConfig() (gas: 52231)
219
- [PASS] test_setRateLimitGlobalConfig_Revert_Unauthorized() (gas: 19463)
181
+ [PASS] test_setRateLimitGlobalConfig_Revert_Unauthorized() (gas: 19455)
220
182
  [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 18907)
221
- [PASS] test_setRateLimitStates_Revert_Unauthorized() (gas: 20566)
183
+ [PASS] test_setRateLimitStates_Revert_Unauthorized() (gas: 20546)
222
184
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
223
185
  [PASS] test_storageHash() (gas: 3392)
224
186
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
225
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 17.16ms (15.05ms CPU time)
187
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 17.00ms (20.98ms CPU time)
188
+
189
+ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
190
+ [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
191
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
192
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
193
+ [PASS] test_checkpointRateLimits_Single() (gas: 85741)
194
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
195
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
196
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
197
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
198
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
199
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
200
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
201
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
202
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
203
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
204
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
205
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
206
+ [PASS] test_inflow_GloballyDisabled() (gas: 52015)
207
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
208
+ [PASS] test_initial_state_closed() (gas: 2034659)
209
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
210
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
211
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
212
+ [PASS] test_outflow_GloballyDisabled() (gas: 52036)
213
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
214
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
215
+ [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
216
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
217
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
218
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
219
+ [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
220
+ [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
221
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
222
+ [PASS] test_setRateLimitStates_Single() (gas: 49974)
223
+ [PASS] test_storageHash() (gas: 3414)
224
+ [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
225
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 20.05ms (17.30ms CPU time)
226
226
 
227
227
  Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
228
- [PASS] test_feeDeposit() (gas: 17576)
229
- [PASS] test_setFeeDeposit() (gas: 24995)
228
+ [PASS] test_feeDeposit() (gas: 17598)
229
+ [PASS] test_setFeeDeposit() (gas: 24907)
230
230
  [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
231
231
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
232
232
  [PASS] test_storageHash() (gas: 3337)
233
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 59.74ms (59.35ms CPU time)
234
-
235
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
236
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
237
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
238
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
239
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
240
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
241
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
242
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
243
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
244
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
245
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
246
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 31.11ms (30.97ms CPU time)
233
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 50.78ms (50.20ms CPU time)
247
234
 
248
235
  Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
249
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26202, ~: 12786)
236
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26626, ~: 12786)
250
237
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
251
238
  [PASS] test_assertNotPaused_Success() (gas: 12539)
252
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
253
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
239
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15969)
240
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 51358)
254
241
  [PASS] test_isPaused_InitialState() (gas: 15629)
255
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
256
- [PASS] test_multipleRoleGrants() (gas: 394130)
242
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 219691)
243
+ [PASS] test_multipleRoleGrants() (gas: 395725)
257
244
  [PASS] test_pause() (gas: 42109)
258
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
259
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
260
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 31275, ~: 42378)
245
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 35880)
246
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 181540)
247
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 31015, ~: 42378)
261
248
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
262
249
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
263
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
264
- [PASS] test_setPaused_Success() (gas: 40691)
265
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
250
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20199)
251
+ [PASS] test_setPaused_Success() (gas: 42640)
252
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 59456)
266
253
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
267
254
  [PASS] test_storageHash() (gas: 3414)
268
255
  [PASS] test_unpause() (gas: 35177)
269
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41809, ~: 44479)
270
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
271
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
272
- [PASS] test_whenNotPaused_Success() (gas: 38800)
273
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
274
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
275
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
276
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 164.53ms (249.79ms CPU time)
256
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41903, ~: 39122)
257
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44622)
258
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40955)
259
+ [PASS] test_whenNotPaused_Success() (gas: 38986)
260
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52848)
261
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 63439)
262
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15646)
263
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 98.21ms (154.27ms CPU time)
264
+
265
+ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
266
+ [PASS] test_feeDeposit() (gas: 17660)
267
+ [PASS] test_setFeeDeposit() (gas: 27618)
268
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
269
+ [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 24359)
270
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
271
+ [PASS] test_storageHash() (gas: 3315)
272
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 137.92ms (137.21ms CPU time)
273
+
274
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
275
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
276
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
277
+ [PASS] test_assertNotPaused_Success() (gas: 14891)
278
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
279
+ [PASS] test_defaultPaused_InitialState() (gas: 15572)
280
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18020)
281
+ [PASS] test_isPaused_Default() (gas: 47316)
282
+ [PASS] test_isPaused_InitialState() (gas: 22172)
283
+ [PASS] test_isPaused_MultipleIDs() (gas: 80142)
284
+ [PASS] test_isPaused_Override() (gas: 75171)
285
+ [PASS] test_isPaused_Specific() (gas: 50105)
286
+ [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
287
+ [PASS] test_pauseConfig() (gas: 51028)
288
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 174204)
289
+ [PASS] test_setDefaultPaused() (gas: 42196)
290
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30281, ~: 18826)
291
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
292
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
293
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 22489)
294
+ [PASS] test_setDefaultPaused_Success() (gas: 40744)
295
+ [PASS] test_setPaused() (gas: 48361)
296
+ [PASS] test_setPaused_DormantData() (gas: 297504)
297
+ [PASS] test_setPaused_EmptyArray() (gas: 15702)
298
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 102594)
299
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43766, ~: 48696)
300
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 225639, ~: 219074)
301
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 25048)
302
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 134340)
303
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 109682)
304
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 25986)
305
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 132969)
306
+ [PASS] test_setPaused_Success() (gas: 45897)
307
+ [PASS] test_setPaused_Success_Batch() (gas: 345312)
308
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
309
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
310
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 243537)
311
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 135474)
312
+ [PASS] test_setPaused_Success_Toggle() (gas: 58022)
313
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 132087)
314
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 61968, ~: 50341)
315
+ [PASS] test_storageHash() (gas: 3392)
316
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
317
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
318
+ [PASS] test_whenNotPaused_Success() (gas: 41299)
319
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
320
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
321
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
322
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 367.47ms (492.30ms CPU time)
277
323
 
278
324
  Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
279
325
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
@@ -290,16 +336,16 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
290
336
  [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
291
337
  [PASS] test_pauseConfig() (gas: 45626)
292
338
  [PASS] test_setDefaultPaused() (gas: 39667)
293
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28125, ~: 28125)
339
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28313, ~: 39918)
294
340
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
295
341
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
296
342
  [PASS] test_setPaused() (gas: 43060)
297
343
  [PASS] test_setPaused_EmptyArray() (gas: 10900)
298
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38875, ~: 43373)
344
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38179, ~: 43373)
299
345
  [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
300
346
  [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
301
347
  [PASS] test_setPaused_Success_Toggle() (gas: 51442)
302
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58140, ~: 46989)
348
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58162, ~: 46989)
303
349
  [PASS] test_storageHash() (gas: 3480)
304
350
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
305
351
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
@@ -307,135 +353,56 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
307
353
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
308
354
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
309
355
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
310
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 172.22ms (319.77ms CPU time)
311
-
312
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
313
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
314
- [PASS] test_constructor_InitialMode() (gas: 15778)
315
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
316
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
317
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
318
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
319
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
320
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
321
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
322
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
323
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
324
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
325
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
326
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
327
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
328
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
329
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
330
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
331
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
332
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
333
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
334
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
335
- [PASS] test_setMode_Blacklist() (gas: 42605)
336
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
337
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
338
- [PASS] test_setMode_Whitelist() (gas: 42714)
339
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
340
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
341
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
342
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
343
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
344
- [PASS] test_storageHash() (gas: 3480)
345
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 470.14ms (335.18ms CPU time)
346
-
347
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
348
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
349
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
350
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45248, ~: 46317)
351
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
352
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
353
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
354
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
355
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
356
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
357
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
358
- [PASS] test_getFee_Default() (gas: 40577)
359
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43405, ~: 44486)
360
- [PASS] test_getFee_Rounding() (gas: 42835)
361
- [PASS] test_getFee_Specific() (gas: 63968)
362
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
363
- [PASS] test_setDefaultFeeBps() (gas: 39576)
364
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32171, ~: 39667)
365
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
366
- [PASS] test_setFeeBps() (gas: 73871)
367
- Logs:
368
- Bound result 500
369
-
370
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65759, ~: 74224)
371
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
372
- [PASS] test_storageHash() (gas: 3426)
373
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 686.32ms (347.42ms CPU time)
374
-
375
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
376
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
377
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
378
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47544, ~: 48966)
379
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
380
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
381
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
382
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
383
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
384
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
385
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
386
- [PASS] test_getFee_Default() (gas: 43108)
387
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45607, ~: 47017)
388
- [PASS] test_getFee_Rounding() (gas: 45449)
389
- [PASS] test_getFee_Specific() (gas: 66985)
390
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
391
- [PASS] test_setDefaultFeeBps() (gas: 42199)
392
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34578, ~: 42268)
393
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
394
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
395
- [PASS] test_setFeeBps() (gas: 77237)
396
- Logs:
397
- Bound result 500
398
-
399
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68586, ~: 77570)
400
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
401
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
402
- [PASS] test_storageHash() (gas: 3436)
403
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 728.06ms (509.91ms CPU time)
356
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 372.09ms (311.98ms CPU time)
404
357
 
405
- Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
406
- [PASS] test_feeDeposit() (gas: 17638)
407
- [PASS] test_setFeeDeposit() (gas: 27596)
408
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
409
- [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
410
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
411
- [PASS] test_storageHash() (gas: 3315)
412
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 901.29ms (85.84ms CPU time)
358
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
359
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
360
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
361
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
362
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
363
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
364
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
365
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
366
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
367
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
368
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
369
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 935.02ms (49.58ms CPU time)
413
370
 
414
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
415
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25053, ~: 12763)
416
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
417
- [PASS] test_assertNotPaused_Success() (gas: 12516)
418
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
419
- [PASS] test_isPaused_InitialState() (gas: 15595)
420
- [PASS] test_pause() (gas: 39592)
421
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27874, ~: 16219)
422
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
423
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
424
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
425
- [PASS] test_storageHash() (gas: 3414)
426
- [PASS] test_unpause() (gas: 31115)
427
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40439, ~: 38893)
428
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
429
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
430
- [PASS] test_whenNotPaused_Success() (gas: 38744)
431
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
432
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
433
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
434
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.00s (221.73ms CPU time)
371
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
372
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
373
+ [PASS] test_constructor_InitialMode() (gas: 15578)
374
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
375
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
376
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
377
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
378
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
379
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
380
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
381
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
382
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
383
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
384
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
385
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
386
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
387
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
388
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
389
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
390
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
391
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
392
+ [PASS] test_setMode_Blacklist() (gas: 40021)
393
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
394
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
395
+ [PASS] test_setMode_Whitelist() (gas: 40108)
396
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
397
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
398
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
399
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
400
+ [PASS] test_storageHash() (gas: 3458)
401
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 1.16s (474.64ms CPU time)
435
402
 
436
403
  Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
437
404
  [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
438
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
405
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104265, ~: 104248)
439
406
  [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
440
407
  [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
441
408
  [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
@@ -445,7 +412,7 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
445
412
  [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
446
413
  [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
447
414
  [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
448
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
415
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50279)
449
416
  [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
450
417
  [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
451
418
  [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
@@ -467,7 +434,7 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
467
434
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
468
435
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
469
436
  [PASS] test_storageHash() (gas: 3380)
470
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 1.06s (496.77ms CPU time)
437
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 1.36s (430.89ms CPU time)
471
438
 
472
439
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
473
440
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -475,367 +442,368 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
475
442
  ╭-----------------------------------+---------------------+-------+---------+----------╮
476
443
  | Contract | Selector | Calls | Reverts | Discards |
477
444
  +======================================================================================+
478
- | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
445
+ | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
479
446
  |-----------------------------------+---------------------+-------+---------+----------|
480
- | RateLimiterRBACUpgradeableHandler | outflow | 589 | 0 | 0 |
447
+ | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
481
448
  |-----------------------------------+---------------------+-------+---------+----------|
482
- | RateLimiterRBACUpgradeableHandler | setConfig | 524 | 0 | 0 |
449
+ | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
483
450
  |-----------------------------------+---------------------+-------+---------+----------|
484
- | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
451
+ | RateLimiterRBACUpgradeableHandler | setState | 568 | 0 | 0 |
485
452
  |-----------------------------------+---------------------+-------+---------+----------|
486
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
453
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 574 | 0 | 0 |
487
454
  |-----------------------------------+---------------------+-------+---------+----------|
488
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 574 | 0 | 0 |
455
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 528 | 0 | 0 |
489
456
  |-----------------------------------+---------------------+-------+---------+----------|
490
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
457
+ | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
491
458
  ╰-----------------------------------+---------------------+-------+---------+----------╯
492
459
 
493
460
  Logs:
494
- Bound result 249401334
495
- Bound result 9900000967009981754853
496
- Bound result 135331867862359706384
497
- Bound result 5091
498
- Bound result 248
499
- Bound result 4604
500
- Bound result 2
501
- Bound result 1
461
+ Bound result 7938
462
+ Bound result 743562185218377077
463
+ Bound result 663714114
464
+ Bound result 519
502
465
  Bound result 1
503
- Bound result 830885669
504
- Bound result 6236
505
- Bound result 2179643790316
506
- Bound result 1025
507
- Bound result 49466527
508
- Bound result 9900000000295940043683
509
- Bound result 100000000000000000002
510
- Bound result 2901
511
- Bound result 12
512
- Bound result 657
466
+ Bound result 1434
467
+ Bound result 1827
468
+ Bound result 1588
469
+ Bound result 6088514778278652143599
470
+ Bound result 9900000000000000113886
471
+ Bound result 6239
472
+ Bound result 2261
473
+ Bound result 1908562454564632574
474
+ Bound result 40
513
475
 
514
476
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
515
477
 
516
478
  ╭-----------------------------------+---------------------+-------+---------+----------╮
517
479
  | Contract | Selector | Calls | Reverts | Discards |
518
480
  +======================================================================================+
519
- | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
481
+ | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
520
482
  |-----------------------------------+---------------------+-------+---------+----------|
521
- | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
483
+ | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
522
484
  |-----------------------------------+---------------------+-------+---------+----------|
523
- | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
485
+ | RateLimiterRBACUpgradeableHandler | setConfig | 570 | 0 | 0 |
524
486
  |-----------------------------------+---------------------+-------+---------+----------|
525
- | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
487
+ | RateLimiterRBACUpgradeableHandler | setState | 566 | 0 | 0 |
526
488
  |-----------------------------------+---------------------+-------+---------+----------|
527
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
489
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
528
490
  |-----------------------------------+---------------------+-------+---------+----------|
529
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 508 | 0 | 0 |
491
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
530
492
  |-----------------------------------+---------------------+-------+---------+----------|
531
- | RateLimiterRBACUpgradeableHandler | warp | 575 | 0 | 0 |
493
+ | RateLimiterRBACUpgradeableHandler | warp | 501 | 0 | 0 |
532
494
  ╰-----------------------------------+---------------------+-------+---------+----------╯
533
495
 
534
496
  Logs:
535
- Bound result 5123
536
- Bound result 8923
537
- Bound result 4730
538
- Bound result 1
539
- Bound result 3844438871423435
540
- Bound result 2
541
- Bound result 104
542
- Bound result 9900000000000033540519
543
- Bound result 9900000000000000005092
544
- Bound result 7533
545
- Bound result 1219
546
- Bound result 9900000000003788300596
547
- Bound result 9900000000000000000573
548
- Bound result 3864
549
- Bound result 156
550
- Bound result 266
551
- Bound result 1303
552
- Bound result 470760
553
- Bound result 4
554
- Bound result 14
497
+ Bound result 9900000000000000002654
498
+ Bound result 9900000000000000003340
499
+ Bound result 1921
500
+ Bound result 873
501
+ Bound result 3
502
+ Bound result 168352919750081
503
+ Bound result 27638585
504
+ Bound result 0
505
+ Bound result 97693615154362996930
506
+ Bound result 25164436771504
507
+ Bound result 0
508
+ Bound result 0
509
+ Bound result 9900000000000001854610
510
+ Bound result 9952969263309445683242
511
+ Bound result 10
512
+ Bound result 485
513
+ Bound result 6166365383668416141516
514
+ Bound result 8932344197216803664195
515
+ Bound result 9878
516
+ Bound result 3814
517
+ Bound result 283
518
+ Bound result 3996
519
+ Bound result 1446
555
520
  Bound result 4
556
- Bound result 152244
557
- Bound result 73
521
+ Bound result 261429761832
522
+ Bound result 74
523
+ Bound result 357482027
558
524
 
559
525
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
560
526
 
561
527
  ╭-----------------------------------+---------------------+-------+---------+----------╮
562
528
  | Contract | Selector | Calls | Reverts | Discards |
563
529
  +======================================================================================+
564
- | RateLimiterRBACUpgradeableHandler | inflow | 546 | 0 | 0 |
530
+ | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
565
531
  |-----------------------------------+---------------------+-------+---------+----------|
566
- | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
532
+ | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
567
533
  |-----------------------------------+---------------------+-------+---------+----------|
568
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
534
+ | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
569
535
  |-----------------------------------+---------------------+-------+---------+----------|
570
- | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
536
+ | RateLimiterRBACUpgradeableHandler | setState | 590 | 0 | 0 |
571
537
  |-----------------------------------+---------------------+-------+---------+----------|
572
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 518 | 0 | 0 |
538
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 523 | 0 | 0 |
573
539
  |-----------------------------------+---------------------+-------+---------+----------|
574
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 585 | 0 | 0 |
540
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 513 | 0 | 0 |
575
541
  |-----------------------------------+---------------------+-------+---------+----------|
576
- | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
542
+ | RateLimiterRBACUpgradeableHandler | warp | 622 | 0 | 0 |
577
543
  ╰-----------------------------------+---------------------+-------+---------+----------╯
578
544
 
579
545
  Logs:
580
- Bound result 2139
581
- Bound result 8824734014500567170091
582
- Bound result 9900000000005170027665
583
- Bound result 10
584
- Bound result 197
585
- Bound result 3013121951
586
- Bound result 8049
587
- Bound result 100000000000000000000
588
- Bound result 9900781438957450629900
589
- Bound result 10
590
- Bound result 110
591
- Bound result 27
592
- Bound result 850
593
- Bound result 9900000000067236026615
594
- Bound result 8647130675055789711591
595
- Bound result 26
596
- Bound result 9573
597
- Bound result 349
546
+ Bound result 8652
547
+ Bound result 1240
548
+ Bound result 1294955566520201
549
+ Bound result 1431176826918301668034
550
+ Bound result 9
551
+ Bound result 514264337593504336254
552
+ Bound result 0
553
+ Bound result 168
554
+ Bound result 3039
555
+ Bound result 240
556
+ Bound result 142
557
+ Bound result 8121
558
+ Bound result 5652
559
+ Bound result 523
560
+ Bound result 1916647990860038051180
561
+ Bound result 7056
562
+ Bound result 8298
563
+ Bound result 47
564
+ Bound result 2193
565
+ Bound result 495
566
+ Bound result 495
598
567
 
599
568
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
600
569
 
601
570
  ╭-----------------------------------+---------------------+-------+---------+----------╮
602
571
  | Contract | Selector | Calls | Reverts | Discards |
603
572
  +======================================================================================+
604
- | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
573
+ | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
605
574
  |-----------------------------------+---------------------+-------+---------+----------|
606
- | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
575
+ | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
607
576
  |-----------------------------------+---------------------+-------+---------+----------|
608
- | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
577
+ | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
609
578
  |-----------------------------------+---------------------+-------+---------+----------|
610
- | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
579
+ | RateLimiterRBACUpgradeableHandler | setState | 520 | 0 | 0 |
611
580
  |-----------------------------------+---------------------+-------+---------+----------|
612
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 524 | 0 | 0 |
581
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
613
582
  |-----------------------------------+---------------------+-------+---------+----------|
614
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
583
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
615
584
  |-----------------------------------+---------------------+-------+---------+----------|
616
- | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
585
+ | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
617
586
  ╰-----------------------------------+---------------------+-------+---------+----------╯
618
587
 
619
588
  Logs:
620
- Bound result 24
621
- Bound result 2
622
- Bound result 9900000000000000003319
623
- Bound result 9900000000000000003954
624
- Bound result 682
625
- Bound result 6744
626
- Bound result 8703317570394093476212
627
- Bound result 118661522788
589
+ Bound result 6839
590
+ Bound result 3
628
591
  Bound result 2
629
- Bound result 8363
630
- Bound result 9904105280027130256543
631
- Bound result 9907716075315507157728
632
- Bound result 3957
633
- Bound result 6894
634
- Bound result 18919249064488153895393
635
- Bound result 23
636
- Bound result 9900000000000000004896
637
- Bound result 9900000000000000009552
638
- Bound result 2072
639
- Bound result 4237
592
+ Bound result 9900005043220398239818
593
+ Bound result 9900000000000000000034
594
+ Bound result 6962
595
+ Bound result 137
596
+ Bound result 1050
597
+ Bound result 7300
598
+ Bound result 90
599
+ Bound result 6562
600
+ Bound result 4730
601
+ Bound result 9939
602
+ Bound result 8882
640
603
 
641
604
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
642
605
 
643
606
  ╭-----------------------------------+---------------------+-------+---------+----------╮
644
607
  | Contract | Selector | Calls | Reverts | Discards |
645
608
  +======================================================================================+
646
- | RateLimiterRBACUpgradeableHandler | inflow | 543 | 0 | 0 |
609
+ | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
647
610
  |-----------------------------------+---------------------+-------+---------+----------|
648
- | RateLimiterRBACUpgradeableHandler | outflow | 529 | 0 | 0 |
611
+ | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
649
612
  |-----------------------------------+---------------------+-------+---------+----------|
650
- | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
613
+ | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
651
614
  |-----------------------------------+---------------------+-------+---------+----------|
652
- | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
615
+ | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
653
616
  |-----------------------------------+---------------------+-------+---------+----------|
654
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
617
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
655
618
  |-----------------------------------+---------------------+-------+---------+----------|
656
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
619
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
657
620
  |-----------------------------------+---------------------+-------+---------+----------|
658
- | RateLimiterRBACUpgradeableHandler | warp | 532 | 0 | 0 |
621
+ | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
659
622
  ╰-----------------------------------+---------------------+-------+---------+----------╯
660
623
 
661
624
  Logs:
662
- Bound result 331
663
- Bound result 9900000000000000010077
664
- Bound result 9900000000000000009176
665
- Bound result 437
666
- Bound result 681
667
- Bound result 1
668
- Bound result 59
669
- Bound result 204
670
- Bound result 9900000000000000001521
671
- Bound result 9900000000000000002236
672
- Bound result 416
673
- Bound result 1024
674
- Bound result 6980
675
- Bound result 5608
676
- Bound result 9900000000002670455648
677
- Bound result 9995669728503188202574
678
- Bound result 13
679
- Bound result 7336
680
- Bound result 6397
681
- Bound result 378
682
- Bound result 40
683
- Bound result 11829
625
+ Bound result 9900000000000344526423
626
+ Bound result 9900000000000000004513
627
+ Bound result 746
628
+ Bound result 8764
629
+ Bound result 3856056067
630
+ Bound result 9900000000000000005055
631
+ Bound result 9900000000000000001854
632
+ Bound result 5185
633
+ Bound result 5549
634
+ Bound result 8001
635
+ Bound result 1795
636
+ Bound result 14325633530974656033946
637
+ Bound result 331434984580659861
638
+ Bound result 296
639
+ Bound result 537997120866
640
+ Bound result 18
641
+ Bound result 9900000000000452777888
642
+ Bound result 9900000000000000003575
643
+ Bound result 9849
644
+ Bound result 5632
645
+ Bound result 10213771662336123144852
684
646
 
685
647
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
686
648
 
687
649
  ╭-----------------------------------+---------------------+-------+---------+----------╮
688
650
  | Contract | Selector | Calls | Reverts | Discards |
689
651
  +======================================================================================+
690
- | RateLimiterRBACUpgradeableHandler | inflow | 534 | 0 | 0 |
652
+ | RateLimiterRBACUpgradeableHandler | inflow | 543 | 0 | 0 |
691
653
  |-----------------------------------+---------------------+-------+---------+----------|
692
- | RateLimiterRBACUpgradeableHandler | outflow | 550 | 0 | 0 |
654
+ | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
693
655
  |-----------------------------------+---------------------+-------+---------+----------|
694
- | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
656
+ | RateLimiterRBACUpgradeableHandler | setConfig | 562 | 0 | 0 |
695
657
  |-----------------------------------+---------------------+-------+---------+----------|
696
658
  | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
697
659
  |-----------------------------------+---------------------+-------+---------+----------|
698
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 585 | 0 | 0 |
660
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 579 | 0 | 0 |
699
661
  |-----------------------------------+---------------------+-------+---------+----------|
700
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
662
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 515 | 0 | 0 |
701
663
  |-----------------------------------+---------------------+-------+---------+----------|
702
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
664
+ | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
703
665
  ╰-----------------------------------+---------------------+-------+---------+----------╯
704
666
 
705
667
  Logs:
706
- Bound result 703
707
- Bound result 457455047
708
- Bound result 239387
709
- Bound result 140
710
- Bound result 2519872883731242448268
711
- Bound result 9900000000000000442526
712
- Bound result 27
713
- Bound result 6240
714
- Bound result 9667
715
- Bound result 9900000410049171399429
716
- Bound result 9900000000000006967500
717
- Bound result 5622
718
- Bound result 3100
719
- Bound result 33540518
720
- Bound result 800627396
721
- Bound result 425
722
- Bound result 9900000002765127274623
723
- Bound result 9900000000000199754392
724
- Bound result 10
725
- Bound result 3649
726
- Bound result 9900000000000000918192
727
- Bound result 6914264337593535947489
728
- Bound result 5141
729
- Bound result 10
730
- Bound result 9900000000000000000007
731
- Bound result 7345066543504128490412
732
- Bound result 5498
733
- Bound result 12
668
+ Bound result 9900000000000000000824
669
+ Bound result 9900000000000613063845
670
+ Bound result 417
671
+ Bound result 4893
672
+ Bound result 6699
673
+ Bound result 2348707489717669982469
674
+ Bound result 9900021373682299873086
675
+ Bound result 8958
676
+ Bound result 9999
677
+ Bound result 9900000000041642268223
734
678
  Bound result 100000000000000000000
735
- Bound result 9900000000000000066416
736
- Bound result 13
737
- Bound result 4845
738
- Bound result 6914264337593535947488
739
- Bound result 9198622265605461154065
679
+ Bound result 6241
740
680
  Bound result 10
741
- Bound result 395
742
- Bound result 9900000000000000008460
743
- Bound result 9900000000000000000853
744
- Bound result 3686
745
- Bound result 221
681
+ Bound result 31147600888132
682
+ Bound result 210968819
683
+ Bound result 6002
684
+ Bound result 5
685
+ Bound result 15775181346105165161912
686
+ Bound result 826984041511484
687
+ Bound result 811
688
+ Bound result 9900000000003689055019
689
+ Bound result 9900000000003796991296
690
+ Bound result 566
691
+ Bound result 1004
692
+ Bound result 1587
693
+ Bound result 9900000000000000005690
694
+ Bound result 9900000000000000006853
695
+ Bound result 23
696
+ Bound result 9888
697
+ Bound result 10285
698
+ Bound result 10312
746
699
 
747
700
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
748
701
 
749
702
  ╭-----------------------------------+---------------------+-------+---------+----------╮
750
703
  | Contract | Selector | Calls | Reverts | Discards |
751
704
  +======================================================================================+
752
- | RateLimiterRBACUpgradeableHandler | inflow | 506 | 0 | 0 |
705
+ | RateLimiterRBACUpgradeableHandler | inflow | 603 | 0 | 0 |
753
706
  |-----------------------------------+---------------------+-------+---------+----------|
754
- | RateLimiterRBACUpgradeableHandler | outflow | 591 | 0 | 0 |
707
+ | RateLimiterRBACUpgradeableHandler | outflow | 487 | 0 | 0 |
755
708
  |-----------------------------------+---------------------+-------+---------+----------|
756
- | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
709
+ | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
757
710
  |-----------------------------------+---------------------+-------+---------+----------|
758
- | RateLimiterRBACUpgradeableHandler | setState | 518 | 0 | 0 |
711
+ | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
759
712
  |-----------------------------------+---------------------+-------+---------+----------|
760
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 605 | 0 | 0 |
713
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
761
714
  |-----------------------------------+---------------------+-------+---------+----------|
762
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 525 | 0 | 0 |
715
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 564 | 0 | 0 |
763
716
  |-----------------------------------+---------------------+-------+---------+----------|
764
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
717
+ | RateLimiterRBACUpgradeableHandler | warp | 510 | 0 | 0 |
765
718
  ╰-----------------------------------+---------------------+-------+---------+----------╯
766
719
 
767
720
  Logs:
768
- Bound result 1961229132548949
769
- Bound result 9900000000000000000081
770
- Bound result 9900000000000000000756
771
- Bound result 2034
772
- Bound result 5404
773
- Bound result 9900000000000119774529
774
- Bound result 1232538659258885977784
775
- Bound result 11
776
- Bound result 15
777
- Bound result 4425838632303874730446
778
- Bound result 12
779
- Bound result 106722676
780
- Bound result 0
781
- Bound result 2293517444
782
- Bound result 6720
783
- Bound result 1
784
- Bound result 1199
785
- Bound result 6389
786
- Bound result 625761769
787
- Bound result 0
788
- Bound result 29
789
- Bound result 9900000000000000006349
790
- Bound result 9900000000000000009844
791
- Bound result 258
792
- Bound result 733
721
+ Bound result 1889
722
+ Bound result 9900000000000000000165
723
+ Bound result 100000000000000000002
724
+ Bound result 166
725
+ Bound result 5775
726
+ Bound result 126001497455170971036
727
+ Bound result 37321
728
+ Bound result 9900000000000000003931
729
+ Bound result 5083937887562345968612
730
+ Bound result 8924
731
+ Bound result 6112
732
+ Bound result 1894
733
+ Bound result 1307031099
734
+ Bound result 9900000000000000008144
735
+ Bound result 9900000000001263864545
736
+ Bound result 1122
737
+ Bound result 1576
738
+ Bound result 2991
739
+ Bound result 9900000000000000002103
740
+ Bound result 9900000000000000009704
741
+ Bound result 7402
742
+ Bound result 3642
743
+ Bound result 9924
793
744
 
794
745
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
795
746
 
796
747
  ╭-----------------------------------+---------------------+-------+---------+----------╮
797
748
  | Contract | Selector | Calls | Reverts | Discards |
798
749
  +======================================================================================+
799
- | RateLimiterRBACUpgradeableHandler | inflow | 521 | 0 | 0 |
750
+ | RateLimiterRBACUpgradeableHandler | inflow | 512 | 0 | 0 |
800
751
  |-----------------------------------+---------------------+-------+---------+----------|
801
- | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
752
+ | RateLimiterRBACUpgradeableHandler | outflow | 580 | 0 | 0 |
802
753
  |-----------------------------------+---------------------+-------+---------+----------|
803
- | RateLimiterRBACUpgradeableHandler | setConfig | 516 | 0 | 0 |
754
+ | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
804
755
  |-----------------------------------+---------------------+-------+---------+----------|
805
- | RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
756
+ | RateLimiterRBACUpgradeableHandler | setState | 532 | 0 | 0 |
806
757
  |-----------------------------------+---------------------+-------+---------+----------|
807
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 600 | 0 | 0 |
758
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
808
759
  |-----------------------------------+---------------------+-------+---------+----------|
809
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 546 | 0 | 0 |
760
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 574 | 0 | 0 |
810
761
  |-----------------------------------+---------------------+-------+---------+----------|
811
- | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
762
+ | RateLimiterRBACUpgradeableHandler | warp | 532 | 0 | 0 |
812
763
  ╰-----------------------------------+---------------------+-------+---------+----------╯
813
764
 
814
765
  Logs:
815
- Bound result 3157992578248926462
816
- Bound result 4731
766
+ Bound result 514264337593543950335
767
+ Bound result 434
817
768
  Bound result 3
818
- Bound result 9900000000000000003483
819
- Bound result 9900000000000000000418
820
- Bound result 5632
821
- Bound result 7551
822
- Bound result 15699894110165045297865
823
- Bound result 2179129468859501004481
824
- Bound result 2642311176727772131649
825
- Bound result 288
826
- Bound result 9996
769
+ Bound result 158071627093403
770
+ Bound result 20
771
+ Bound result 1684
772
+ Bound result 514264337593543950334
773
+ Bound result 1477
774
+ Bound result 9677629563385959
775
+ Bound result 71653997732301
776
+ Bound result 497
777
+ Bound result 45093940
778
+ Bound result 198506145256530980
779
+ Bound result 530
827
780
  Bound result 1
828
- Bound result 537
829
- Bound result 7713648161366203881373
830
- Bound result 9900296591568597210262
831
- Bound result 1847
832
- Bound result 1402
833
- Bound result 9900000000000000005594
834
- Bound result 9900000000000000000235
835
- Bound result 532
836
- Bound result 3094
837
-
838
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.04s (6.03s CPU time)
781
+ Bound result 8727
782
+ Bound result 523433401375661689601
783
+
784
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.36s (8.73s CPU time)
785
+
786
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
787
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25208, ~: 12763)
788
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
789
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
790
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
791
+ [PASS] test_isPaused_InitialState() (gas: 15595)
792
+ [PASS] test_pause() (gas: 39592)
793
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28110, ~: 39861)
794
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
795
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
796
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
797
+ [PASS] test_storageHash() (gas: 3414)
798
+ [PASS] test_unpause() (gas: 31115)
799
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40713, ~: 39155)
800
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 42105)
801
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38427)
802
+ [PASS] test_whenNotPaused_Success() (gas: 38930)
803
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48777)
804
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 58208)
805
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15612)
806
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.53s (182.11ms CPU time)
839
807
 
840
808
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
841
809
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -843,441 +811,434 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
843
811
  ╭-----------------------------------+---------------------+-------+---------+----------╮
844
812
  | Contract | Selector | Calls | Reverts | Discards |
845
813
  +======================================================================================+
846
- | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
814
+ | RateLimiterRBACUpgradeableHandler | inflow | 574 | 0 | 0 |
847
815
  |-----------------------------------+---------------------+-------+---------+----------|
848
- | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
816
+ | RateLimiterRBACUpgradeableHandler | outflow | 538 | 0 | 0 |
849
817
  |-----------------------------------+---------------------+-------+---------+----------|
850
- | RateLimiterRBACUpgradeableHandler | setConfig | 525 | 0 | 0 |
818
+ | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
851
819
  |-----------------------------------+---------------------+-------+---------+----------|
852
- | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
820
+ | RateLimiterRBACUpgradeableHandler | setState | 530 | 0 | 0 |
853
821
  |-----------------------------------+---------------------+-------+---------+----------|
854
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
822
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
855
823
  |-----------------------------------+---------------------+-------+---------+----------|
856
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
824
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
857
825
  |-----------------------------------+---------------------+-------+---------+----------|
858
- | RateLimiterRBACUpgradeableHandler | warp | 574 | 0 | 0 |
826
+ | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
859
827
  ╰-----------------------------------+---------------------+-------+---------+----------╯
860
828
 
861
829
  Logs:
862
- Bound result 27
863
- Bound result 9734
864
- Bound result 714
865
- Bound result 11
866
- Bound result 4236
867
- Bound result 6979
868
- Bound result 105
869
- Bound result 102
870
- Bound result 9900003245595099148928
871
- Bound result 9900000000000013133329
872
- Bound result 27
830
+ Bound result 46647
831
+ Bound result 360459320890115868480
832
+ Bound result 9900029671688840852750
833
+ Bound result 5583
834
+ Bound result 18
835
+ Bound result 9900757531943769654143
836
+ Bound result 9900001939643901365667
837
+ Bound result 344
873
838
  Bound result 465
839
+ Bound result 10645
840
+ Bound result 11191600658700526724719
841
+ Bound result 86580543531556
842
+ Bound result 9900757531943769654143
843
+ Bound result 1618733760
844
+ Bound result 4147918859299493663445
845
+ Bound result 1253786026000873936947
846
+ Bound result 0
847
+ Bound result 7986
848
+ Bound result 1763627
849
+ Bound result 18206401802793762
850
+ Bound result 0
851
+ Bound result 1066907510158752227348
852
+ Bound result 6914264337593535947490
853
+ Bound result 12
854
+ Bound result 4398
855
+ Bound result 7057
874
856
 
875
857
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
876
858
 
877
859
  ╭-----------------------------------+---------------------+-------+---------+----------╮
878
860
  | Contract | Selector | Calls | Reverts | Discards |
879
861
  +======================================================================================+
880
- | RateLimiterRBACUpgradeableHandler | inflow | 591 | 0 | 0 |
862
+ | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
881
863
  |-----------------------------------+---------------------+-------+---------+----------|
882
- | RateLimiterRBACUpgradeableHandler | outflow | 556 | 0 | 0 |
864
+ | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
883
865
  |-----------------------------------+---------------------+-------+---------+----------|
884
- | RateLimiterRBACUpgradeableHandler | setConfig | 536 | 0 | 0 |
866
+ | RateLimiterRBACUpgradeableHandler | setConfig | 522 | 0 | 0 |
885
867
  |-----------------------------------+---------------------+-------+---------+----------|
886
- | RateLimiterRBACUpgradeableHandler | setState | 548 | 0 | 0 |
868
+ | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
887
869
  |-----------------------------------+---------------------+-------+---------+----------|
888
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
870
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 539 | 0 | 0 |
889
871
  |-----------------------------------+---------------------+-------+---------+----------|
890
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 526 | 0 | 0 |
872
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560 | 0 | 0 |
891
873
  |-----------------------------------+---------------------+-------+---------+----------|
892
- | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
874
+ | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
893
875
  ╰-----------------------------------+---------------------+-------+---------+----------╯
894
876
 
895
877
  Logs:
896
- Bound result 65280
897
- Bound result 9900000000000120126173
898
- Bound result 9900000000000000001171
899
- Bound result 2960
900
- Bound result 4426
901
- Bound result 270312519555443886110
902
- Bound result 3807
903
- Bound result 100000000000000000001
904
- Bound result 9900000000000763600052
905
- Bound result 7469
906
- Bound result 411
907
- Bound result 121462477567911657780
908
- Bound result 9900000000000000000088
909
- Bound result 10000
910
- Bound result 7248
911
- Bound result 1
912
- Bound result 5094812242021750
913
- Bound result 2103086232
914
- Bound result 185140673550199688892
915
- Bound result 23301205766463
916
- Bound result 0
917
- Bound result 9900000000012734545336
918
- Bound result 100000000000000000003
919
- Bound result 815
920
- Bound result 805
921
- Bound result 56931251788476
922
- Bound result 114264337590770964648
878
+ Bound result 1006
879
+ Bound result 780
880
+ Bound result 2003375881112529310
881
+ Bound result 1819729935479965507365
882
+ Bound result 504
883
+ Bound result 3
923
884
  Bound result 1
924
- Bound result 3695152416
885
+ Bound result 900686989187468938738
925
886
 
926
887
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
927
888
 
928
889
  ╭-----------------------------------+---------------------+-------+---------+----------╮
929
890
  | Contract | Selector | Calls | Reverts | Discards |
930
891
  +======================================================================================+
931
- | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
892
+ | RateLimiterRBACUpgradeableHandler | inflow | 548 | 0 | 0 |
932
893
  |-----------------------------------+---------------------+-------+---------+----------|
933
- | RateLimiterRBACUpgradeableHandler | outflow | 566 | 0 | 0 |
894
+ | RateLimiterRBACUpgradeableHandler | outflow | 593 | 0 | 0 |
934
895
  |-----------------------------------+---------------------+-------+---------+----------|
935
- | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
896
+ | RateLimiterRBACUpgradeableHandler | setConfig | 536 | 0 | 0 |
936
897
  |-----------------------------------+---------------------+-------+---------+----------|
937
- | RateLimiterRBACUpgradeableHandler | setState | 565 | 0 | 0 |
898
+ | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
938
899
  |-----------------------------------+---------------------+-------+---------+----------|
939
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
900
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
940
901
  |-----------------------------------+---------------------+-------+---------+----------|
941
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
902
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 562 | 0 | 0 |
942
903
  |-----------------------------------+---------------------+-------+---------+----------|
943
- | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
904
+ | RateLimiterRBACUpgradeableHandler | warp | 497 | 0 | 0 |
944
905
  ╰-----------------------------------+---------------------+-------+---------+----------╯
945
906
 
946
907
  Logs:
947
- Bound result 17285014442880500
948
- Bound result 3964
949
- Bound result 1958
950
- Bound result 9388
951
- Bound result 5881
952
- Bound result 418
953
- Bound result 9900000000000000001577
954
- Bound result 9900000000000000003663
955
- Bound result 4175
956
- Bound result 5679
957
- Bound result 100000000000000000002
958
- Bound result 9900000000000000011643
959
- Bound result 13
960
- Bound result 7295
961
- Bound result 12578
962
- Bound result 4256
963
- Bound result 1376
964
- Bound result 9900000020740148075182
965
- Bound result 9900000000000000002125
966
- Bound result 6400
967
- Bound result 848
908
+ Bound result 9900000000000000002908
909
+ Bound result 9900000000000000010948
910
+ Bound result 8795
911
+ Bound result 8801
912
+ Bound result 9900000000000000000223
913
+ Bound result 9900000000000000001586
914
+ Bound result 6051
915
+ Bound result 7151
916
+ Bound result 7063
917
+ Bound result 635
918
+ Bound result 1
919
+ Bound result 126513849
920
+ Bound result 10
921
+ Bound result 7796
922
+ Bound result 5856
923
+ Bound result 1982
924
+ Bound result 4513327282563986734
925
+ Bound result 10645
926
+ Bound result 10469
927
+ Bound result 140
928
+ Bound result 266
929
+ Bound result 6361
930
+ Bound result 15871563965
968
931
 
969
932
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
970
933
 
971
934
  ╭-----------------------------------+---------------------+-------+---------+----------╮
972
935
  | Contract | Selector | Calls | Reverts | Discards |
973
936
  +======================================================================================+
974
- | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
937
+ | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
975
938
  |-----------------------------------+---------------------+-------+---------+----------|
976
- | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
939
+ | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
977
940
  |-----------------------------------+---------------------+-------+---------+----------|
978
- | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
941
+ | RateLimiterRBACUpgradeableHandler | setConfig | 573 | 0 | 0 |
979
942
  |-----------------------------------+---------------------+-------+---------+----------|
980
- | RateLimiterRBACUpgradeableHandler | setState | 530 | 0 | 0 |
943
+ | RateLimiterRBACUpgradeableHandler | setState | 583 | 0 | 0 |
981
944
  |-----------------------------------+---------------------+-------+---------+----------|
982
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
945
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 521 | 0 | 0 |
983
946
  |-----------------------------------+---------------------+-------+---------+----------|
984
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
947
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 518 | 0 | 0 |
985
948
  |-----------------------------------+---------------------+-------+---------+----------|
986
- | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
949
+ | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
987
950
  ╰-----------------------------------+---------------------+-------+---------+----------╯
988
951
 
989
952
  Logs:
990
- Bound result 9900000000000000000926
991
- Bound result 9953286136514201383853
992
- Bound result 19
993
- Bound result 11
994
- Bound result 5806
995
- Bound result 9900004343286786227703
996
- Bound result 9900000000000000000235
997
- Bound result 11
998
- Bound result 9662
999
- Bound result 3614
1000
- Bound result 6494
1001
- Bound result 7940
1002
- Bound result 9900000000000000006805
1003
- Bound result 9900000000000000004113
1004
- Bound result 908
1005
- Bound result 9471
953
+ Bound result 9900001121344581979789
954
+ Bound result 9900000000020123444211
955
+ Bound result 62
956
+ Bound result 13
957
+ Bound result 2130906141702938992
958
+ Bound result 3
959
+ Bound result 1304
960
+ Bound result 18846437335942910876264
961
+ Bound result 8307
962
+ Bound result 731
963
+ Bound result 0
964
+ Bound result 9900000051573452485596
965
+ Bound result 9900411334092934843586
966
+ Bound result 3656
967
+ Bound result 8524
968
+ Bound result 725
969
+ Bound result 8077207562
970
+ Bound result 10178
971
+ Bound result 9103576753121436200016
972
+ Bound result 9905709892656256682139
973
+ Bound result 1313
974
+ Bound result 3891
975
+ Bound result 273724534291008394700
1006
976
 
1007
977
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1008
978
 
1009
979
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1010
980
  | Contract | Selector | Calls | Reverts | Discards |
1011
981
  +======================================================================================+
1012
- | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
982
+ | RateLimiterRBACUpgradeableHandler | inflow | 570 | 0 | 0 |
1013
983
  |-----------------------------------+---------------------+-------+---------+----------|
1014
- | RateLimiterRBACUpgradeableHandler | outflow | 536 | 0 | 0 |
984
+ | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
1015
985
  |-----------------------------------+---------------------+-------+---------+----------|
1016
- | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
986
+ | RateLimiterRBACUpgradeableHandler | setConfig | 526 | 0 | 0 |
1017
987
  |-----------------------------------+---------------------+-------+---------+----------|
1018
- | RateLimiterRBACUpgradeableHandler | setState | 552 | 0 | 0 |
988
+ | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
1019
989
  |-----------------------------------+---------------------+-------+---------+----------|
1020
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 570 | 0 | 0 |
990
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
1021
991
  |-----------------------------------+---------------------+-------+---------+----------|
1022
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
992
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 496 | 0 | 0 |
1023
993
  |-----------------------------------+---------------------+-------+---------+----------|
1024
- | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
994
+ | RateLimiterRBACUpgradeableHandler | warp | 591 | 0 | 0 |
1025
995
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1026
996
 
1027
997
  Logs:
1028
- Bound result 8031
1029
- Bound result 177453533256140836264
1030
- Bound result 2
1031
- Bound result 1
1032
- Bound result 9900000000000000000133
1033
- Bound result 9900000000000000010911
1034
- Bound result 6115
1035
- Bound result 881
1036
- Bound result 289
1037
- Bound result 15992557683573110829912
1038
- Bound result 1789660162463978503
1039
- Bound result 357094980
1040
- Bound result 1478
1041
- Bound result 0
1042
- Bound result 951749114430530716242
1043
- Bound result 525434489160389738734
1044
- Bound result 13
1045
- Bound result 11
998
+ Bound result 1451642670479447367823
999
+ Bound result 160
1000
+ Bound result 1676
1001
+ Bound result 183813924518321735816
1002
+ Bound result 9900000000000000006891
1003
+ Bound result 55
1004
+ Bound result 9996
1005
+ Bound result 642
1006
+ Bound result 346306110787391611985
1007
+ Bound result 2012965625220
1008
+ Bound result 6493756330965100506
1009
+ Bound result 518914804
1046
1010
  Bound result 1
1047
- Bound result 6
1011
+ Bound result 5
1048
1012
 
1049
1013
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1050
1014
 
1051
1015
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1052
1016
  | Contract | Selector | Calls | Reverts | Discards |
1053
1017
  +======================================================================================+
1054
- | RateLimiterRBACUpgradeableHandler | inflow | 559 | 0 | 0 |
1018
+ | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
1055
1019
  |-----------------------------------+---------------------+-------+---------+----------|
1056
- | RateLimiterRBACUpgradeableHandler | outflow | 488 | 0 | 0 |
1020
+ | RateLimiterRBACUpgradeableHandler | outflow | 566 | 0 | 0 |
1057
1021
  |-----------------------------------+---------------------+-------+---------+----------|
1058
- | RateLimiterRBACUpgradeableHandler | setConfig | 555 | 0 | 0 |
1022
+ | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
1059
1023
  |-----------------------------------+---------------------+-------+---------+----------|
1060
- | RateLimiterRBACUpgradeableHandler | setState | 580 | 0 | 0 |
1024
+ | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
1061
1025
  |-----------------------------------+---------------------+-------+---------+----------|
1062
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
1026
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 562 | 0 | 0 |
1063
1027
  |-----------------------------------+---------------------+-------+---------+----------|
1064
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
1028
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
1065
1029
  |-----------------------------------+---------------------+-------+---------+----------|
1066
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
1030
+ | RateLimiterRBACUpgradeableHandler | warp | 518 | 0 | 0 |
1067
1031
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1068
1032
 
1069
1033
  Logs:
1070
- Bound result 514264337593504336252
1071
- Bound result 481052639417998575726
1034
+ Bound result 1097
1035
+ Bound result 10358
1036
+ Bound result 3644407703
1037
+ Bound result 75
1038
+ Bound result 24126
1039
+ Bound result 31960593
1040
+ Bound result 9900000000000000000022
1041
+ Bound result 7234607919185110061679
1042
+ Bound result 6702
1043
+ Bound result 1687
1044
+ Bound result 11969483808328121145598
1045
+ Bound result 6914264337593363886342
1046
+ Bound result 43468756631303973
1047
+ Bound result 363
1048
+ Bound result 79
1049
+ Bound result 12491728045948010454678
1050
+ Bound result 526
1051
+ Bound result 8653
1052
+ Bound result 9900000000003711257500
1053
+ Bound result 9900000003699969945273
1054
+ Bound result 2501
1055
+ Bound result 2374
1072
1056
  Bound result 1
1073
- Bound result 514264337593504336251
1074
- Bound result 373117577947864591893
1075
- Bound result 1
1076
- Bound result 1497
1077
- Bound result 2080
1078
- Bound result 0
1079
- Bound result 8194
1080
- Bound result 8244
1081
- Bound result 0
1082
- Bound result 411
1083
- Bound result 5223
1084
- Bound result 2957397981
1085
- Bound result 0
1086
- Bound result 17
1087
- Bound result 9900000000000000001326
1088
- Bound result 9900000000000000008302
1089
- Bound result 3027
1090
- Bound result 1545
1091
- Bound result 2664
1092
- Bound result 13851300968658145989971
1093
- Bound result 9900000000000000000561
1094
- Bound result 9900000000000008287629
1095
- Bound result 12
1096
- Bound result 6048
1097
1057
 
1098
1058
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1099
1059
 
1100
1060
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1101
1061
  | Contract | Selector | Calls | Reverts | Discards |
1102
1062
  +======================================================================================+
1103
- | RateLimiterRBACUpgradeableHandler | inflow | 528 | 0 | 0 |
1063
+ | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
1104
1064
  |-----------------------------------+---------------------+-------+---------+----------|
1105
- | RateLimiterRBACUpgradeableHandler | outflow | 551 | 0 | 0 |
1065
+ | RateLimiterRBACUpgradeableHandler | outflow | 524 | 0 | 0 |
1106
1066
  |-----------------------------------+---------------------+-------+---------+----------|
1107
- | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
1067
+ | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
1108
1068
  |-----------------------------------+---------------------+-------+---------+----------|
1109
- | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
1069
+ | RateLimiterRBACUpgradeableHandler | setState | 588 | 0 | 0 |
1110
1070
  |-----------------------------------+---------------------+-------+---------+----------|
1111
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 572 | 0 | 0 |
1071
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 528 | 0 | 0 |
1112
1072
  |-----------------------------------+---------------------+-------+---------+----------|
1113
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 573 | 0 | 0 |
1073
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 571 | 0 | 0 |
1114
1074
  |-----------------------------------+---------------------+-------+---------+----------|
1115
- | RateLimiterRBACUpgradeableHandler | warp | 529 | 0 | 0 |
1075
+ | RateLimiterRBACUpgradeableHandler | warp | 522 | 0 | 0 |
1116
1076
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1117
1077
 
1118
1078
  Logs:
1119
- Bound result 254967
1120
- Bound result 6608878579253505647
1121
- Bound result 0
1122
- Bound result 1884
1123
- Bound result 7910
1124
- Bound result 4201
1125
- Bound result 8943
1126
- Bound result 555
1127
- Bound result 408
1128
- Bound result 784
1129
- Bound result 851
1130
- Bound result 46456375252667235
1131
- Bound result 508
1132
- Bound result 9900000000000000008591
1133
- Bound result 9900000000000350726091
1134
- Bound result 1201
1135
- Bound result 916
1136
- Bound result 336
1137
- Bound result 9827
1138
- Bound result 626
1139
- Bound result 528
1140
- Bound result 8418
1141
- Bound result 18873567282814835862184
1142
- Bound result 1077
1143
- Bound result 9900000016980404243728
1144
- Bound result 100000000000000000001
1145
- Bound result 12
1146
- Bound result 6689
1079
+ Bound result 8361798740
1080
+ Bound result 1339178633527364017425
1081
+ Bound result 1
1082
+ Bound result 3737
1083
+ Bound result 9911668819574802234833
1084
+ Bound result 9900000000000022892731
1085
+ Bound result 6771
1086
+ Bound result 7169
1087
+ Bound result 4512
1088
+ Bound result 15695808985538265366831
1089
+ Bound result 2498146231229311554693
1090
+ Bound result 394325683086357774966
1091
+ Bound result 4283
1092
+ Bound result 9900000000000000003194
1093
+ Bound result 9900000000003856056066
1094
+ Bound result 6242
1095
+ Bound result 6093
1096
+ Bound result 8484
1097
+ Bound result 1
1098
+ Bound result 4892
1147
1099
 
1148
1100
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1149
1101
 
1150
1102
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1151
1103
  | Contract | Selector | Calls | Reverts | Discards |
1152
1104
  +======================================================================================+
1153
- | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
1105
+ | RateLimiterRBACUpgradeableHandler | inflow | 510 | 0 | 0 |
1154
1106
  |-----------------------------------+---------------------+-------+---------+----------|
1155
- | RateLimiterRBACUpgradeableHandler | outflow | 577 | 0 | 0 |
1107
+ | RateLimiterRBACUpgradeableHandler | outflow | 598 | 0 | 0 |
1156
1108
  |-----------------------------------+---------------------+-------+---------+----------|
1157
- | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
1109
+ | RateLimiterRBACUpgradeableHandler | setConfig | 577 | 0 | 0 |
1158
1110
  |-----------------------------------+---------------------+-------+---------+----------|
1159
- | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
1111
+ | RateLimiterRBACUpgradeableHandler | setState | 505 | 0 | 0 |
1160
1112
  |-----------------------------------+---------------------+-------+---------+----------|
1161
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 548 | 0 | 0 |
1113
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 567 | 0 | 0 |
1162
1114
  |-----------------------------------+---------------------+-------+---------+----------|
1163
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
1115
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570 | 0 | 0 |
1164
1116
  |-----------------------------------+---------------------+-------+---------+----------|
1165
- | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
1117
+ | RateLimiterRBACUpgradeableHandler | warp | 513 | 0 | 0 |
1166
1118
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1167
1119
 
1168
1120
  Logs:
1169
- Bound result 1389
1170
- Bound result 9270579923892996857576
1171
- Bound result 9900000000000000011079
1172
- Bound result 7521
1173
- Bound result 7600
1174
- Bound result 5093313890
1175
- Bound result 13149595474
1176
- Bound result 371610
1177
- Bound result 984
1178
- Bound result 8809417495435341343876
1179
- Bound result 9806
1180
- Bound result 100000000000000000000
1181
- Bound result 6914264337593535947488
1182
- Bound result 3776
1183
- Bound result 1876
1184
- Bound result 1936
1185
- Bound result 43960581054121
1186
- Bound result 13633769491721782954832
1187
- Bound result 135
1188
- Bound result 1967
1189
- Bound result 5213
1190
- Bound result 1394
1191
- Bound result 7394
1192
-
1193
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.15s (6.56s CPU time)
1121
+ Bound result 33960
1122
+ Bound result 1
1123
+ Bound result 0
1124
+ Bound result 9900000025754975164923
1125
+ Bound result 5356323746120361473672
1126
+ Bound result 1028
1127
+ Bound result 4496
1128
+ Bound result 9900294965006506533355
1129
+ Bound result 9900000003247617241918
1130
+ Bound result 6241
1131
+ Bound result 9996
1132
+ Bound result 82
1133
+ Bound result 9900000000000000007261
1134
+ Bound result 9900000000000000006162
1135
+ Bound result 4896
1136
+ Bound result 2138
1137
+ Bound result 3740
1138
+ Bound result 3222002978
1139
+ Bound result 7040
1140
+ Bound result 517471313600096
1141
+ Bound result 9660
1142
+
1143
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.53s (9.63s CPU time)
1194
1144
 
1195
- Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1196
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
1197
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
1198
- [PASS] test_assertNotPaused_Success() (gas: 14891)
1199
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
1200
- [PASS] test_defaultPaused_InitialState() (gas: 15572)
1201
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
1202
- [PASS] test_isPaused_Default() (gas: 47316)
1203
- [PASS] test_isPaused_InitialState() (gas: 22172)
1204
- [PASS] test_isPaused_MultipleIDs() (gas: 80142)
1205
- [PASS] test_isPaused_Override() (gas: 75171)
1206
- [PASS] test_isPaused_Specific() (gas: 50105)
1207
- [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
1208
- [PASS] test_pauseConfig() (gas: 51028)
1209
- [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
1210
- [PASS] test_setDefaultPaused() (gas: 42196)
1211
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30659, ~: 42446)
1212
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
1213
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
1214
- [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
1215
- [PASS] test_setDefaultPaused_Success() (gas: 40744)
1216
- [PASS] test_setPaused() (gas: 48361)
1217
- [PASS] test_setPaused_DormantData() (gas: 295234)
1218
- [PASS] test_setPaused_EmptyArray() (gas: 15702)
1219
- [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
1220
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 44087, ~: 48696)
1221
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223100, ~: 216804)
1222
- [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
1223
- [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
1224
- [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
1225
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
1226
- [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
1227
- [PASS] test_setPaused_Success() (gas: 45897)
1228
- [PASS] test_setPaused_Success_Batch() (gas: 345312)
1229
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
1230
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
1231
- [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
1232
- [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
1233
- [PASS] test_setPaused_Success_Toggle() (gas: 58022)
1234
- [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
1235
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62591, ~: 73465)
1236
- [PASS] test_storageHash() (gas: 3392)
1237
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
1238
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
1239
- [PASS] test_whenNotPaused_Success() (gas: 41299)
1240
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
1241
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
1242
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
1243
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.15s (657.70ms CPU time)
1145
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1146
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1147
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1148
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47518, ~: 48966)
1149
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1150
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1151
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1152
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1153
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1154
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1155
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1156
+ [PASS] test_getFee_Default() (gas: 43108)
1157
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45719, ~: 47017)
1158
+ [PASS] test_getFee_Rounding() (gas: 45449)
1159
+ [PASS] test_getFee_Specific() (gas: 66985)
1160
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1161
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
1162
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34963, ~: 42268)
1163
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1164
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 22361)
1165
+ [PASS] test_setFeeBps() (gas: 77237)
1166
+ Logs:
1167
+ Bound result 500
1244
1168
 
1245
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1246
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1247
- [PASS] test_constructor_InitialMode() (gas: 15578)
1248
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1249
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1250
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1251
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1252
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1253
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1254
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1255
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1256
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1257
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1258
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1259
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1260
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1261
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1262
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1263
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1264
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1265
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1266
- [PASS] test_setMode_Blacklist() (gas: 40021)
1267
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
1268
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
1269
- [PASS] test_setMode_Whitelist() (gas: 40108)
1270
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1271
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1272
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1273
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1274
- [PASS] test_storageHash() (gas: 3458)
1275
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 5.71s (406.94ms CPU time)
1169
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68242, ~: 77570)
1170
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1171
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 22460)
1172
+ [PASS] test_storageHash() (gas: 3436)
1173
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 10.51s (386.78ms CPU time)
1174
+
1175
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1176
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1177
+ [PASS] test_constructor_InitialMode() (gas: 15778)
1178
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1179
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1180
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1181
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1182
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1183
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1184
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1185
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
1186
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1187
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1188
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1189
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1190
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1191
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1192
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20352)
1193
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1194
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1195
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1196
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1197
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23219)
1198
+ [PASS] test_setMode_Blacklist() (gas: 42605)
1199
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
1200
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
1201
+ [PASS] test_setMode_Whitelist() (gas: 42714)
1202
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1203
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1204
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1205
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1206
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23066)
1207
+ [PASS] test_storageHash() (gas: 3480)
1208
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 10.51s (511.18ms CPU time)
1209
+
1210
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1211
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1212
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1213
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44977, ~: 46317)
1214
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1215
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1216
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1217
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1218
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1219
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1220
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1221
+ [PASS] test_getFee_Default() (gas: 40577)
1222
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43174, ~: 44486)
1223
+ [PASS] test_getFee_Rounding() (gas: 42835)
1224
+ [PASS] test_getFee_Specific() (gas: 63968)
1225
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1226
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
1227
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32512, ~: 39667)
1228
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1229
+ [PASS] test_setFeeBps() (gas: 73871)
1230
+ Logs:
1231
+ Bound result 500
1232
+
1233
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65712, ~: 74224)
1234
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1235
+ [PASS] test_storageHash() (gas: 3426)
1236
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 10.51s (405.06ms CPU time)
1276
1237
 
1277
1238
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1278
1239
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1279
1240
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1280
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 819253, ~: 270308)
1241
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 776769, ~: 257260)
1281
1242
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1282
1243
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1283
1244
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1290,12 +1251,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1290
1251
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1291
1252
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1292
1253
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1293
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11145806, ~: 10355998)
1254
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11157798, ~: 10385085)
1294
1255
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1295
1256
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1296
1257
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1297
1258
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1298
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 733362, ~: 171458)
1259
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 722726, ~: 106989)
1299
1260
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1300
1261
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1301
1262
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1308,10 +1269,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1308
1269
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1309
1270
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1310
1271
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1311
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11184806, ~: 10478726)
1272
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11178638, ~: 10460962)
1312
1273
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1313
1274
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1314
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 5.73s (14.76s CPU time)
1275
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 10.51s (24.97s CPU time)
1315
1276
 
1316
- Ran 17 test suites in 5.75s (20.11s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1317
- ⏳ forge test: 16.064s
1277
+ Ran 17 test suites in 10.54s (50.98s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1278
+ ⏳ forge test: 23.561s