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

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (2) hide show
  1. package/.turbo/turbo-test.log +761 -770
  2. package/package.json +4 -4
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-RFkkNy
7
+ 📦 Using scoped workspace: /tmp/lz-scoped-workspace-1ezqv4
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No scoped-workspace pruner configured; using unpruned package-level source copy fallback.
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.
10
+ (node:219110) [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-RFkkNy:/workspace
15
+ -v /tmp/lz-scoped-workspace-1ezqv4:/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-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
21
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-1ezqv4:/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 11.24s
23
+ Solc 0.8.22 finished in 14.63s
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,183 +143,74 @@ 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 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
147
- [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
148
- [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
149
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 95004)
150
- [PASS] test_checkpointRateLimits_Revert_Unauthorized() (gas: 19814)
151
- [PASS] test_checkpointRateLimits_Single() (gas: 88573)
152
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389525)
153
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38027)
154
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389277)
155
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25041)
156
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 48664)
157
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23941)
158
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23974)
159
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 89409)
160
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2859090)
161
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2822558)
162
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2819822)
163
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51719)
164
- [PASS] test_inflow_GloballyDisabled() (gas: 54520)
165
- [PASS] test_inflow_WithScaleDecimals() (gas: 2816359)
166
- [PASS] test_initial_state_closed() (gas: 2770122)
167
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51721)
168
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30638)
169
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32726)
170
- [PASS] test_outflow_GloballyDisabled() (gas: 54496)
171
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 78872)
172
- [PASS] test_outflow_WithScaleDecimals() (gas: 2816351)
173
- [PASS] test_setRateLimitAddressExemptions() (gas: 62304)
174
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 24241)
175
- [PASS] test_setRateLimitAddressExemptions_Revert_Unauthorized() (gas: 19928)
176
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 97507)
177
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 110012)
178
- [PASS] test_setRateLimitConfigs_Revert_Unauthorized() (gas: 21277)
179
- [PASS] test_setRateLimitConfigs_Single() (gas: 79162)
180
- [PASS] test_setRateLimitGlobalConfig() (gas: 52231)
181
- [PASS] test_setRateLimitGlobalConfig_Revert_Unauthorized() (gas: 19455)
182
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 18907)
183
- [PASS] test_setRateLimitStates_Revert_Unauthorized() (gas: 20546)
184
- [PASS] test_setRateLimitStates_Single() (gas: 52512)
185
- [PASS] test_storageHash() (gas: 3392)
186
- [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
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
-
227
146
  Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
228
147
  [PASS] test_feeDeposit() (gas: 17598)
229
148
  [PASS] test_setFeeDeposit() (gas: 24907)
230
149
  [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
231
150
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
232
151
  [PASS] test_storageHash() (gas: 3337)
233
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 50.78ms (50.20ms CPU time)
234
-
235
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
236
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26626, ~: 12786)
237
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
238
- [PASS] test_assertNotPaused_Success() (gas: 12539)
239
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15969)
240
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 51358)
241
- [PASS] test_isPaused_InitialState() (gas: 15629)
242
- [PASS] test_modifierEnforcement_WithRoles() (gas: 219691)
243
- [PASS] test_multipleRoleGrants() (gas: 395725)
244
- [PASS] test_pause() (gas: 42109)
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)
248
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
249
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
250
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20199)
251
- [PASS] test_setPaused_Success() (gas: 42640)
252
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 59456)
253
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
254
- [PASS] test_storageHash() (gas: 3414)
255
- [PASS] test_unpause() (gas: 35177)
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)
152
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 217.99ms (217.49ms CPU time)
264
153
 
265
154
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
266
155
  [PASS] test_feeDeposit() (gas: 17660)
267
156
  [PASS] test_setFeeDeposit() (gas: 27618)
268
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
157
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24052, ~: 24055)
269
158
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 24359)
270
159
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
271
160
  [PASS] test_storageHash() (gas: 3315)
272
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 137.92ms (137.21ms CPU time)
161
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 231.89ms (231.30ms CPU time)
273
162
 
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)
163
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
164
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25802, ~: 38584)
165
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
166
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
167
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
168
+ [PASS] test_isPaused_InitialState() (gas: 15595)
169
+ [PASS] test_pause() (gas: 39592)
170
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28063, ~: 39861)
171
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
172
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
173
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
174
+ [PASS] test_storageHash() (gas: 3414)
175
+ [PASS] test_unpause() (gas: 31115)
176
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40735, ~: 42291)
177
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 42105)
178
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38427)
179
+ [PASS] test_whenNotPaused_Success() (gas: 38930)
180
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48777)
181
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 58208)
182
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15612)
183
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 339.06ms (523.24ms CPU time)
184
+
185
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
186
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
187
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
188
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47634, ~: 48966)
189
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
190
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
191
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
192
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
193
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
194
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
195
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
196
+ [PASS] test_getFee_Default() (gas: 43108)
197
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45500, ~: 47017)
198
+ [PASS] test_getFee_Rounding() (gas: 45449)
199
+ [PASS] test_getFee_Specific() (gas: 66985)
200
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
201
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
202
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34991, ~: 42268)
203
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
204
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 22361)
205
+ [PASS] test_setFeeBps() (gas: 77237)
206
+ Logs:
207
+ Bound result 500
208
+
209
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69483, ~: 77570)
210
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
211
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 22460)
212
+ [PASS] test_storageHash() (gas: 3436)
213
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 584.39ms (790.31ms CPU time)
323
214
 
324
215
  Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
325
216
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
@@ -336,16 +227,16 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
336
227
  [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
337
228
  [PASS] test_pauseConfig() (gas: 45626)
338
229
  [PASS] test_setDefaultPaused() (gas: 39667)
339
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28313, ~: 39918)
230
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27653, ~: 16332)
340
231
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
341
232
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
342
233
  [PASS] test_setPaused() (gas: 43060)
343
234
  [PASS] test_setPaused_EmptyArray() (gas: 10900)
344
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38179, ~: 43373)
235
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38398, ~: 43373)
345
236
  [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
346
237
  [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
347
238
  [PASS] test_setPaused_Success_Toggle() (gas: 51442)
348
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58162, ~: 46989)
239
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58049, ~: 46989)
349
240
  [PASS] test_storageHash() (gas: 3480)
