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

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 +803 -798
  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-1ezqv4
7
+ 📦 Using scoped workspace: /tmp/lz-scoped-workspace-Fkq3xr
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No scoped-workspace pruner configured; using unpruned package-level source copy fallback.
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.
10
+ (node:221568) [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-1ezqv4:/workspace
15
+ -v /tmp/lz-scoped-workspace-Fkq3xr:/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-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
21
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-Fkq3xr:/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 14.63s
23
+ Solc 0.8.22 finished in 12.35s
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,143 +143,87 @@ 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 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
147
- [PASS] test_feeDeposit() (gas: 17598)
148
- [PASS] test_setFeeDeposit() (gas: 24907)
149
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
150
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
151
- [PASS] test_storageHash() (gas: 3337)
152
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 217.99ms (217.49ms CPU time)
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 30.58ms (20.30ms CPU time)
153
188
 
154
189
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
155
190
  [PASS] test_feeDeposit() (gas: 17660)
156
191
  [PASS] test_setFeeDeposit() (gas: 27618)
157
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24052, ~: 24055)
192
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
158
193
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 24359)
159
194
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
160
195
  [PASS] test_storageHash() (gas: 3315)
161
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 231.89ms (231.30ms CPU time)
196
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 92.89ms (92.23ms CPU time)
197
+
198
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
199
+ [PASS] test_feeDeposit() (gas: 17598)
200
+ [PASS] test_setFeeDeposit() (gas: 24907)
201
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21448, ~: 21454)
202
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
203
+ [PASS] test_storageHash() (gas: 3337)
204
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 103.81ms (90.73ms CPU time)
162
205
 
163
206
  Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
164
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25802, ~: 38584)
207
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26215, ~: 38584)
165
208
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
166
209
  [PASS] test_assertNotPaused_Success() (gas: 12516)
167
210
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
168
211
  [PASS] test_isPaused_InitialState() (gas: 15595)
169
212
  [PASS] test_pause() (gas: 39592)
170
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28063, ~: 39861)
213
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27850, ~: 16219)
171
214
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
172
215
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
173
216
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
174
217
  [PASS] test_storageHash() (gas: 3414)
175
218
  [PASS] test_unpause() (gas: 31115)
176
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40735, ~: 42291)
219
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40776, ~: 42291)
177
220
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 42105)
178
221
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38427)
179
222
  [PASS] test_whenNotPaused_Success() (gas: 38930)
180
223
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48777)
181
224
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 58208)
182
225
  [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)
214
-
215
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
216
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
217
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
218
- [PASS] test_assertNotPaused_Success() (gas: 14934)
219
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
220
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
221
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
222
- [PASS] test_isPaused_Default() (gas: 44698)
223
- [PASS] test_isPaused_InitialState() (gas: 22070)
224
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
225
- [PASS] test_isPaused_Override() (gas: 69381)
226
- [PASS] test_isPaused_Specific() (gas: 46709)
227
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
228
- [PASS] test_pauseConfig() (gas: 45626)
229
- [PASS] test_setDefaultPaused() (gas: 39667)
230
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27653, ~: 16332)
231
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
232
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
233
- [PASS] test_setPaused() (gas: 43060)
234
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
235
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38398, ~: 43373)
236
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
237
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
238
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
239
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58049, ~: 46989)
240
- [PASS] test_storageHash() (gas: 3480)
241
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
242
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
243
- [PASS] test_whenNotPaused_Success() (gas: 41297)
244
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
245
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
246
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
247
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 591.95ms (752.65ms CPU time)
248
-
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)
226
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 172.33ms (218.59ms CPU time)
283
227
 
284
228
  Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
285
229
  [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
@@ -317,110 +261,187 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
317
261
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
318
262
  [PASS] test_storageHash() (gas: 3414)
319
263
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
320
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 2.02s (25.70ms CPU time)
264
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 184.68ms (9.20ms CPU time)
321
265
 
322
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
323
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
324
- [PASS] test_constructor_InitialMode() (gas: 15578)
325
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
326
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
327
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
328
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
329
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
330
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
331
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
332
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
333
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
334
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
335
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
336
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
337
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
338
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
339
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
340
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
341
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
342
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
343
- [PASS] test_setMode_Blacklist() (gas: 40021)
344
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
345
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
346
- [PASS] test_setMode_Whitelist() (gas: 40108)
347
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
348
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
349
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
350
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
351
- [PASS] test_storageHash() (gas: 3458)
352
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 2.02s (1.25s CPU time)
266
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
267
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
268
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104265, ~: 104248)
269
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
270
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
271
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
272
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
273
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
274
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
275
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
276
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
277
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
278
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50279)
279
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
280
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
281
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
282
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
283
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
284
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
285
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
286
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
287
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
288
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
289
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
290
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
291
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
292
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
293
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
294
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
295
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
296
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
297
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
298
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
299
+ [PASS] test_storageHash() (gas: 3380)
300
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 361.68ms (422.85ms CPU time)
353
301
 
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)
302
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
303
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
304
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
305
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47378, ~: 48966)
306
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
307
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
308
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
309
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
310
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
311
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
312
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
313
+ [PASS] test_getFee_Default() (gas: 43108)
314
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45538, ~: 47017)
315
+ [PASS] test_getFee_Rounding() (gas: 45449)
316
+ [PASS] test_getFee_Specific() (gas: 66985)
317
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
318
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
319
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35005, ~: 42268)
320
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
321
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 22361)
322
+ [PASS] test_setFeeBps() (gas: 77237)
374
323
  Logs:
375
324
  Bound result 500