350
241
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
351
242
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
@@ -353,20 +244,80 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
353
244
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
354
245
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
355
246
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
356
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 372.09ms (311.98ms CPU time)
247
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 591.95ms (752.65ms CPU time)
357
248
 
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)
249
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
250
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
251
+ [PASS] test_constructor_InitialMode() (gas: 15778)
252
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
253
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
254
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
255
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
256
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
257
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
258
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
259
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
260
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
261
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
262
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
263
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
264
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
265
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
266
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20352)
267
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
268
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
269
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
270
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
271
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23219)
272
+ [PASS] test_setMode_Blacklist() (gas: 42605)
273
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
274
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
275
+ [PASS] test_setMode_Whitelist() (gas: 42714)
276
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
277
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
278
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
279
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
280
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23066)
281
+ [PASS] test_storageHash() (gas: 3480)
282
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.57s (740.42ms CPU time)
283
+
284
+ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
285
+ [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
286
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
287
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
288
+ [PASS] test_checkpointRateLimits_Single() (gas: 85741)
289
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
290
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
291
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
292
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
293
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
294
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
295
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
296
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
297
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
298
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
299
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
300
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
301
+ [PASS] test_inflow_GloballyDisabled() (gas: 52015)
302
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
303
+ [PASS] test_initial_state_closed() (gas: 2034659)
304
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
305
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
306
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
307
+ [PASS] test_outflow_GloballyDisabled() (gas: 52036)
308
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
309
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
310
+ [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
311
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
312
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
313
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
314
+ [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
315
+ [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
316
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
317
+ [PASS] test_setRateLimitStates_Single() (gas: 49974)
318
+ [PASS] test_storageHash() (gas: 3414)
319
+ [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
320
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 2.02s (25.70ms CPU time)
370
321
 
371
322
  Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
372
323
  [PASS] test_SwitchModes_PreservesState() (gas: 186406)
@@ -398,43 +349,78 @@ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTes
398
349
  [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
399
350
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
400
351
  [PASS] test_storageHash() (gas: 3458)
401
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 1.16s (474.64ms CPU time)
352
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 2.02s (1.25s CPU time)
402
353
 
403
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
404
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
405
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104265, ~: 104248)
406
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
407
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
408
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
409
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
410
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
411
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
412
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
413
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
414
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
415
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50279)
416
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
417
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
418
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
419
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
420
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
421
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
422
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
423
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
424
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
425
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
426
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
427
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
428
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
429
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
430
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
431
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
432
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
433
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
434
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
435
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
436
- [PASS] test_storageHash() (gas: 3380)
437
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 1.36s (430.89ms CPU time)
354
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
355
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
356
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
357
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44670, ~: 46317)
358
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
359
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
360
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
361
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
362
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
363
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
364
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
365
+ [PASS] test_getFee_Default() (gas: 40577)
366
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43022, ~: 44486)
367
+ [PASS] test_getFee_Rounding() (gas: 42835)
368
+ [PASS] test_getFee_Specific() (gas: 63968)
369
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
370
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
371
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32364, ~: 39667)
372
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
373
+ [PASS] test_setFeeBps() (gas: 73871)
374
+ Logs:
375
+ Bound result 500
376
+
377
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65240, ~: 74224)
378
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
379
+ [PASS] test_storageHash() (gas: 3426)
380
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 2.02s (1.05s CPU time)
381
+
382
+ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
383
+ [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
384
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
385
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 95004)
386
+ [PASS] test_checkpointRateLimits_Revert_Unauthorized() (gas: 19814)
387
+ [PASS] test_checkpointRateLimits_Single() (gas: 88573)
388
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1389525)
389
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38027)
390
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389277)
391
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25041)
392
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 48664)
393
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23941)
394
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23974)
395
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 89409)
396
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2859090)
397
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2822558)
398
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2819822)
399
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51719)
400
+ [PASS] test_inflow_GloballyDisabled() (gas: 54520)
401
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2816359)
402
+ [PASS] test_initial_state_closed() (gas: 2770122)
403
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51721)
404
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30638)
405
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32726)
406
+ [PASS] test_outflow_GloballyDisabled() (gas: 54496)
407
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 78872)
408
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2816351)
409
+ [PASS] test_setRateLimitAddressExemptions() (gas: 62304)
410
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 24241)
411
+ [PASS] test_setRateLimitAddressExemptions_Revert_Unauthorized() (gas: 19928)
412
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 97507)
413
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 110012)
414
+ [PASS] test_setRateLimitConfigs_Revert_Unauthorized() (gas: 21277)
415
+ [PASS] test_setRateLimitConfigs_Single() (gas: 79162)
416
+ [PASS] test_setRateLimitGlobalConfig() (gas: 52231)
417
+ [PASS] test_setRateLimitGlobalConfig_Revert_Unauthorized() (gas: 19455)
418
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 18907)
419
+ [PASS] test_setRateLimitStates_Revert_Unauthorized() (gas: 20546)
420
+ [PASS] test_setRateLimitStates_Single() (gas: 52512)
421
+ [PASS] test_storageHash() (gas: 3392)
422
+ [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
423
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 2.09s (23.35ms CPU time)
438
424
 
439
425
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
440
426
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -442,368 +428,465 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
442
428
  ╭-----------------------------------+---------------------+-------+---------+----------╮
443
429
  | Contract | Selector | Calls | Reverts | Discards |
444
430
  +======================================================================================+
445
- | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
431
+ | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
446
432
  |-----------------------------------+---------------------+-------+---------+----------|
447
- | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
433
+ | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
448
434
  |-----------------------------------+---------------------+-------+---------+----------|
449
- | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
435
+ | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
450
436
  |-----------------------------------+---------------------+-------+---------+----------|
451
- | RateLimiterRBACUpgradeableHandler | setState | 568 | 0 | 0 |
437
+ | RateLimiterRBACUpgradeableHandler | setState | 608 | 0 | 0 |
452
438
  |-----------------------------------+---------------------+-------+---------+----------|
453
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 574 | 0 | 0 |
439
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
454
440
  |-----------------------------------+---------------------+-------+---------+----------|
455
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 528 | 0 | 0 |
441
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
456
442
  |-----------------------------------+---------------------+-------+---------+----------|
457
- | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
443
+ | RateLimiterRBACUpgradeableHandler | warp | 533 | 0 | 0 |
458
444
  ╰-----------------------------------+---------------------+-------+---------+----------╯
459
445
 
460
446
  Logs:
461
- Bound result 7938
462
- Bound result 743562185218377077
463
- Bound result 663714114
464
- Bound result 519
447
+ Bound result 9900000000006160794795
448
+ Bound result 9400147100179763871227
449
+ Bound result 8290
450
+ Bound result 10
465
451
  Bound result 1
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
452
+ Bound result 3
453
+ Bound result 6885577051127393224359
454
+ Bound result 7837
475
455
 
476
456
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
477
457
 
478
458
  ╭-----------------------------------+---------------------+-------+---------+----------╮
479
459
  | Contract | Selector | Calls | Reverts | Discards |
480
460
  +======================================================================================+
481
- | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
461
+ | RateLimiterRBACUpgradeableHandler | inflow | 514 | 0 | 0 |
482
462
  |-----------------------------------+---------------------+-------+---------+----------|
483
- | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
463
+ | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
484
464
  |-----------------------------------+---------------------+-------+---------+----------|
485
- | RateLimiterRBACUpgradeableHandler | setConfig | 570 | 0 | 0 |
465
+ | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
486
466
  |-----------------------------------+---------------------+-------+---------+----------|
487
- | RateLimiterRBACUpgradeableHandler | setState | 566 | 0 | 0 |
467
+ | RateLimiterRBACUpgradeableHandler | setState | 522 | 0 | 0 |
488
468
  |-----------------------------------+---------------------+-------+---------+----------|
489
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
469
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
490
470
  |-----------------------------------+---------------------+-------+---------+----------|
491
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
471
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 574 | 0 | 0 |
492
472
  |-----------------------------------+---------------------+-------+---------+----------|
493
- | RateLimiterRBACUpgradeableHandler | warp | 501 | 0 | 0 |
473
+ | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
494
474
  ╰-----------------------------------+---------------------+-------+---------+----------╯
495
475
 
496
476
  Logs:
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
520
- Bound result 4
521
- Bound result 261429761832
522
- Bound result 74
523
- Bound result 357482027
477
+ Bound result 23775923817526
478
+ Bound result 1720938221280156256617
479
+ Bound result 1
480
+ Bound result 5
481
+ Bound result 1540668789998726
482
+ Bound result 1647
483
+ Bound result 3311428713
484
+ Bound result 9622
485
+ Bound result 8007
486
+ Bound result 824
487
+ Bound result 762
488
+ Bound result 48
489
+ Bound result 2
490
+ Bound result 9900001956531842778114
491
+ Bound result 9900004284826048771216
492
+ Bound result 14
493
+ Bound result 137
494
+ Bound result 8571
495
+ Bound result 3172
496
+ Bound result 22
524
497
 
525
498
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
526
499
 
527
500
  ╭-----------------------------------+---------------------+-------+---------+----------╮
528
501
  | Contract | Selector | Calls | Reverts | Discards |
529
502
  +======================================================================================+
530
- | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
503
+ | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
531
504
  |-----------------------------------+---------------------+-------+---------+----------|
532
- | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
505
+ | RateLimiterRBACUpgradeableHandler | outflow | 550 | 0 | 0 |
533
506
  |-----------------------------------+---------------------+-------+---------+----------|
534
- | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
507
+ | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
535
508
  |-----------------------------------+---------------------+-------+---------+----------|
536
- | RateLimiterRBACUpgradeableHandler | setState | 590 | 0 | 0 |
509
+ | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
537
510
  |-----------------------------------+---------------------+-------+---------+----------|
538
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 523 | 0 | 0 |
511
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
539
512
  |-----------------------------------+---------------------+-------+---------+----------|
540
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 513 | 0 | 0 |
513
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
541
514
  |-----------------------------------+---------------------+-------+---------+----------|
542
- | RateLimiterRBACUpgradeableHandler | warp | 622 | 0 | 0 |
515
+ | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
543
516
  ╰-----------------------------------+---------------------+-------+---------+----------╯
544
517
 
545
518
  Logs:
546
- Bound result 8652
547
- Bound result 1240
548
- Bound result 1294955566520201
549
- Bound result 1431176826918301668034
550
- Bound result 9
551
- Bound result 514264337593504336254
519
+ Bound result 2047
520
+ Bound result 9150
521
+ Bound result 1
522
+ Bound result 4073366028498265169269
523
+ Bound result 9900000000000010971510
524
+ Bound result 3222
525
+ Bound result 865
526
+ Bound result 9900000000000000426484
527
+ Bound result 9905928963223958746827
528
+ Bound result 992
529
+ Bound result 4538
530
+ Bound result 9621961110184026234438
531
+ Bound result 9966411986996089760106
532
+ Bound result 6313
533
+ Bound result 2548
534
+ Bound result 18178743508580257509690
535
+ Bound result 53940793
552
536
  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
537
+ Bound result 1
538
+ Bound result 223410
539
+ Bound result 10961047130108141166878
540
+ Bound result 0
541
+ Bound result 1009
542
+ Bound result 8206
543
+ Bound result 1
544
+ Bound result 204379759494399269
545
+ Bound result 9900184469484657293576
546
+ Bound result 9957214001608051080864
547
+ Bound result 3961
548
+ Bound result 5021
549
+ Bound result 1807
550
+ Bound result 1
551
+ Bound result 100000000000000000003
552
+ Bound result 9900000000000000115067
553
+ Bound result 11
554
+ Bound result 942
567
555
 
568
556
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
569
557
 
570
558
  ╭-----------------------------------+---------------------+-------+---------+----------╮
571
559
  | Contract | Selector | Calls | Reverts | Discards |
572
560
  +======================================================================================+
573
- | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
561
+ | RateLimiterRBACUpgradeableHandler | inflow | 522 | 0 | 0 |
574
562
  |-----------------------------------+---------------------+-------+---------+----------|
575
- | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
563
+ | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
576
564
  |-----------------------------------+---------------------+-------+---------+----------|
577
- | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
565
+ | RateLimiterRBACUpgradeableHandler | setConfig | 528 | 0 | 0 |
578
566
  |-----------------------------------+---------------------+-------+---------+----------|
579
- | RateLimiterRBACUpgradeableHandler | setState | 520 | 0 | 0 |
567
+ | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
580
568
  |-----------------------------------+---------------------+-------+---------+----------|
581
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
569
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
582
570
  |-----------------------------------+---------------------+-------+---------+----------|
583
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
571
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
584
572
  |-----------------------------------+---------------------+-------+---------+----------|
585
- | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
573
+ | RateLimiterRBACUpgradeableHandler | warp | 572 | 0 | 0 |
586
574
  ╰-----------------------------------+---------------------+-------+---------+----------╯
587
575
 
588
576
  Logs:
589
- Bound result 6839
590
- Bound result 3
591
- Bound result 2
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
577
+ Bound result 1516471264971776638835
578
+ Bound result 6707
579
+ Bound result 1655
580
+ Bound result 1
581
+ Bound result 23980331862650163
582
+ Bound result 6999
583
+ Bound result 1504431246315325493186
584
+ Bound result 181453383
585
+ Bound result 1
586
+ Bound result 2497
587
+ Bound result 916
588
+ Bound result 1147
603
589
 
604
590
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
605
591
 
606
592
  ╭-----------------------------------+---------------------+-------+---------+----------╮
607
593
  | Contract | Selector | Calls | Reverts | Discards |
608
594
  +======================================================================================+
609
- | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
595
+ | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
610
596
  |-----------------------------------+---------------------+-------+---------+----------|
611
- | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
597
+ | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
612
598
  |-----------------------------------+---------------------+-------+---------+----------|
613
- | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
599
+ | RateLimiterRBACUpgradeableHandler | setConfig | 530 | 0 | 0 |
614
600
  |-----------------------------------+---------------------+-------+---------+----------|
615
- | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
601
+ | RateLimiterRBACUpgradeableHandler | setState | 596 | 0 | 0 |
616
602
  |-----------------------------------+---------------------+-------+---------+----------|
617
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
603
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
618
604
  |-----------------------------------+---------------------+-------+---------+----------|
619
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
605
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
620
606
  |-----------------------------------+---------------------+-------+---------+----------|
621
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
607
+ | RateLimiterRBACUpgradeableHandler | warp | 526 | 0 | 0 |
622
608
  ╰-----------------------------------+---------------------+-------+---------+----------╯
623
609
 
624
610
  Logs:
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
611
+ Bound result 37431
612
+ Bound result 3689055020
613
+ Bound result 1
614
+ Bound result 6727361039
615
+ Bound result 5398
616
+ Bound result 1493888894347551175
617
+ Bound result 525
618
+ Bound result 730898720
619
+ Bound result 680
620
+ Bound result 5521
621
+ Bound result 167
622
+ Bound result 157452084471073743727
623
+ Bound result 28653520
624
+ Bound result 257
625
+ Bound result 244
646
626
 
647
627
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
648
628
 
649
629
  ╭-----------------------------------+---------------------+-------+---------+----------╮
650
630
  | Contract | Selector | Calls | Reverts | Discards |
651
631
  +======================================================================================+
652
- | RateLimiterRBACUpgradeableHandler | inflow | 543 | 0 | 0 |
632
+ | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
653
633
  |-----------------------------------+---------------------+-------+---------+----------|
654
- | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
634
+ | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
655
635
  |-----------------------------------+---------------------+-------+---------+----------|
656
- | RateLimiterRBACUpgradeableHandler | setConfig | 562 | 0 | 0 |
636
+ | RateLimiterRBACUpgradeableHandler | setConfig | 526 | 0 | 0 |
657
637
  |-----------------------------------+---------------------+-------+---------+----------|
658
- | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
638
+ | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
659
639
  |-----------------------------------+---------------------+-------+---------+----------|
660
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 579 | 0 | 0 |
640
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 583 | 0 | 0 |
661
641
  |-----------------------------------+---------------------+-------+---------+----------|
662
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 515 | 0 | 0 |
642
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 546 | 0 | 0 |
663
643
  |-----------------------------------+---------------------+-------+---------+----------|
664
- | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
644
+ | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
665
645
  ╰-----------------------------------+---------------------+-------+---------+----------╯
666
646
 
667
647
  Logs:
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
678
- Bound result 100000000000000000000
679
- Bound result 6241
648
+ Bound result 2354
649
+ Bound result 534
650
+ Bound result 304
651
+ Bound result 0
652
+ Bound result 514264337593543950332
653
+ Bound result 1349510993355965866347
654
+ Bound result 10442366
655
+ Bound result 0
656
+ Bound result 7910
657
+ Bound result 235336713419060673732
658
+ Bound result 9900000000000007967000
659
+ Bound result 13
680
660
  Bound result 10
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
661
+ Bound result 9900000000000000006770
662
+ Bound result 9900000000000000006889
663
+ Bound result 4280
664
+ Bound result 9449
665
+ Bound result 8791
666
+ Bound result 3105
667
+ Bound result 0
668
+ Bound result 89
669
+ Bound result 6754
699
670
 
700
671
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
701
672
 
702
673
  ╭-----------------------------------+---------------------+-------+---------+----------╮
703
674
  | Contract | Selector | Calls | Reverts | Discards |
704
675
  +======================================================================================+
705
- | RateLimiterRBACUpgradeableHandler | inflow | 603 | 0 | 0 |
676
+ | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
706
677
  |-----------------------------------+---------------------+-------+---------+----------|
707
- | RateLimiterRBACUpgradeableHandler | outflow | 487 | 0 | 0 |
678
+ | RateLimiterRBACUpgradeableHandler | outflow | 497 | 0 | 0 |
708
679
  |-----------------------------------+---------------------+-------+---------+----------|
709
- | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
680
+ | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
710
681
  |-----------------------------------+---------------------+-------+---------+----------|
711
- | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
682
+ | RateLimiterRBACUpgradeableHandler | setState | 611 | 0 | 0 |
712
683
  |-----------------------------------+---------------------+-------+---------+----------|
713
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
684
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
714
685
  |-----------------------------------+---------------------+-------+---------+----------|
715
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 564 | 0 | 0 |
686
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
716
687
  |-----------------------------------+---------------------+-------+---------+----------|
717
- | RateLimiterRBACUpgradeableHandler | warp | 510 | 0 | 0 |
688
+ | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
718
689
  ╰-----------------------------------+---------------------+-------+---------+----------╯
719
690
 
720
691
  Logs:
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
692
+ Bound result 593
693
+ Bound result 8973567783615217582773
694
+ Bound result 9900000000003390425204
695
+ Bound result 9733
696
+ Bound result 1282
697
+ Bound result 475145
698
+ Bound result 9281
699
+ Bound result 42
700
+ Bound result 1
701
+ Bound result 2117
702
+ Bound result 8653
703
+ Bound result 1901074598
704
+ Bound result 4306
705
+ Bound result 22518068
706
+ Bound result 98107083606798028553
707
+ Bound result 1920
708
+ Bound result 281
709
+ Bound result 280375465082879
710
+ Bound result 7941
711
+ Bound result 3
712
+ Bound result 8810330847042128610117
713
+ Bound result 9962314269098560544653
714
+ Bound result 1957
715
+ Bound result 5321
744
716
 
745
717
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
746
718
 
747
719
  ╭-----------------------------------+---------------------+-------+---------+----------╮
748
720
  | Contract | Selector | Calls | Reverts | Discards |
749
721
  +======================================================================================+
750
- | RateLimiterRBACUpgradeableHandler | inflow | 512 | 0 | 0 |
722
+ | RateLimiterRBACUpgradeableHandler | inflow | 567 | 0 | 0 |
751
723
  |-----------------------------------+---------------------+-------+---------+----------|
752
- | RateLimiterRBACUpgradeableHandler | outflow | 580 | 0 | 0 |
724
+ | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
753
725
  |-----------------------------------+---------------------+-------+---------+----------|
754
- | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
726
+ | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
755
727
  |-----------------------------------+---------------------+-------+---------+----------|
756
- | RateLimiterRBACUpgradeableHandler | setState | 532 | 0 | 0 |
728
+ | RateLimiterRBACUpgradeableHandler | setState | 524 | 0 | 0 |
757
729
  |-----------------------------------+---------------------+-------+---------+----------|
758
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
730
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 563 | 0 | 0 |
759
731
  |-----------------------------------+---------------------+-------+---------+----------|
760
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 574 | 0 | 0 |
732
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
761
733
  |-----------------------------------+---------------------+-------+---------+----------|
762
- | RateLimiterRBACUpgradeableHandler | warp | 532 | 0 | 0 |
734
+ | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
763
735
  ╰-----------------------------------+---------------------+-------+---------+----------╯
764
736
 
765
737
  Logs:
766
- Bound result 514264337593543950335
767
- Bound result 434
768
- Bound result 3
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
780
- Bound result 1
781
- Bound result 8727
782
- Bound result 523433401375661689601
738
+ Bound result 9900000000000000004897
739
+ Bound result 9900000000000000002114
740
+ Bound result 721
741
+ Bound result 1839
742
+ Bound result 9900000000000122027828
743
+ Bound result 8647894793828289421049
744
+ Bound result 9476
745
+ Bound result 90
746
+ Bound result 6658
747
+ Bound result 511
748
+ Bound result 9900000000001749912050
749
+ Bound result 9900000000000000000321
750
+ Bound result 4125
751
+ Bound result 1374
752
+ Bound result 7257474338158586860379
753
+ Bound result 9900000108745061734806
754
+ Bound result 4340581073463283813533
755
+ Bound result 9722
756
+ Bound result 3875
757
+ Bound result 4963094952179777962898
758
+ Bound result 14453
759
+
760
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.18s (13.50s CPU time)
761
+
762
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
763
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
764
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
765
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
766
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
767
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
768
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
769
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
770
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
771
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
772
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
773
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 2.43s (94.63ms CPU time)
774
+
775
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
776
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27249, ~: 41090)
777
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
778
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
779
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15969)
780
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 51358)
781
+ [PASS] test_isPaused_InitialState() (gas: 15629)
782
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 219691)
783
+ [PASS] test_multipleRoleGrants() (gas: 395725)
784
+ [PASS] test_pause() (gas: 42109)
785
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 35880)
786
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 181540)
787
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30874, ~: 42378)
788
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
789
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
790
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20199)
791
+ [PASS] test_setPaused_Success() (gas: 42640)
792
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 59456)
793
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
794
+ [PASS] test_storageHash() (gas: 3414)
795
+ [PASS] test_unpause() (gas: 35177)
796
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41807, ~: 39122)
797
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44622)
798
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40955)
799
+ [PASS] test_whenNotPaused_Success() (gas: 38986)
800
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52848)
801
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 63439)
802
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15646)
803
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 2.42s (424.43ms CPU time)
783
804
 
784
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.36s (8.73s CPU time)
805
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
806
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
807
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
808
+ [PASS] test_assertNotPaused_Success() (gas: 14891)
809
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
810
+ [PASS] test_defaultPaused_InitialState() (gas: 15572)
811
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18020)
812
+ [PASS] test_isPaused_Default() (gas: 47316)
813
+ [PASS] test_isPaused_InitialState() (gas: 22172)
814
+ [PASS] test_isPaused_MultipleIDs() (gas: 80142)
815
+ [PASS] test_isPaused_Override() (gas: 75171)
816
+ [PASS] test_isPaused_Specific() (gas: 50105)
817
+ [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
818
+ [PASS] test_pauseConfig() (gas: 51028)
819
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 174204)
820
+ [PASS] test_setDefaultPaused() (gas: 42196)
821
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30565, ~: 18826)
822
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
823
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
824
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 22489)
825
+ [PASS] test_setDefaultPaused_Success() (gas: 40744)
826
+ [PASS] test_setPaused() (gas: 48361)
827
+ [PASS] test_setPaused_DormantData() (gas: 297504)
828
+ [PASS] test_setPaused_EmptyArray() (gas: 15702)
829
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 102594)
830
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43702, ~: 48533)
831
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 225754, ~: 221992)
832
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 25048)
833
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 134340)
834
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 109682)
835
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 25986)
836
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 132969)
837
+ [PASS] test_setPaused_Success() (gas: 45897)
838
+ [PASS] test_setPaused_Success_Batch() (gas: 345312)
839
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
840
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
841
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 243537)
842
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 135474)
843
+ [PASS] test_setPaused_Success_Toggle() (gas: 58022)
844
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 132087)
845
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62287, ~: 50341)
846
+ [PASS] test_storageHash() (gas: 3392)
847
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
848
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
849
+ [PASS] test_whenNotPaused_Success() (gas: 41299)
850
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
851
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
852
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
853
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 2.43s (1.32s CPU time)
785
854
 
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)
855
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
856
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
857
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
858
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
859
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
860
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
861
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
862
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
863
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
864
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
865
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
866
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
867
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50279)
868
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
869
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
870
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
871
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
872
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
873
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
874
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
875
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
876
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
877
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
878
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
879
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
880
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
881
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
882
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
883
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
884
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
885
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
886
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
887
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
888
+ [PASS] test_storageHash() (gas: 3380)
889
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 2.43s (1.14s CPU time)
807
890
 