376
325
 
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)
326
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69095, ~: 77570)
327
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
328
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 22460)
329
+ [PASS] test_storageHash() (gas: 3436)
330
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 390.78ms (498.56ms CPU time)
381
331
 
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)
332
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
333
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
334
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
335
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
336
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
337
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
338
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
339
+ [PASS] test_isPaused_Default() (gas: 44698)
340
+ [PASS] test_isPaused_InitialState() (gas: 22070)
341
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
342
+ [PASS] test_isPaused_Override() (gas: 69381)
343
+ [PASS] test_isPaused_Specific() (gas: 46709)
344
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
345
+ [PASS] test_pauseConfig() (gas: 45626)
346
+ [PASS] test_setDefaultPaused() (gas: 39667)
347
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28195, ~: 39918)
348
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
349
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
350
+ [PASS] test_setPaused() (gas: 43060)
351
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
352
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38378, ~: 43373)
353
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
354
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
355
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
356
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58909, ~: 69608)
357
+ [PASS] test_storageHash() (gas: 3480)
358
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
359
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
360
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
361
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
362
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
363
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
364
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 796.95ms (234.91ms CPU time)
365
+
366
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
367
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
368
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
369
+ [PASS] test_assertNotPaused_Success() (gas: 14891)
370
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
371
+ [PASS] test_defaultPaused_InitialState() (gas: 15572)
372
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18020)
373
+ [PASS] test_isPaused_Default() (gas: 47316)
374
+ [PASS] test_isPaused_InitialState() (gas: 22172)
375
+ [PASS] test_isPaused_MultipleIDs() (gas: 80142)
376
+ [PASS] test_isPaused_Override() (gas: 75171)
377
+ [PASS] test_isPaused_Specific() (gas: 50105)
378
+ [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
379
+ [PASS] test_pauseConfig() (gas: 51028)
380
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 174204)
381
+ [PASS] test_setDefaultPaused() (gas: 42196)
382
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30541, ~: 18826)
383
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
384
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
385
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 22489)
386
+ [PASS] test_setDefaultPaused_Success() (gas: 40744)
387
+ [PASS] test_setPaused() (gas: 48361)
388
+ [PASS] test_setPaused_DormantData() (gas: 297504)
389
+ [PASS] test_setPaused_EmptyArray() (gas: 15702)
390
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 102594)
391
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43545, ~: 48533)
392
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 225855, ~: 219074)
393
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 25048)
394
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 134340)
395
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 109682)
396
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 25986)
397
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 132969)
398
+ [PASS] test_setPaused_Success() (gas: 45897)
399
+ [PASS] test_setPaused_Success_Batch() (gas: 345312)
400
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
401
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
402
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 243537)
403
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 135474)
404
+ [PASS] test_setPaused_Success_Toggle() (gas: 58022)
405
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 132087)
406
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62740, ~: 73465)
421
407
  [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)
408
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
409
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
410
+ [PASS] test_whenNotPaused_Success() (gas: 41299)
411
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
412
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
413
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
414
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.19s (797.39ms CPU time)
415
+
416
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
417
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26881, ~: 12786)
418
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
419
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
420
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15969)
421
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 51358)
422
+ [PASS] test_isPaused_InitialState() (gas: 15629)
423
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 219691)
424
+ [PASS] test_multipleRoleGrants() (gas: 395725)
425
+ [PASS] test_pause() (gas: 42109)
426
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 35880)
427
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 181540)
428
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30614, ~: 42378)
429
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
430
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
431
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20199)
432
+ [PASS] test_setPaused_Success() (gas: 42640)
433
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 59456)
434
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
435
+ [PASS] test_storageHash() (gas: 3414)
436
+ [PASS] test_unpause() (gas: 35177)
437
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 42094, ~: 44741)
438
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44622)
439
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40955)
440
+ [PASS] test_whenNotPaused_Success() (gas: 38986)
441
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52848)
442
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 63439)
443
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15646)
444
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.28s (230.13ms CPU time)
424
445
 
425
446
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
426
447
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -428,465 +449,336 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
428
449
  ╭-----------------------------------+---------------------+-------+---------+----------╮
429
450
  | Contract | Selector | Calls | Reverts | Discards |
430
451
  +======================================================================================+
431
- | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
452
+ | RateLimiterRBACUpgradeableHandler | inflow | 515 | 0 | 0 |
432
453
  |-----------------------------------+---------------------+-------+---------+----------|
433
- | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
454
+ | RateLimiterRBACUpgradeableHandler | outflow | 573 | 0 | 0 |
434
455
  |-----------------------------------+---------------------+-------+---------+----------|
435
- | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
456
+ | RateLimiterRBACUpgradeableHandler | setConfig | 570 | 0 | 0 |
436
457
  |-----------------------------------+---------------------+-------+---------+----------|
437
- | RateLimiterRBACUpgradeableHandler | setState | 608 | 0 | 0 |
458
+ | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
438
459
  |-----------------------------------+---------------------+-------+---------+----------|
439
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
460
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 530 | 0 | 0 |
440
461
  |-----------------------------------+---------------------+-------+---------+----------|
441
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
462
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
442
463
  |-----------------------------------+---------------------+-------+---------+----------|
443
- | RateLimiterRBACUpgradeableHandler | warp | 533 | 0 | 0 |
464
+ | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
444
465
  ╰-----------------------------------+---------------------+-------+---------+----------╯
445
466
 
446
467
  Logs:
447
- Bound result 9900000000006160794795
448
- Bound result 9400147100179763871227
449
- Bound result 8290
450
- Bound result 10
451
- Bound result 1
468
+ Bound result 7129
469
+ Bound result 96
470
+ Bound result 8372398430898658330537
471
+ Bound result 9900000000000000006220
472
+ Bound result 849
473
+ Bound result 6844
474
+ Bound result 7266
475
+ Bound result 8790
452
476
  Bound result 3
453
- Bound result 6885577051127393224359
454
- Bound result 7837
477
+ Bound result 2193
478
+ Bound result 8262
479
+ Bound result 4156029342
455
480
 
456
481
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
457
482
 
458
483
  ╭-----------------------------------+---------------------+-------+---------+----------╮
459
484
  | Contract | Selector | Calls | Reverts | Discards |
460
485
  +======================================================================================+
461
- | RateLimiterRBACUpgradeableHandler | inflow | 514 | 0 | 0 |
486
+ | RateLimiterRBACUpgradeableHandler | inflow | 572 | 0 | 0 |
462
487
  |-----------------------------------+---------------------+-------+---------+----------|
463
- | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
488
+ | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
464
489
  |-----------------------------------+---------------------+-------+---------+----------|
465
- | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
490
+ | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
466
491
  |-----------------------------------+---------------------+-------+---------+----------|
467
- | RateLimiterRBACUpgradeableHandler | setState | 522 | 0 | 0 |
492
+ | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
468
493
  |-----------------------------------+---------------------+-------+---------+----------|
469
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
494
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
470
495
  |-----------------------------------+---------------------+-------+---------+----------|
471
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 574 | 0 | 0 |
496
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570 | 0 | 0 |
472
497
  |-----------------------------------+---------------------+-------+---------+----------|