808
891
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
809
892
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -811,249 +894,257 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
811
894
  ╭-----------------------------------+---------------------+-------+---------+----------╮
812
895
  | Contract | Selector | Calls | Reverts | Discards |
813
896
  +======================================================================================+
814
- | RateLimiterRBACUpgradeableHandler | inflow | 574 | 0 | 0 |
897
+ | RateLimiterRBACUpgradeableHandler | inflow | 608 | 0 | 0 |
815
898
  |-----------------------------------+---------------------+-------+---------+----------|
816
- | RateLimiterRBACUpgradeableHandler | outflow | 538 | 0 | 0 |
899
+ | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
817
900
  |-----------------------------------+---------------------+-------+---------+----------|
818
- | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
901
+ | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
819
902
  |-----------------------------------+---------------------+-------+---------+----------|
820
- | RateLimiterRBACUpgradeableHandler | setState | 530 | 0 | 0 |
903
+ | RateLimiterRBACUpgradeableHandler | setState | 521 | 0 | 0 |
821
904
  |-----------------------------------+---------------------+-------+---------+----------|
822
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
905
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
823
906
  |-----------------------------------+---------------------+-------+---------+----------|
824
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
907
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
825
908
  |-----------------------------------+---------------------+-------+---------+----------|
826
- | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
909
+ | RateLimiterRBACUpgradeableHandler | warp | 526 | 0 | 0 |
827
910
  ╰-----------------------------------+---------------------+-------+---------+----------╯
828
911
 
829
912
  Logs:
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
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
913
+ Bound result 2196
914
+ Bound result 1082
915
+ Bound result 9900000000205616570824
916
+ Bound result 9900000000001788938223
917
+ Bound result 2378
918
+ Bound result 3635
919
+ Bound result 1795
920
+ Bound result 37603
921
+ Bound result 9900000000000000008784
922
+ Bound result 9900000000000613063843
923
+ Bound result 2289
924
+ Bound result 8424
925
+ Bound result 3979504843813997
926
+ Bound result 1583
927
+ Bound result 107048842565
928
+ Bound result 772157286194943803
929
+ Bound result 999
856
930
 
857
931
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
858
932
 
859
933
  ╭-----------------------------------+---------------------+-------+---------+----------╮
860
934
  | Contract | Selector | Calls | Reverts | Discards |
861
935
  +======================================================================================+
862
- | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
936
+ | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
863
937
  |-----------------------------------+---------------------+-------+---------+----------|
864
- | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
938
+ | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
865
939
  |-----------------------------------+---------------------+-------+---------+----------|
866
- | RateLimiterRBACUpgradeableHandler | setConfig | 522 | 0 | 0 |
940
+ | RateLimiterRBACUpgradeableHandler | setConfig | 571 | 0 | 0 |
867
941
  |-----------------------------------+---------------------+-------+---------+----------|