473
- | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
498
+ | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
474
499
  ╰-----------------------------------+---------------------+-------+---------+----------╯
475
500
 
476
501
  Logs:
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
502
+ Bound result 814838071901517072301
503
+ Bound result 9900000000000000007912
504
+ Bound result 9900000000000000009791
505
+ Bound result 1097
506
+ Bound result 8552
507
+ Bound result 214635435
508
+ Bound result 9900000000000000010416
509
+ Bound result 9900000000000000008133
510
+ Bound result 7491
511
+ Bound result 4606
489
512
  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
513
+ Bound result 1424
514
+ Bound result 1799740832
515
+ Bound result 1
516
+ Bound result 1213333844084935514130
517
+ Bound result 389071897207489
518
+ Bound result 0
519
+ Bound result 7673
497
520
 
498
521
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
499
522
 
500
523
  ╭-----------------------------------+---------------------+-------+---------+----------╮
501
524
  | Contract | Selector | Calls | Reverts | Discards |
502
525
  +======================================================================================+
503
- | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
526
+ | RateLimiterRBACUpgradeableHandler | inflow | 541 | 0 | 0 |
504
527
  |-----------------------------------+---------------------+-------+---------+----------|
505
- | RateLimiterRBACUpgradeableHandler | outflow | 550 | 0 | 0 |
528
+ | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
506
529
  |-----------------------------------+---------------------+-------+---------+----------|
507
- | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
530
+ | RateLimiterRBACUpgradeableHandler | setConfig | 577 | 0 | 0 |
508
531
  |-----------------------------------+---------------------+-------+---------+----------|
509
- | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
532
+ | RateLimiterRBACUpgradeableHandler | setState | 579 | 0 | 0 |
510
533
  |-----------------------------------+---------------------+-------+---------+----------|
511
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
534
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 504 | 0 | 0 |
512
535
  |-----------------------------------+---------------------+-------+---------+----------|
513
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
536
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
514
537
  |-----------------------------------+---------------------+-------+---------+----------|
515
- | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
538
+ | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
516
539
  ╰-----------------------------------+---------------------+-------+---------+----------╯
517
540
 
518
541
  Logs:
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
536
- Bound result 0
537
- Bound result 1
538
- Bound result 223410
539
- Bound result 10961047130108141166878
540
- Bound result 0
541
- Bound result 1009
542
- Bound result 8206
542
+ Bound result 9900000000000000007011
543
+ Bound result 9900000000000000005634
544
+ Bound result 2065
545
+ Bound result 6769
546
+ Bound result 9900000000000000005476
547
+ Bound result 9900000000000000003059
548
+ Bound result 1644
549
+ Bound result 7609
550
+ Bound result 206705642451607817996
543
551
  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
552
+ Bound result 97158075580454152
553
+ Bound result 363284222
550
554
  Bound result 1
551
- Bound result 100000000000000000003
552
- Bound result 9900000000000000115067
555
+ Bound result 280375465082881
556
+ Bound result 3691
557
+ Bound result 7640827500288764292249
558
+ Bound result 9901542905957036137578
559
+ Bound result 27
553
560
  Bound result 11
554
- Bound result 942
561
+ Bound result 2152194664521984
555
562
 
556
563
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
557
564
 
558
565
  ╭-----------------------------------+---------------------+-------+---------+----------╮
559
566
  | Contract | Selector | Calls | Reverts | Discards |
560
567
  +======================================================================================+
561
- | RateLimiterRBACUpgradeableHandler | inflow | 522 | 0 | 0 |
568
+ | RateLimiterRBACUpgradeableHandler | inflow | 578 | 0 | 0 |
562
569
  |-----------------------------------+---------------------+-------+---------+----------|
563
- | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
570
+ | RateLimiterRBACUpgradeableHandler | outflow | 508 | 0 | 0 |
564
571
  |-----------------------------------+---------------------+-------+---------+----------|
565
- | RateLimiterRBACUpgradeableHandler | setConfig | 528 | 0 | 0 |
572
+ | RateLimiterRBACUpgradeableHandler | setConfig | 565 | 0 | 0 |
566
573
  |-----------------------------------+---------------------+-------+---------+----------|
567
- | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
574
+ | RateLimiterRBACUpgradeableHandler | setState | 531 | 0 | 0 |
568
575
  |-----------------------------------+---------------------+-------+---------+----------|
569
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
576
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 559 | 0 | 0 |
570
577
  |-----------------------------------+---------------------+-------+---------+----------|
571
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
578
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553 | 0 | 0 |
572
579
  |-----------------------------------+---------------------+-------+---------+----------|
573
- | RateLimiterRBACUpgradeableHandler | warp | 572 | 0 | 0 |
580
+ | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
574
581
  ╰-----------------------------------+---------------------+-------+---------+----------╯
575
582
 
576
583
  Logs:
577
- Bound result 1516471264971776638835
578
- Bound result 6707
579
- Bound result 1655
584
+ Bound result 100000000000000000000
585
+ Bound result 100000000000000000000
586
+ Bound result 516
587
+ Bound result 1612
588
+ Bound result 150498398634
589
+ Bound result 2
590
+ Bound result 3195
591
+ Bound result 9900000000666517511413
592
+ Bound result 661013408946910934440
593
+ Bound result 4169
594
+ Bound result 11
595
+ Bound result 24846505
580
596
  Bound result 1
581
- Bound result 23980331862650163
582
- Bound result 6999
583
- Bound result 1504431246315325493186
584
- Bound result 181453383
585
597
  Bound result 1
586
- Bound result 2497
587
- Bound result 916
588
- Bound result 1147
598
+ Bound result 626
599
+ Bound result 9900000000000000000270
600
+ Bound result 9900000000000000003353
601
+ Bound result 2828
602
+ Bound result 8297
603
+ Bound result 3
604
+ Bound result 598
605
+ Bound result 7938845264452
606
+ Bound result 3209
607
+ Bound result 99999999999999999999
589
608
 
590
609
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
591
610
 
592
611
  ╭-----------------------------------+---------------------+-------+---------+----------╮
593
612
  | Contract | Selector | Calls | Reverts | Discards |
594
613
  +======================================================================================+