868
- | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
942
+ | RateLimiterRBACUpgradeableHandler | setState | 524 | 0 | 0 |
869
943
  |-----------------------------------+---------------------+-------+---------+----------|
870
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 539 | 0 | 0 |
944
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 526 | 0 | 0 |
871
945
  |-----------------------------------+---------------------+-------+---------+----------|
872
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560 | 0 | 0 |
946
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
873
947
  |-----------------------------------+---------------------+-------+---------+----------|
874
- | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
948
+ | RateLimiterRBACUpgradeableHandler | warp | 579 | 0 | 0 |
875
949
  ╰-----------------------------------+---------------------+-------+---------+----------╯
876
950
 
877
951
  Logs:
878
- Bound result 1006
879
- Bound result 780
880
- Bound result 2003375881112529310
881
- Bound result 1819729935479965507365
882
- Bound result 504
883
- Bound result 3
952
+ Bound result 1084
953
+ Bound result 1966
954
+ Bound result 1
955
+ Bound result 2314306614657126482
956
+ Bound result 0
957
+ Bound result 0
958
+ Bound result 3414
959
+ Bound result 4160
884
960
  Bound result 1
885
- Bound result 900686989187468938738
961
+ Bound result 8103
962
+ Bound result 973
963
+ Bound result 0
964
+ Bound result 6914264337593535947490
965
+ Bound result 6914264337593535947491
966
+ Bound result 6764
967
+ Bound result 10
968
+ Bound result 6398
969
+ Bound result 6672
970
+ Bound result 28
971
+ Bound result 9589961865505609019478
972
+ Bound result 4620
973
+ Bound result 7072
886
974
 
887
975
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
888
976
 
889
977
  ╭-----------------------------------+---------------------+-------+---------+----------╮
890
978
  | Contract | Selector | Calls | Reverts | Discards |
891
979
  +======================================================================================+
892
- | RateLimiterRBACUpgradeableHandler | inflow | 548 | 0 | 0 |
980
+ | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
893
981
  |-----------------------------------+---------------------+-------+---------+----------|
894
- | RateLimiterRBACUpgradeableHandler | outflow | 593 | 0 | 0 |
982
+ | RateLimiterRBACUpgradeableHandler | outflow | 513 | 0 | 0 |
895
983
  |-----------------------------------+---------------------+-------+---------+----------|
896
- | RateLimiterRBACUpgradeableHandler | setConfig | 536 | 0 | 0 |
984
+ | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
897
985
  |-----------------------------------+---------------------+-------+---------+----------|
898
- | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
986
+ | RateLimiterRBACUpgradeableHandler | setState | 552 | 0 | 0 |
899
987
  |-----------------------------------+---------------------+-------+---------+----------|
900
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
988
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 575 | 0 | 0 |
901
989
  |-----------------------------------+---------------------+-------+---------+----------|
902
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 562 | 0 | 0 |
990
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
903
991
  |-----------------------------------+---------------------+-------+---------+----------|
904
- | RateLimiterRBACUpgradeableHandler | warp | 497 | 0 | 0 |
992
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
905
993
  ╰-----------------------------------+---------------------+-------+---------+----------╯
906
994
 
907
995
  Logs:
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
996
  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
997
+ Bound result 1352
998
+ Bound result 11
999
+ Bound result 3151
1000
+ Bound result 3695152418
1001
+ Bound result 267
1002
+ Bound result 9952087529724784201211
1003
+ Bound result 9900000000006339513760
1004
+ Bound result 7256
1005
+ Bound result 6242
1006
+ Bound result 12689
1007
+ Bound result 9900000000000000010336
1008
+ Bound result 9900000000000000000031
1009
+ Bound result 1031
1010
+ Bound result 9419
1011
+ Bound result 731
1012
+ Bound result 2081050176
1013
+ Bound result 36671915176604
1014
+ Bound result 1961393461161763
1015
+ Bound result 1165
1016
+ Bound result 9900000388023239318983
1017
+ Bound result 9900000000013504145395
1018
+ Bound result 11
1019
+ Bound result 12
931
1020
 
932
1021
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
933
1022
 
934
1023
  ╭-----------------------------------+---------------------+-------+---------+----------╮
935
1024
  | Contract | Selector | Calls | Reverts | Discards |
936
1025
  +======================================================================================+
937
- | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
1026
+ | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
938
1027
  |-----------------------------------+---------------------+-------+---------+----------|
939
- | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
1028
+ | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
940
1029
  |-----------------------------------+---------------------+-------+---------+----------|
941
- | RateLimiterRBACUpgradeableHandler | setConfig | 573 | 0 | 0 |
1030
+ | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
942
1031
  |-----------------------------------+---------------------+-------+---------+----------|
943
- | RateLimiterRBACUpgradeableHandler | setState | 583 | 0 | 0 |
1032
+ | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
944
1033
  |-----------------------------------+---------------------+-------+---------+----------|
945
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 521 | 0 | 0 |
1034
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 523 | 0 | 0 |
946
1035
  |-----------------------------------+---------------------+-------+---------+----------|
947
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 518 | 0 | 0 |
1036
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
948
1037
  |-----------------------------------+---------------------+-------+---------+----------|
949
- | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
1038
+ | RateLimiterRBACUpgradeableHandler | warp | 586 | 0 | 0 |
950
1039
  ╰-----------------------------------+---------------------+-------+---------+----------╯
951
1040
 
952
1041
  Logs:
953
- Bound result 9900001121344581979789
954
- Bound result 9900000000020123444211
955
- Bound result 62
956
- Bound result 13
957
- Bound result 2130906141702938992
1042
+ Bound result 895
1043
+ Bound result 2428
1044
+ Bound result 2
1045
+ Bound result 487692794323801000707
1046
+ Bound result 1
1047
+ Bound result 89344766
958
1048
  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
1049
+ Bound result 1
1050
+ Bound result 41394828
1051
+ Bound result 9906
1052
+ Bound result 3837073963344713306985
1053
+ Bound result 6914264337593535947490
1054
+ Bound result 6241
1055
+ Bound result 6289
1056
+ Bound result 9900000000000694075953
1057
+ Bound result 9900000000000000038322
1058
+ Bound result 13
1059
+ Bound result 1506
1060
+ Bound result 523
1061
+ Bound result 587
1062
+ Bound result 6914258783011967940003
976
1063
 
977
1064
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
978
1065
 
979
1066
  ╭-----------------------------------+---------------------+-------+---------+----------╮
980
1067
  | Contract | Selector | Calls | Reverts | Discards |
981
1068
  +======================================================================================+
982
- | RateLimiterRBACUpgradeableHandler | inflow | 570 | 0 | 0 |
1069
+ | RateLimiterRBACUpgradeableHandler | inflow | 567 | 0 | 0 |
983
1070
  |-----------------------------------+---------------------+-------+---------+----------|
984
- | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
1071
+ | RateLimiterRBACUpgradeableHandler | outflow | 514 | 0 | 0 |
985
1072
  |-----------------------------------+---------------------+-------+---------+----------|
986
- | RateLimiterRBACUpgradeableHandler | setConfig | 526 | 0 | 0 |
1073
+ | RateLimiterRBACUpgradeableHandler | setConfig | 569 | 0 | 0 |
987
1074
  |-----------------------------------+---------------------+-------+---------+----------|
988
- | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
1075
+ | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
989
1076
  |-----------------------------------+---------------------+-------+---------+----------|
990
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
1077
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 570 | 0 | 0 |
991
1078
  |-----------------------------------+---------------------+-------+---------+----------|
992
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 496 | 0 | 0 |
1079
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
993
1080
  |-----------------------------------+---------------------+-------+---------+----------|
994
- | RateLimiterRBACUpgradeableHandler | warp | 591 | 0 | 0 |
1081
+ | RateLimiterRBACUpgradeableHandler | warp | 560 | 0 | 0 |
995
1082
  ╰-----------------------------------+---------------------+-------+---------+----------╯
996
1083
 
997
1084
  Logs:
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
1085
+ Bound result 4193
1086
+ Bound result 9869
1010
1087
  Bound result 1
1011
- Bound result 5
1088
+ Bound result 230
1089
+ Bound result 1513
1090
+ Bound result 1
1091
+ Bound result 1353
1092
+ Bound result 560189957556933
1093
+ Bound result 51977754107646803670
1094
+ Bound result 611
1095
+ Bound result 78537445254651993286
1096
+ Bound result 2446411859
1097
+ Bound result 1944
1098
+ Bound result 3578229792
1012
1099
 
1013
1100
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1014
1101
 
1015
1102
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1016
1103
  | Contract | Selector | Calls | Reverts | Discards |
1017
1104
  +======================================================================================+
1018
- | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
1105
+ | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
1019
1106
  |-----------------------------------+---------------------+-------+---------+----------|
1020
- | RateLimiterRBACUpgradeableHandler | outflow | 566 | 0 | 0 |
1107
+ | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
1021
1108
  |-----------------------------------+---------------------+-------+---------+----------|
1022
- | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
1109
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
1023
1110
  |-----------------------------------+---------------------+-------+---------+----------|
1024
- | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
1111
+ | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
1025
1112
  |-----------------------------------+---------------------+-------+---------+----------|
1026
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 562 | 0 | 0 |
1113
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
1027
1114
  |-----------------------------------+---------------------+-------+---------+----------|
1028
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
1115
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
1029
1116
  |-----------------------------------+---------------------+-------+---------+----------|
1030
- | RateLimiterRBACUpgradeableHandler | warp | 518 | 0 | 0 |
1117
+ | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
1031
1118
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1032
1119
 