595
- | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
596
- |-----------------------------------+---------------------+-------+---------+----------|
597
- | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
598
- |-----------------------------------+---------------------+-------+---------+----------|
599
- | RateLimiterRBACUpgradeableHandler | setConfig | 530 | 0 | 0 |
600
- |-----------------------------------+---------------------+-------+---------+----------|
601
- | RateLimiterRBACUpgradeableHandler | setState | 596 | 0 | 0 |
602
- |-----------------------------------+---------------------+-------+---------+----------|
603
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
604
- |-----------------------------------+---------------------+-------+---------+----------|
605
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
606
- |-----------------------------------+---------------------+-------+---------+----------|
607
- | RateLimiterRBACUpgradeableHandler | warp | 526 | 0 | 0 |
608
- ╰-----------------------------------+---------------------+-------+---------+----------╯
609
-
610
- Logs:
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
626
-
627
- [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
628
-
629
- ╭-----------------------------------+---------------------+-------+---------+----------╮
630
- | Contract | Selector | Calls | Reverts | Discards |
631
- +======================================================================================+
632
- | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
614
+ | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
633
615
  |-----------------------------------+---------------------+-------+---------+----------|
634
- | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
616
+ | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
635
617
  |-----------------------------------+---------------------+-------+---------+----------|
636
- | RateLimiterRBACUpgradeableHandler | setConfig | 526 | 0 | 0 |
618
+ | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
637
619
  |-----------------------------------+---------------------+-------+---------+----------|
638
- | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
620
+ | RateLimiterRBACUpgradeableHandler | setState | 568 | 0 | 0 |
639
621
  |-----------------------------------+---------------------+-------+---------+----------|
640
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 583 | 0 | 0 |
622
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
641
623
  |-----------------------------------+---------------------+-------+---------+----------|
642
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 546 | 0 | 0 |
624
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
643
625
  |-----------------------------------+---------------------+-------+---------+----------|
644
- | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
626
+ | RateLimiterRBACUpgradeableHandler | warp | 533 | 0 | 0 |
645
627
  ╰-----------------------------------+---------------------+-------+---------+----------╯
646
628
 
647
629
  Logs:
648
- Bound result 2354
649
- Bound result 534
650
- Bound result 304
630
+ Bound result 9900000000000000000713
631
+ Bound result 9900000000000000000999
632
+ Bound result 187
633
+ Bound result 364
634
+ Bound result 7677146356965214515341
651
635
  Bound result 0
652
- Bound result 514264337593543950332
653
- Bound result 1349510993355965866347
654
- Bound result 10442366
655
636
  Bound result 0
656
- Bound result 7910
657
- Bound result 235336713419060673732
658
- Bound result 9900000000000007967000
659
- Bound result 13
660
- Bound result 10
661
- Bound result 9900000000000000006770
662
- Bound result 9900000000000000006889
663
- Bound result 4280
664
- Bound result 9449
665
- Bound result 8791
666
- Bound result 3105
637
+ Bound result 3151
638
+ Bound result 9900000000173336772823
639
+ Bound result 9900000000000000186798
640
+ Bound result 3321
641
+ Bound result 58
642
+ Bound result 9906556507159017386225
643
+ Bound result 100000000000000000003
644
+ Bound result 1594
645
+ Bound result 634
646
+ Bound result 35039188253569
647
+ Bound result 487218801279
667
648
  Bound result 0
668
- Bound result 89
669
- Bound result 6754
670
-
671
- [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
672
-
673
- ╭-----------------------------------+---------------------+-------+---------+----------╮
674
- | Contract | Selector | Calls | Reverts | Discards |
675
- +======================================================================================+
676
- | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
677
- |-----------------------------------+---------------------+-------+---------+----------|
678
- | RateLimiterRBACUpgradeableHandler | outflow | 497 | 0 | 0 |
679
- |-----------------------------------+---------------------+-------+---------+----------|
680
- | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
681
- |-----------------------------------+---------------------+-------+---------+----------|
682
- | RateLimiterRBACUpgradeableHandler | setState | 611 | 0 | 0 |
683
- |-----------------------------------+---------------------+-------+---------+----------|
684
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
685
- |-----------------------------------+---------------------+-------+---------+----------|
686
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
687
- |-----------------------------------+---------------------+-------+---------+----------|
688
- | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
689
- ╰-----------------------------------+---------------------+-------+---------+----------╯
690
-
691
- Logs:
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
649
+ Bound result 1535
650
+ Bound result 1983
651
+ Bound result 4527
716
652
 
717
- [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
653
+ [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
718
654
 
719
655
  ╭-----------------------------------+---------------------+-------+---------+----------╮
720
656
  | Contract | Selector | Calls | Reverts | Discards |
721
657
  +======================================================================================+
722
- | RateLimiterRBACUpgradeableHandler | inflow | 567 | 0 | 0 |
723
- |-----------------------------------+---------------------+-------+---------+----------|
724
- | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
725
- |-----------------------------------+---------------------+-------+---------+----------|
726
- | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
727
- |-----------------------------------+---------------------+-------+---------+----------|
728
- | RateLimiterRBACUpgradeableHandler | setState | 524 | 0 | 0 |
658
+ | RateLimiterRBACUpgradeableHandler | inflow | 522 | 0 | 0 |
729
659
  |-----------------------------------+---------------------+-------+---------+----------|
730
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 563 | 0 | 0 |
660
+ | RateLimiterRBACUpgradeableHandler | outflow | 544 | 0 | 0 |
731
661
  |-----------------------------------+---------------------+-------+---------+----------|
732
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
662
+ | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
733
663
  |-----------------------------------+---------------------+-------+---------+----------|
734
- | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
735
- ╰-----------------------------------+---------------------+-------+---------+----------╯
736
-
737
- Logs:
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)
804
-
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)
664
+ | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
665
+ |-----------------------------------+---------------------+-------+---------+----------|
666
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 562 | 0 | 0 |
667
+ |-----------------------------------+---------------------+-------+---------+----------|
668
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 584 | 0 | 0 |
669
+ |-----------------------------------+---------------------+-------+---------+----------|
670
+ | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
671
+ ╰-----------------------------------+---------------------+-------+---------+----------╯
854
672
 
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)
673
+ Logs:
674
+ Bound result 3566
675
+ Bound result 1965
676
+ Bound result 31103204032617
677
+ Bound result 506786550
678
+ Bound result 896
679
+ Bound result 1496280103820460760439
680
+ Bound result 9900000000000000009175
681
+ Bound result 9900000000000000001790
682
+ Bound result 1132
683
+ Bound result 551
684
+ Bound result 9900000015076573945489
685
+ Bound result 9900007586661576891697
686
+ Bound result 221
687
+ Bound result 98
688
+ Bound result 63
689
+ Bound result 2285924395802
690
+ Bound result 9900000000000000009175
691
+ Bound result 9900000000000000009746
692
+ Bound result 5036
693
+ Bound result 7909
694
+ Bound result 16679721717510910132253
695
+
696
+ [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
697
+
698
+ ╭-----------------------------------+---------------------+-------+---------+----------╮
699
+ | Contract | Selector | Calls | Reverts | Discards |
700
+ +======================================================================================+
701
+ | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
702
+ |-----------------------------------+---------------------+-------+---------+----------|
703
+ | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
704
+ |-----------------------------------+---------------------+-------+---------+----------|
705
+ | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
706
+ |-----------------------------------+---------------------+-------+---------+----------|
707
+ | RateLimiterRBACUpgradeableHandler | setState | 528 | 0 | 0 |
708
+ |-----------------------------------+---------------------+-------+---------+----------|
709
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 521 | 0 | 0 |
710
+ |-----------------------------------+---------------------+-------+---------+----------|
711
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555 | 0 | 0 |
712
+ |-----------------------------------+---------------------+-------+---------+----------|
713
+ | RateLimiterRBACUpgradeableHandler | warp | 590 | 0 | 0 |
714
+ ╰-----------------------------------+---------------------+-------+---------+----------╯
715
+
716
+ Logs:
717
+ Bound result 4157049185
718
+ Bound result 9830614975160660787161
719
+ Bound result 100000000000000000000
720
+ Bound result 3453
721
+ Bound result 15
722
+ Bound result 1253
723
+ Bound result 2807
724
+ Bound result 9008
725
+ Bound result 6047
726
+ Bound result 1
727
+ Bound result 2095
728
+ Bound result 2951
729
+ Bound result 9900000000000000001103
730
+ Bound result 9900000000000000008499
731
+ Bound result 7921
732
+ Bound result 47
733
+ Bound result 13491
734
+ Bound result 3930
735
+ Bound result 10989
736
+
737
+ [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
738
+
739
+ ╭-----------------------------------+---------------------+-------+---------+----------╮
740
+ | Contract | Selector | Calls | Reverts | Discards |
741
+ +======================================================================================+
742
+ | RateLimiterRBACUpgradeableHandler | inflow | 565 | 0 | 0 |
743
+ |-----------------------------------+---------------------+-------+---------+----------|
744
+ | RateLimiterRBACUpgradeableHandler | outflow | 544 | 0 | 0 |
745
+ |-----------------------------------+---------------------+-------+---------+----------|
746
+ | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
747
+ |-----------------------------------+---------------------+-------+---------+----------|
748
+ | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
749
+ |-----------------------------------+---------------------+-------+---------+----------|
750
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 530 | 0 | 0 |
751
+ |-----------------------------------+---------------------+-------+---------+----------|
752
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
753
+ |-----------------------------------+---------------------+-------+---------+----------|
754
+ | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
755
+ ╰-----------------------------------+---------------------+-------+---------+----------╯
756
+
757
+ Logs:
758
+ Bound result 294443687
759
+ Bound result 2159037157
760
+ Bound result 1
761
+ Bound result 447245592362758479
762
+ Bound result 1962
763
+ Bound result 1
764
+ Bound result 1470034435085627864133
765
+ Bound result 2
766
+ Bound result 1073
767
+ Bound result 1198996683314046567425
768
+ Bound result 6914264337593535947488
769
+ Bound result 9900000000000247191390
770
+ Bound result 4021
771
+ Bound result 9997
772
+ Bound result 938
773
+ Bound result 47876
774
+ Bound result 9900000000000000005888
775
+ Bound result 9900000000000000007668
776
+ Bound result 448
777
+ Bound result 8791
778
+ Bound result 10382
779
+ Bound result 8493
780
+
781
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.28s (8.31s CPU time)
890
782
 
891
783
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
892
784
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -894,342 +786,442 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
894
786
  ╭-----------------------------------+---------------------+-------+---------+----------╮
895
787
  | Contract | Selector | Calls | Reverts | Discards |
896
788
  +======================================================================================+
897
- | RateLimiterRBACUpgradeableHandler | inflow | 608 | 0 | 0 |
789
+ | RateLimiterRBACUpgradeableHandler | inflow | 570 | 0 | 0 |
898
790
  |-----------------------------------+---------------------+-------+---------+----------|
899
- | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
791
+ | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
900
792
  |-----------------------------------+---------------------+-------+---------+----------|
901
- | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
793
+ | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
902
794
  |-----------------------------------+---------------------+-------+---------+----------|
903
- | RateLimiterRBACUpgradeableHandler | setState | 521 | 0 | 0 |
795
+ | RateLimiterRBACUpgradeableHandler | setState | 581 | 0 | 0 |
904
796
  |-----------------------------------+---------------------+-------+---------+----------|
905
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
797
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 548 | 0 | 0 |
906
798
  |-----------------------------------+---------------------+-------+---------+----------|
907
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
799
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 515 | 0 | 0 |
908
800
  |-----------------------------------+---------------------+-------+---------+----------|
909
- | RateLimiterRBACUpgradeableHandler | warp | 526 | 0 | 0 |
801
+ | RateLimiterRBACUpgradeableHandler | warp | 542 | 0 | 0 |
910
802
  ╰-----------------------------------+---------------------+-------+---------+----------╯
911
803
 
912
804
  Logs:
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
805
+ Bound result 61789
806
+ Bound result 9900000000001425644633
807
+ Bound result 6843097594233902958754
808
+ Bound result 8730
809
+ Bound result 517
810
+ Bound result 2
811
+ Bound result 1383
812
+ Bound result 8194609542513
813
+ Bound result 9900000000064994043683
814
+ Bound result 4245850867136172054595
815
+ Bound result 247
816
+ Bound result 9997
817
+ Bound result 13418836175925669
818
+ Bound result 3663496590451271718743
819
+ Bound result 0
820
+ Bound result 6874041466013421182288
821
+ Bound result 3045953109
822
+ Bound result 1589
823
+ Bound result 2
824
+ Bound result 304011585069084771487
930
825
 
931
826
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
932
827
 
933
828
  ╭-----------------------------------+---------------------+-------+---------+----------╮
934
829
  | Contract | Selector | Calls | Reverts | Discards |
935
830
  +======================================================================================+
936
- | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
831
+ | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
937
832
  |-----------------------------------+---------------------+-------+---------+----------|
938
- | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
833
+ | RateLimiterRBACUpgradeableHandler | outflow | 498 | 0 | 0 |
939
834
  |-----------------------------------+---------------------+-------+---------+----------|
940
- | RateLimiterRBACUpgradeableHandler | setConfig | 571 | 0 | 0 |
835
+ | RateLimiterRBACUpgradeableHandler | setConfig | 572 | 0 | 0 |
941
836
  |-----------------------------------+---------------------+-------+---------+----------|
942
- | RateLimiterRBACUpgradeableHandler | setState | 524 | 0 | 0 |
837
+ | RateLimiterRBACUpgradeableHandler | setState | 563 | 0 | 0 |
943
838
  |-----------------------------------+---------------------+-------+---------+----------|
944
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 526 | 0 | 0 |
839
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 564 | 0 | 0 |
945
840
  |-----------------------------------+---------------------+-------+---------+----------|
946
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
841
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
947
842
  |-----------------------------------+---------------------+-------+---------+----------|
948
- | RateLimiterRBACUpgradeableHandler | warp | 579 | 0 | 0 |
843
+ | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
949
844
  ╰-----------------------------------+---------------------+-------+---------+----------╯
950
845
 
951
846
  Logs:
952
- Bound result 1084
953
- Bound result 1966
847
+ Bound result 9714
848
+ Bound result 3491
954
849
  Bound result 1
955
- Bound result 2314306614657126482
956
- Bound result 0
957
- Bound result 0
958
- Bound result 3414
959
- Bound result 4160
960
- Bound result 1
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
850
+ Bound result 3077567105752396576
851
+ Bound result 9900000000000000002553
852
+ Bound result 9900000000000613063845
853
+ Bound result 102
854
+ Bound result 7795
855
+ Bound result 2959
856
+ Bound result 48
857
+ Bound result 243
858
+ Bound result 10839
859
+ Bound result 9571
860
+ Bound result 577
861
+ Bound result 229
862
+ Bound result 13215742619264485220391
863
+ Bound result 60259982712469109867
864
+ Bound result 110
974
865
 
975
866
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
976
867
 
977
868
  ╭-----------------------------------+---------------------+-------+---------+----------╮
978
869
  | Contract | Selector | Calls | Reverts | Discards |
979
870
  +======================================================================================+
980
- | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
871
+ | RateLimiterRBACUpgradeableHandler | inflow | 537 | 0 | 0 |
981
872
  |-----------------------------------+---------------------+-------+---------+----------|
982
- | RateLimiterRBACUpgradeableHandler | outflow | 513 | 0 | 0 |
873
+ | RateLimiterRBACUpgradeableHandler | outflow | 515 | 0 | 0 |
983
874
  |-----------------------------------+---------------------+-------+---------+----------|
984
- | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
875
+ | RateLimiterRBACUpgradeableHandler | setConfig | 569 | 0 | 0 |
985
876
  |-----------------------------------+---------------------+-------+---------+----------|
986
- | RateLimiterRBACUpgradeableHandler | setState | 552 | 0 | 0 |
877
+ | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
987
878
  |-----------------------------------+---------------------+-------+---------+----------|
988
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 575 | 0 | 0 |
879
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
989
880
  |-----------------------------------+---------------------+-------+---------+----------|
990
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
881
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 587 | 0 | 0 |
991
882
  |-----------------------------------+---------------------+-------+---------+----------|
992
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
883
+ | RateLimiterRBACUpgradeableHandler | warp | 566 | 0 | 0 |
993
884
  ╰-----------------------------------+---------------------+-------+---------+----------╯
994
885
 
995
886
  Logs:
887
+ Bound result 657584102329086802259
888
+ Bound result 9642
996
889
  Bound result 1
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
890
+ Bound result 2579647
891
+ Bound result 1180
892
+ Bound result 65197874
893
+ Bound result 9900000000000000004419
894
+ Bound result 9900000000000000002092
895
+ Bound result 277
896
+ Bound result 8280
897
+ Bound result 1
898
+ Bound result 606417462389003
899
+ Bound result 663
900
+ Bound result 10
901
+ Bound result 323
1020
902
 
1021
903
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
1022
904
 
1023
905
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1024
906
  | Contract | Selector | Calls | Reverts | Discards |
1025
907
  +======================================================================================+
1026
- | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
908
+ | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
1027
909
  |-----------------------------------+---------------------+-------+---------+----------|
1028
- | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
910
+ | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
1029
911
  |-----------------------------------+---------------------+-------+---------+----------|
1030
- | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
912
+ | RateLimiterRBACUpgradeableHandler | setConfig | 571 | 0 | 0 |
1031
913
  |-----------------------------------+---------------------+-------+---------+----------|
1032
- | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
914
+ | RateLimiterRBACUpgradeableHandler | setState | 584 | 0 | 0 |
1033
915
  |-----------------------------------+---------------------+-------+---------+----------|
1034
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 523 | 0 | 0 |
916
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
1035
917
  |-----------------------------------+---------------------+-------+---------+----------|
1036
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
918
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 515 | 0 | 0 |
1037
919
  |-----------------------------------+---------------------+-------+---------+----------|
1038
- | RateLimiterRBACUpgradeableHandler | warp | 586 | 0 | 0 |
920
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
1039
921
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1040
922
 
1041
923
  Logs:
1042
- Bound result 895
1043
- Bound result 2428
1044
- Bound result 2
1045
- Bound result 487692794323801000707
924
+ Bound result 3207
925
+ Bound result 1294
926
+ Bound result 169
927
+ Bound result 2131
928
+ Bound result 1350
929
+ Bound result 91958387825091558
930
+ Bound result 168494061843205575752
931
+ Bound result 508
932
+ Bound result 9900000223058033232892
933
+ Bound result 9900000000000000000006
934
+ Bound result 2029
935
+ Bound result 8631
936
+ Bound result 9839
937
+ Bound result 830
1046
938
  Bound result 1
1047
- Bound result 89344766
939
+ Bound result 2293517446
940
+ Bound result 9900000054813922413421
941
+ Bound result 9900000000113864257624
942
+ Bound result 2126
943
+ Bound result 902
1048
944
  Bound result 3
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
945
+ Bound result 6717968120865419203855
946
+ Bound result 9900000000000017346673
947
+ Bound result 1156
948
+ Bound result 3241
1063
949
 
1064
950
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1065
951
 
1066
952
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1067
953
  | Contract | Selector | Calls | Reverts | Discards |
1068
954
  +======================================================================================+
1069
- | RateLimiterRBACUpgradeableHandler | inflow | 567 | 0 | 0 |
955
+ | RateLimiterRBACUpgradeableHandler | inflow | 593 | 0 | 0 |
1070
956
  |-----------------------------------+---------------------+-------+---------+----------|
1071
- | RateLimiterRBACUpgradeableHandler | outflow | 514 | 0 | 0 |
957
+ | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
1072
958
  |-----------------------------------+---------------------+-------+---------+----------|
1073
- | RateLimiterRBACUpgradeableHandler | setConfig | 569 | 0 | 0 |
959
+ | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
1074
960
  |-----------------------------------+---------------------+-------+---------+----------|
1075
- | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
961
+ | RateLimiterRBACUpgradeableHandler | setState | 512 | 0 | 0 |
1076
962
  |-----------------------------------+---------------------+-------+---------+----------|
1077
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 570 | 0 | 0 |
963
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
1078
964
  |-----------------------------------+---------------------+-------+---------+----------|
1079
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
965
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
1080
966
  |-----------------------------------+---------------------+-------+---------+----------|
1081
- | RateLimiterRBACUpgradeableHandler | warp | 560 | 0 | 0 |
967
+ | RateLimiterRBACUpgradeableHandler | warp | 535 | 0 | 0 |
1082
968
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1083
969
 
1084
970
  Logs:
1085
- Bound result 4193
1086
- Bound result 9869
1087
- Bound result 1
1088
- Bound result 230
1089
- Bound result 1513
971
+ Bound result 3924909985078139
972
+ Bound result 9315
973
+ Bound result 7118545
974
+ Bound result 1091370
975
+ Bound result 0
976
+ Bound result 578040799954093829902
977
+ Bound result 27587158073715297726
978
+ Bound result 4771
979
+ Bound result 972
1090
980
  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
981
+ Bound result 1439648964138461987338
982
+ Bound result 4084760629951359
983
+ Bound result 9900000000000000007058
984
+ Bound result 9900000000000000001219
985
+ Bound result 345
986
+ Bound result 1009
987
+ Bound result 3303
988
+ Bound result 9900000000000000000884
989
+ Bound result 9900000000000000005857
990
+ Bound result 4952
991
+ Bound result 5689
1099
992
 
1100
993
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1101
994
 
1102
995
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1103
996
  | Contract | Selector | Calls | Reverts | Discards |
1104
997
  +======================================================================================+
1105
- | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
998
+ | RateLimiterRBACUpgradeableHandler | inflow | 548 | 0 | 0 |
1106
999
  |-----------------------------------+---------------------+-------+---------+----------|
1107
- | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
1000
+ | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
1108
1001
  |-----------------------------------+---------------------+-------+---------+----------|
1109
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
1002
+ | RateLimiterRBACUpgradeableHandler | setConfig | 583 | 0 | 0 |
1110
1003
  |-----------------------------------+---------------------+-------+---------+----------|
1111
- | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
1004
+ | RateLimiterRBACUpgradeableHandler | setState | 516 | 0 | 0 |
1112
1005
  |-----------------------------------+---------------------+-------+---------+----------|
1113
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
1006
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 536 | 0 | 0 |
1114
1007
  |-----------------------------------+---------------------+-------+---------+----------|
1115
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
1008
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 588 | 0 | 0 |
1116
1009
  |-----------------------------------+---------------------+-------+---------+----------|
1117
- | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
1010
+ | RateLimiterRBACUpgradeableHandler | warp | 514 | 0 | 0 |
1118
1011
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1119
1012
 
1120
1013
  Logs:
1121
- Bound result 25012502495531928
1122
- Bound result 766577134570551230
1014
+ Bound result 1537781847092956240972
1015
+ Bound result 514264337593504336254
1016
+ Bound result 0
1017
+ Bound result 216664
1018
+ Bound result 3963
1019
+ Bound result 3
1020
+ Bound result 16081166978848
1021
+ Bound result 1330027665
1022
+ Bound result 6742
1023
+ Bound result 581
1123
1024
  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
1025
+ Bound result 9900000000000018244215
1026
+ Bound result 6914264337593535947490
1027
+ Bound result 13
1028
+ Bound result 9997
1029
+ Bound result 419489
1030
+ Bound result 822301806945
1131
1031
  Bound result 1
1132
- Bound result 16276152560320745149522
1133
- Bound result 33217623
1032
+ Bound result 6163891206
1033
+ Bound result 10708
1034
+ Bound result 8183
1134
1035
  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
1036
+ Bound result 278
1037
+ Bound result 0
1038
+ Bound result 0
1148
1039
 
1149
1040
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1150
1041
 
1151
1042
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1152
1043
  | Contract | Selector | Calls | Reverts | Discards |
1153
1044
  +======================================================================================+
1154
- | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
1045
+ | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
1155
1046
  |-----------------------------------+---------------------+-------+---------+----------|
1156
- | RateLimiterRBACUpgradeableHandler | outflow | 582 | 0 | 0 |
1047
+ | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
1157
1048
  |-----------------------------------+---------------------+-------+---------+----------|
1158
- | RateLimiterRBACUpgradeableHandler | setConfig | 545 | 0 | 0 |
1049
+ | RateLimiterRBACUpgradeableHandler | setConfig | 530 | 0 | 0 |
1159
1050
  |-----------------------------------+---------------------+-------+---------+----------|
1160
- | RateLimiterRBACUpgradeableHandler | setState | 530 | 0 | 0 |
1051
+ | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
1161
1052
  |-----------------------------------+---------------------+-------+---------+----------|
1162
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
1053
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 563 | 0 | 0 |
1163
1054
  |-----------------------------------+---------------------+-------+---------+----------|
1164
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
1055
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
1165
1056
  |-----------------------------------+---------------------+-------+---------+----------|
1166
- | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
1057
+ | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
1167
1058
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1168
1059
 
1169
1060
  Logs:
1170
- Bound result 514264337593543950335
1061
+ Bound result 1533
1062
+ Bound result 9900000000000000000042
1063
+ Bound result 9902519037983435830351
1064
+ Bound result 10
1065
+ Bound result 11
1066
+ Bound result 6914264337593535947491
1067
+ Bound result 100000000000000000003
1068
+ Bound result 6242
1069
+ Bound result 10
1070
+ Bound result 457
1071
+ Bound result 6825
1072
+ Bound result 4950
1073
+ Bound result 4266781249
1074
+ Bound result 10196
1075
+ Bound result 632
1076
+ Bound result 7337
1077
+ Bound result 9900000000040903954672
1078
+ Bound result 4050998241810676693003
1079
+ Bound result 5984
1171
1080
  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
1081
+ Bound result 5403507
1082
+ Bound result 8478
1083
+ Bound result 2159
1084
+ Bound result 1360
1085
+ Bound result 53
1179
1086
 
1180
1087
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1181
1088
 
1182
1089
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1183
1090
  | Contract | Selector | Calls | Reverts | Discards |
1184
1091
  +======================================================================================+
1185
- | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
1092
+ | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
1186
1093
  |-----------------------------------+---------------------+-------+---------+----------|
1187
- | RateLimiterRBACUpgradeableHandler | outflow | 519 | 0 | 0 |
1094
+ | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
1188
1095
  |-----------------------------------+---------------------+-------+---------+----------|
1189
- | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
1096
+ | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
1190
1097
  |-----------------------------------+---------------------+-------+---------+----------|
1191
- | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
1098
+ | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
1192
1099
  |-----------------------------------+---------------------+-------+---------+----------|
1193
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
1100
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 514 | 0 | 0 |
1194
1101
  |-----------------------------------+---------------------+-------+---------+----------|
1195
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553 | 0 | 0 |
1102
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
1196
1103
  |-----------------------------------+---------------------+-------+---------+----------|
1197
- | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
1104
+ | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
1198
1105
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1199
1106
 
1200
1107
  Logs:
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
1208
- Bound result 1
1209
- Bound result 1199
1210
- Bound result 78220222
1211
- Bound result 0
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
1108
+ Bound result 1333
1109
+ Bound result 380
1110
+ Bound result 93
1111
+ Bound result 9900000000452857328472
1112
+ Bound result 9900000000000000000386
1113
+ Bound result 2241
1114
+ Bound result 2704
1115
+ Bound result 10
1116
+ Bound result 100000000000000000001
1117
+ Bound result 100000000000000000000
1118
+ Bound result 9995
1119
+ Bound result 7811
1120
+ Bound result 114264337592751668710
1121
+ Bound result 580
1224
1122
  Bound result 2
1225
- Bound result 7742894668992284747325
1226
1123
 
1227
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.73s (14.66s CPU time)
1124
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.28s (8.01s CPU time)
1125
+
1126
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1127
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1128
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1129
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44938, ~: 46317)
1130
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1131
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1132
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1133
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1134
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1135
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1136
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1137
+ [PASS] test_getFee_Default() (gas: 40577)
1138
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43251, ~: 44486)
1139
+ [PASS] test_getFee_Rounding() (gas: 42835)
1140
+ [PASS] test_getFee_Specific() (gas: 63968)
1141
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1142
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
1143
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32589, ~: 39667)
1144
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1145
+ [PASS] test_setFeeBps() (gas: 73871)
1146
+ Logs:
1147
+ Bound result 500
1148
+
1149
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 64959, ~: 74224)
1150
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1151
+ [PASS] test_storageHash() (gas: 3426)
1152
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.28s (645.30ms CPU time)
1153
+
1154
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1155
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1156
+ [PASS] test_constructor_InitialMode() (gas: 15778)
1157
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1158
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1159
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1160
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1161
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1162
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1163
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1164
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
1165
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1166
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1167
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1168
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1169
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1170
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1171
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20352)
1172
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1173
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1174
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1175
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1176
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23219)
1177
+ [PASS] test_setMode_Blacklist() (gas: 42605)
1178
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
1179
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
1180
+ [PASS] test_setMode_Whitelist() (gas: 42714)
1181
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1182
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1183
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1184
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1185
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23066)
1186
+ [PASS] test_storageHash() (gas: 3480)
1187
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 11.06s (575.53ms CPU time)
1188
+
1189
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1190
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1191
+ [PASS] test_constructor_InitialMode() (gas: 15578)
1192
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1193
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1194
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1195
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1196
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1197
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1198
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1199
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1200
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1201
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1202
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1203
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1204
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1205
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1206
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1207
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1208
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1209
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1210
+ [PASS] test_setMode_Blacklist() (gas: 40021)
1211
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
1212
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
1213
+ [PASS] test_setMode_Whitelist() (gas: 40108)
1214
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1215
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1216
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1217
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1218
+ [PASS] test_storageHash() (gas: 3458)
1219
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 11.06s (392.88ms CPU time)
1228
1220
 
1229
1221
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1230
1222
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1231
1223
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1232
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 751291, ~: 106485)
1224
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 723617, ~: 114627)
1233
1225
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1234
1226
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1235
1227
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1242,12 +1234,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1242
1234
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1243
1235
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1244
1236
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1245
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11132734, ~: 10457493)
1237
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11196618, ~: 10605634)
1246
1238
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1247
1239
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1248
1240
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1249
1241
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1250
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 781226, ~: 213006)
1242
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 823600, ~: 398605)
1251
1243
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1252
1244
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1253
1245
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1260,10 +1252,23 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1260
1252
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1261
1253
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1262
1254
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1263
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11230912, ~: 10654920)
1255
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11103630, ~: 10286042)
1264
1256
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1265
1257
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1266
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 17.19s (40.01s CPU time)
1258
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.05s (25.76s CPU time)
1259
+
1260
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
1261
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
1262
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
1263
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
1264
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
1265
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
1266
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
1267
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
1268
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
1269
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
1270
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
1271
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 11.07s (130.69ms CPU time)
1267
1272
 
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
1273
+ Ran 17 test suites in 11.09s (52.68s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1274
+ ⏳ forge test: 25.618s