1033
1120
  Logs:
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
1121
+ Bound result 25012502495531928
1122
+ Bound result 766577134570551230
1056
1123
  Bound result 1
1124
+ Bound result 9900326487455374659903
1125
+ Bound result 127509110055070186129
1126
+ Bound result 9134
1127
+ Bound result 169
1128
+ Bound result 3847
1129
+ Bound result 7772283705447693399305
1130
+ Bound result 61428158282281949965
1131
+ Bound result 1
1132
+ Bound result 16276152560320745149522
1133
+ Bound result 33217623
1134
+ Bound result 1
1135
+ Bound result 880596752068785130657
1136
+ Bound result 4197928202869160596833
1137
+ Bound result 2149
1138
+ Bound result 4663
1139
+ Bound result 800
1140
+ Bound result 100000000000000000000
1141
+ Bound result 100000000000000000003
1142
+ Bound result 39
1143
+ Bound result 556
1144
+ Bound result 10
1145
+ Bound result 17
1146
+ Bound result 21707690
1147
+ Bound result 28692
1057
1148
 
1058
1149
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1059
1150
 
@@ -1062,183 +1153,83 @@ Logs:
1062
1153
  +======================================================================================+
1063
1154
  | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
1064
1155
  |-----------------------------------+---------------------+-------+---------+----------|
1065
- | RateLimiterRBACUpgradeableHandler | outflow | 524 | 0 | 0 |
1156
+ | RateLimiterRBACUpgradeableHandler | outflow | 582 | 0 | 0 |
1066
1157
  |-----------------------------------+---------------------+-------+---------+----------|
1067
- | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
1158
+ | RateLimiterRBACUpgradeableHandler | setConfig | 545 | 0 | 0 |
1068
1159
  |-----------------------------------+---------------------+-------+---------+----------|
1069
- | RateLimiterRBACUpgradeableHandler | setState | 588 | 0 | 0 |
1160
+ | RateLimiterRBACUpgradeableHandler | setState | 530 | 0 | 0 |
1070
1161
  |-----------------------------------+---------------------+-------+---------+----------|
1071
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 528 | 0 | 0 |
1162
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
1072
1163
  |-----------------------------------+---------------------+-------+---------+----------|
1073
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 571 | 0 | 0 |
1164
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
1074
1165
  |-----------------------------------+---------------------+-------+---------+----------|
1075
- | RateLimiterRBACUpgradeableHandler | warp | 522 | 0 | 0 |
1166
+ | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
1076
1167
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1077
1168
 
1078
1169
  Logs:
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
1170
+ Bound result 514264337593543950335
1171
+ Bound result 42
1172
+ Bound result 1094441035049178836663
1173
+ Bound result 0
1174
+ Bound result 112
1175
+ Bound result 3854918171553
1176
+ Bound result 718654791244591879002
1177
+ Bound result 31
1178
+ Bound result 8083
1099
1179
 
1100
1180
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1101
1181
 
1102
1182
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1103
1183
  | Contract | Selector | Calls | Reverts | Discards |
1104
1184
  +======================================================================================+
1105
- | RateLimiterRBACUpgradeableHandler | inflow | 510 | 0 | 0 |
1185
+ | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
1106
1186
  |-----------------------------------+---------------------+-------+---------+----------|
1107
- | RateLimiterRBACUpgradeableHandler | outflow | 598 | 0 | 0 |
1187
+ | RateLimiterRBACUpgradeableHandler | outflow | 519 | 0 | 0 |
1108
1188
  |-----------------------------------+---------------------+-------+---------+----------|
1109
- | RateLimiterRBACUpgradeableHandler | setConfig | 577 | 0 | 0 |
1189
+ | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
1110
1190
  |-----------------------------------+---------------------+-------+---------+----------|
1111
- | RateLimiterRBACUpgradeableHandler | setState | 505 | 0 | 0 |
1191
+ | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
1112
1192
  |-----------------------------------+---------------------+-------+---------+----------|
1113
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 567 | 0 | 0 |
1193
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
1114
1194
  |-----------------------------------+---------------------+-------+---------+----------|
1115
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570 | 0 | 0 |
1195
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553 | 0 | 0 |
1116
1196
  |-----------------------------------+---------------------+-------+---------+----------|
1117
- | RateLimiterRBACUpgradeableHandler | warp | 513 | 0 | 0 |
1197
+ | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
1118
1198
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1119
1199
 
1120
1200
  Logs:
1121
- Bound result 33960
1201
+ Bound result 177025685970596525933
1202
+ Bound result 1
1203
+ Bound result 514264337593504336253
1204
+ Bound result 138246466455746620
1205
+ Bound result 1
1206
+ Bound result 1
1207
+ Bound result 8972658442353137
1122
1208
  Bound result 1
1209
+ Bound result 1199
1210
+ Bound result 78220222
1123
1211
  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)
1144
-
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
1168
-
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
1212
+ Bound result 1178605356
1213
+ Bound result 134940833098616001555
1214
+ Bound result 1
1215
+ Bound result 1163
1216
+ Bound result 6933
1217
+ Bound result 7338
1218
+ Bound result 192
1219
+ Bound result 1534
1220
+ Bound result 9567914486731394516574
1221
+ Bound result 9900000000000059234834
1222
+ Bound result 11
1223
+ Bound result 7404
1224
+ Bound result 2
1225
+ Bound result 7742894668992284747325
1232
1226
 
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)
1227
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.73s (14.66s CPU time)
1237
1228
 
1238
1229
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1239
1230
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1240
1231
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1241
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 776769, ~: 257260)
1232
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 751291, ~: 106485)
1242
1233
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1243
1234
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1244
1235
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1251,12 +1242,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1251
1242
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1252
1243
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1253
1244
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1254
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11157798, ~: 10385085)
1245
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11132734, ~: 10457493)
1255
1246
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1256
1247
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1257
1248
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1258
1249
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1259
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 722726, ~: 106989)
1250
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 781226, ~: 213006)
1260
1251
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1261
1252
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1262
1253
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1269,10 +1260,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1269
1260
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1270
1261
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1271
1262
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1272
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11178638, ~: 10460962)
1263
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11230912, ~: 10654920)
1273
1264
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1274
1265
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1275
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 10.51s (24.97s CPU time)
1266
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 17.19s (40.01s CPU time)
1276
1267
 
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
1268
+ Ran 17 test suites in 17.23s (43.50s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1269
+ ⏳ forge test: 33.866s