@layerzerolabs/utils-upgradeable-evm-contracts 0.2.133 → 1.2.7

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 +673 -688
  2. package/package.json +6 -7
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-FyMwVy
7
+ 📦 Using scoped workspace: /tmp/lz-scoped-workspace-JjjP8i
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No scoped-workspace pruner configured; using unpruned package-level source copy fallback.
10
- (node:237905) [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:199178) [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-FyMwVy:/workspace
15
+ -v /tmp/lz-scoped-workspace-JjjP8i:/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-FyMwVy:/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-JjjP8i:/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 10.56s
23
+ Solc 0.8.22 finished in 12.27s
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,6 +143,44 @@ Warning (2018): Function state mutability can be restricted to view
143
143
  | ^ (Relevant source part starts here and spans across multiple lines).
144
144
 
145
145
 
146
+ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
147
+ [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
148
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
149
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
150
+ [PASS] test_checkpointRateLimits_Single() (gas: 85741)
151
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
152
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
153
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
154
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
155
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
156
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
157
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
158
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
159
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
160
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
161
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
162
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
163
+ [PASS] test_inflow_GloballyDisabled() (gas: 52015)
164
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
165
+ [PASS] test_initial_state_closed() (gas: 2034659)
166
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
167
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
168
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
169
+ [PASS] test_outflow_GloballyDisabled() (gas: 52036)
170
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
171
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
172
+ [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
173
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
174
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
175
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
176
+ [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
177
+ [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
178
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
179
+ [PASS] test_setRateLimitStates_Single() (gas: 49974)
180
+ [PASS] test_storageHash() (gas: 3414)
181
+ [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
182
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 42.86ms (40.18ms CPU time)
183
+
146
184
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
147
185
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
148
186
  [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
@@ -184,45 +222,7 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
184
222
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
185
223
  [PASS] test_storageHash() (gas: 3392)
186
224
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
187
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 14.11ms (11.66ms CPU time)
188
-
189
- Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
190
- [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
191
- [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
192
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
193
- [PASS] test_checkpointRateLimits_Single() (gas: 85741)
194
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
195
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
196
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
197
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
198
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
199
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
200
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
201
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
202
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
203
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
204
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
205
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
206
- [PASS] test_inflow_GloballyDisabled() (gas: 52015)
207
- [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
208
- [PASS] test_initial_state_closed() (gas: 2034659)
209
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
210
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
211
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
212
- [PASS] test_outflow_GloballyDisabled() (gas: 52036)
213
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
214
- [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
215
- [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
216
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
217
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
218
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
219
- [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
220
- [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
221
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
222
- [PASS] test_setRateLimitStates_Single() (gas: 49974)
223
- [PASS] test_storageHash() (gas: 3414)
224
- [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
225
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 15.94ms (13.74ms CPU time)
225
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 41.52ms (32.34ms CPU time)
226
226
 
227
227
  Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
228
228
  [PASS] test_feeDeposit() (gas: 17576)
@@ -230,7 +230,7 @@ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTe
230
230
  [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
231
231
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
232
232
  [PASS] test_storageHash() (gas: 3337)
233
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 33.07ms (32.67ms CPU time)
233
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 57.61ms (57.08ms CPU time)
234
234
 
235
235
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
236
236
  [PASS] test_feeDeposit() (gas: 17638)
@@ -239,55 +239,74 @@ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTe
239
239
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
240
240
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
241
241
  [PASS] test_storageHash() (gas: 3315)
242
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 69.96ms (69.37ms CPU time)
242
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 48.22ms (47.65ms CPU time)
243
243
 
244
244
  Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
245
245
  [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
246
246
  [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
247
247
  [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
248
248
  [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
249
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
249
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
250
250
  [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
251
251
  [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
252
252
  [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
253
253
  [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
254
254
  [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
255
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 112.13ms (67.16ms CPU time)
255
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 134.83ms (49.60ms CPU time)
256
256
 
257
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
258
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
259
- [PASS] test_constructor_InitialMode() (gas: 15778)
260
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
261
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
262
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
263
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
264
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
265
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
266
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
267
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
268
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
269
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
270
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
271
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
272
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
273
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
274
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
275
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
276
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
277
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
278
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
279
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
280
- [PASS] test_setMode_Blacklist() (gas: 42605)
281
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
282
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
283
- [PASS] test_setMode_Whitelist() (gas: 42714)
284
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
285
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
286
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
287
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
288
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
289
- [PASS] test_storageHash() (gas: 3480)
290
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 119.08ms (340.89ms CPU time)
257
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
258
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25518, ~: 12763)
259
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
260
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
261
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
262
+ [PASS] test_isPaused_InitialState() (gas: 15595)
263
+ [PASS] test_pause() (gas: 39592)
264
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28370, ~: 39861)
265
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
266
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
267
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
268
+ [PASS] test_storageHash() (gas: 3414)
269
+ [PASS] test_unpause() (gas: 31115)
270
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40388, ~: 38893)
271
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
272
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
273
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
274
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
275
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
276
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
277
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 163.43ms (306.26ms CPU time)
278
+
279
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
280
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
281
+ [PASS] test_constructor_InitialMode() (gas: 15578)
282
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
283
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
284
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
285
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
286
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
287
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
288
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
289
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
290
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
291
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
292
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
293
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
294
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
295
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
296
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
297
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
298
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
299
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
300
+ [PASS] test_setMode_Blacklist() (gas: 40021)
301
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
302
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
303
+ [PASS] test_setMode_Whitelist() (gas: 40108)
304
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
305
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
306
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
307
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
308
+ [PASS] test_storageHash() (gas: 3458)
309
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 229.11ms (424.65ms CPU time)
291
310
 
292
311
  Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
293
312
  [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
@@ -323,41 +342,37 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
323
342
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
324
343
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
325
344
  [PASS] test_storageHash() (gas: 3380)
326
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 325.62ms (373.63ms CPU time)
345
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 313.57ms (379.08ms CPU time)
327
346
 
328
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
329
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
330
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
331
- [PASS] test_assertNotPaused_Success() (gas: 14934)
332
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
333
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
334
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
335
- [PASS] test_isPaused_Default() (gas: 44698)
336
- [PASS] test_isPaused_InitialState() (gas: 22070)
337
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
338
- [PASS] test_isPaused_Override() (gas: 69381)
339
- [PASS] test_isPaused_Specific() (gas: 46709)
340
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
341
- [PASS] test_pauseConfig() (gas: 45626)
342
- [PASS] test_setDefaultPaused() (gas: 39667)
343
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27865, ~: 16332)
344
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
345
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
346
- [PASS] test_setPaused() (gas: 43060)
347
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
348
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38716, ~: 43373)
349
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
350
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
351
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
352
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 59338, ~: 69608)
353
- [PASS] test_storageHash() (gas: 3480)
354
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
355
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
356
- [PASS] test_whenNotPaused_Success() (gas: 41297)
357
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
358
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
359
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
360
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 375.45ms (292.25ms CPU time)
347
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
348
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
349
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
350
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47538, ~: 48966)
351
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
352
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
353
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
354
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
355
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
356
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
357
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
358
+ [PASS] test_getFee_Default() (gas: 43108)
359
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45715, ~: 47017)
360
+ [PASS] test_getFee_Rounding() (gas: 45449)
361
+ [PASS] test_getFee_Specific() (gas: 66985)
362
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
363
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
364
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35268, ~: 42268)
365
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
366
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
367
+ [PASS] test_setFeeBps() (gas: 77237)
368
+ Logs:
369
+ Bound result 500
370
+
371
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68954, ~: 77570)
372
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
373
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
374
+ [PASS] test_storageHash() (gas: 3436)
375
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 501.41ms (601.29ms CPU time)
361
376
 
362
377
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
363
378
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -375,7 +390,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
375
390
  [PASS] test_pauseConfig() (gas: 51028)
376
391
  [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
377
392
  [PASS] test_setDefaultPaused() (gas: 42196)
378
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30801, ~: 42446)
393
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30659, ~: 42446)
379
394
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
380
395
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
381
396
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
@@ -384,8 +399,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
384
399
  [PASS] test_setPaused_DormantData() (gas: 295234)
385
400
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
386
401
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
387
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43604, ~: 48533)
388
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222586, ~: 216804)
402
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43765, ~: 48696)
403
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222875, ~: 216804)
389
404
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
390
405
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
391
406
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
@@ -399,7 +414,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
399
414
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
400
415
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
401
416
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
402
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62317, ~: 50341)
417
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62067, ~: 50341)
403
418
  [PASS] test_storageHash() (gas: 3392)
404
419
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
405
420
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -407,12 +422,12 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
407
422
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
408
423
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
409
424
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
410
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 804.89ms (504.09ms CPU time)
425
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.22s (801.43ms CPU time)
411
426
 
412
427
  Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
413
428
  [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
414
429
  [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
415
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44963, ~: 46317)
430
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45007, ~: 46317)
416
431
  [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
417
432
  [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
418
433
  [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
@@ -421,24 +436,59 @@ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTes
421
436
  [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
422
437
  [PASS] test_getFee_BoundaryConditions() (gas: 71791)
423
438
  [PASS] test_getFee_Default() (gas: 40577)
424
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43080, ~: 44486)
439
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43049, ~: 44486)
425
440
  [PASS] test_getFee_Rounding() (gas: 42835)
426
441
  [PASS] test_getFee_Specific() (gas: 63968)
427
442
  [PASS] test_getFee_SpecificDisabled() (gas: 63920)
428
443
  [PASS] test_setDefaultFeeBps() (gas: 39576)
429
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32648, ~: 39667)
444
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 31906, ~: 39667)
430
445
  [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
431
446
  [PASS] test_setFeeBps() (gas: 73871)
432
447
  Logs:
433
448
  Bound result 500
434
449
 
435
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65151, ~: 74224)
450
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65491, ~: 74224)
436
451
  [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
437
452
  [PASS] test_storageHash() (gas: 3426)
438
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 921.22ms (270.54ms CPU time)
453
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.29s (414.05ms CPU time)
454
+
455
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
456
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
457
+ [PASS] test_constructor_InitialMode() (gas: 15778)
458
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
459
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
460
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
461
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
462
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
463
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
464
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
465
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
466
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
467
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
468
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
469
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
470
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
471
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
472
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
473
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
474
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
475
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
476
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
477
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
478
+ [PASS] test_setMode_Blacklist() (gas: 42605)
479
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
480
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
481
+ [PASS] test_setMode_Whitelist() (gas: 42714)
482
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
483
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
484
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
485
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
486
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
487
+ [PASS] test_storageHash() (gas: 3480)
488
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.39s (522.81ms CPU time)
439
489
 
440
490
  Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
441
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26173, ~: 12786)
491
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27221, ~: 41090)
442
492
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
443
493
  [PASS] test_assertNotPaused_Success() (gas: 12539)
444
494
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
@@ -449,7 +499,7 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
449
499
  [PASS] test_pause() (gas: 42109)
450
500
  [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
451
501
  [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
452
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30307, ~: 18756)
502
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30897, ~: 42378)
453
503
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
454
504
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
455
505
  [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
@@ -458,36 +508,14 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
458
508
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
459
509
  [PASS] test_storageHash() (gas: 3414)
460
510
  [PASS] test_unpause() (gas: 35177)
461
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41652, ~: 38860)
511
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41686, ~: 44479)
462
512
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
463
513
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
464
514
  [PASS] test_whenNotPaused_Success() (gas: 38800)
465
515
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
466
516
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
467
517
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
468
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 978.96ms (176.14ms CPU time)
469
-
470
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
471
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25518, ~: 12763)
472
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
473
- [PASS] test_assertNotPaused_Success() (gas: 12516)
474
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
475
- [PASS] test_isPaused_InitialState() (gas: 15595)
476
- [PASS] test_pause() (gas: 39592)
477
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28441, ~: 39861)
478
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
479
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
480
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
481
- [PASS] test_storageHash() (gas: 3414)
482
- [PASS] test_unpause() (gas: 31115)
483
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40511, ~: 42029)
484
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
485
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
486
- [PASS] test_whenNotPaused_Success() (gas: 38744)
487
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
488
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
489
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
490
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 979.15ms (128.12ms CPU time)
518
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.39s (277.21ms CPU time)
491
519
 
492
520
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
493
521
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -495,362 +523,349 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
495
523
  ╭-----------------------------------+---------------------+-------+---------+----------╮
496
524
  | Contract | Selector | Calls | Reverts | Discards |
497
525
  +======================================================================================+
498
- | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
526
+ | RateLimiterRBACUpgradeableHandler | inflow | 508 | 0 | 0 |
499
527
  |-----------------------------------+---------------------+-------+---------+----------|
500
- | RateLimiterRBACUpgradeableHandler | outflow | 538 | 0 | 0 |
528
+ | RateLimiterRBACUpgradeableHandler | outflow | 541 | 0 | 0 |
501
529
  |-----------------------------------+---------------------+-------+---------+----------|
502
- | RateLimiterRBACUpgradeableHandler | setConfig | 503 | 0 | 0 |
530
+ | RateLimiterRBACUpgradeableHandler | setConfig | 573 | 0 | 0 |
503
531
  |-----------------------------------+---------------------+-------+---------+----------|
504
- | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
532
+ | RateLimiterRBACUpgradeableHandler | setState | 580 | 0 | 0 |
505
533
  |-----------------------------------+---------------------+-------+---------+----------|
506
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 582 | 0 | 0 |
534
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
507
535
  |-----------------------------------+---------------------+-------+---------+----------|
508
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
536
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
509
537
  |-----------------------------------+---------------------+-------+---------+----------|
510
- | RateLimiterRBACUpgradeableHandler | warp | 576 | 0 | 0 |
538
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
511
539
  ╰-----------------------------------+---------------------+-------+---------+----------╯
512
540
 
513
541
  Logs:
514
- Bound result 1651
515
- Bound result 1649
516
- Bound result 2177186476880514
517
- Bound result 1825831375
518
- Bound result 765
519
- Bound result 54
520
- Bound result 3846
521
- Bound result 7589
522
- Bound result 218
523
- Bound result 489
524
- Bound result 1630644677666471893535
525
- Bound result 1605734830987354204289
526
- Bound result 535
527
- Bound result 1040
528
- Bound result 2792863504
542
+ Bound result 452
543
+ Bound result 9900000000023720904299
544
+ Bound result 9900000037601110189097
545
+ Bound result 1620
546
+ Bound result 6687
547
+ Bound result 9900000000000411029180
548
+ Bound result 6914264337593535947489
549
+ Bound result 3123
550
+ Bound result 1378
551
+ Bound result 46
552
+ Bound result 26859
553
+ Bound result 3352
554
+ Bound result 3
555
+ Bound result 1229
556
+ Bound result 8307
557
+ Bound result 4812421941287723879844
558
+ Bound result 5575
559
+ Bound result 9900000000000000005818
560
+ Bound result 9900000000000000001147
561
+ Bound result 6052
562
+ Bound result 7448
529
563
 
530
564
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
531
565
 
532
566
  ╭-----------------------------------+---------------------+-------+---------+----------╮
533
567
  | Contract | Selector | Calls | Reverts | Discards |
534
568
  +======================================================================================+
535
- | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
569
+ | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
536
570
  |-----------------------------------+---------------------+-------+---------+----------|
537
- | RateLimiterRBACUpgradeableHandler | outflow | 542 | 0 | 0 |
571
+ | RateLimiterRBACUpgradeableHandler | outflow | 529 | 0 | 0 |
538
572
  |-----------------------------------+---------------------+-------+---------+----------|
539
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
573
+ | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
540
574
  |-----------------------------------+---------------------+-------+---------+----------|
541
- | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
575
+ | RateLimiterRBACUpgradeableHandler | setState | 588 | 0 | 0 |
542
576
  |-----------------------------------+---------------------+-------+---------+----------|
543
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 560 | 0 | 0 |
577
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
544
578
  |-----------------------------------+---------------------+-------+---------+----------|
545
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
579
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
546
580
  |-----------------------------------+---------------------+-------+---------+----------|
547
- | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
581
+ | RateLimiterRBACUpgradeableHandler | warp | 560 | 0 | 0 |
548
582
  ╰-----------------------------------+---------------------+-------+---------+----------╯
549
583
 
550
584
  Logs:
551
- Bound result 9900000000000000009829
552
- Bound result 9900000000000000004680
553
- Bound result 4063
554
- Bound result 8801
555
- Bound result 9900036479591639151631
556
- Bound result 9900000000016481733313
557
- Bound result 11
558
- Bound result 22
559
- Bound result 161159256756
560
- Bound result 495898
561
- Bound result 26809
562
- Bound result 15419622852340900364
563
- Bound result 0
564
- Bound result 786873402991262449642
565
- Bound result 9900000000000000001479
566
- Bound result 6916
567
- Bound result 8726
568
- Bound result 1348986071660156
569
- Bound result 5239411395537
570
- Bound result 0
571
- Bound result 1131
572
- Bound result 7995
573
- Bound result 0
574
- Bound result 8161
575
- Bound result 7718
585
+ Bound result 1548580883601478649517
586
+ Bound result 4479867
576
587
  Bound result 1
588
+ Bound result 275326166901063307525
589
+ Bound result 514264337593504336253
590
+ Bound result 216734224410546591882
591
+ Bound result 0
592
+ Bound result 1874863407976662570135
593
+ Bound result 714458837924287871680
594
+ Bound result 9900000000000508542456
595
+ Bound result 9900000000000000000407
596
+ Bound result 8995
597
+ Bound result 7820
598
+ Bound result 4602884991323874048850
599
+ Bound result 9900027881197501094996
600
+ Bound result 377
601
+ Bound result 31
602
+ Bound result 144
603
+ Bound result 73213732616918306116
604
+ Bound result 9900000000000000005621
605
+ Bound result 9991855308653467102964
606
+ Bound result 3463
607
+ Bound result 687
608
+ Bound result 775
609
+ Bound result 1348
577
610
 
578
611
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
579
612
 
580
613
  ╭-----------------------------------+---------------------+-------+---------+----------╮
581
614
  | Contract | Selector | Calls | Reverts | Discards |
582
615
  +======================================================================================+
583
- | RateLimiterRBACUpgradeableHandler | inflow | 521 | 0 | 0 |
616
+ | RateLimiterRBACUpgradeableHandler | inflow | 580 | 0 | 0 |
584
617
  |-----------------------------------+---------------------+-------+---------+----------|
585
- | RateLimiterRBACUpgradeableHandler | outflow | 573 | 0 | 0 |
618
+ | RateLimiterRBACUpgradeableHandler | outflow | 541 | 0 | 0 |
586
619
  |-----------------------------------+---------------------+-------+---------+----------|
587
- | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
620
+ | RateLimiterRBACUpgradeableHandler | setConfig | 599 | 0 | 0 |
588
621
  |-----------------------------------+---------------------+-------+---------+----------|
589
- | RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
622
+ | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
590
623
  |-----------------------------------+---------------------+-------+---------+----------|
591
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 560 | 0 | 0 |
624
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
592
625
  |-----------------------------------+---------------------+-------+---------+----------|
593
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
626
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
594
627
  |-----------------------------------+---------------------+-------+---------+----------|
595
- | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
628
+ | RateLimiterRBACUpgradeableHandler | warp | 519 | 0 | 0 |
596
629
  ╰-----------------------------------+---------------------+-------+---------+----------╯
597
630
 
598
631
  Logs:
599
- Bound result 1720358582150454157961
600
- Bound result 9900000000000000000656
601
- Bound result 3154
602
- Bound result 2024
603
- Bound result 1470937699
604
- Bound result 148652141527985156411
605
- Bound result 12069745255
606
- Bound result 4057
607
- Bound result 2607
608
- Bound result 9900000000290578305437
609
- Bound result 272121989076247067751
610
- Bound result 10
611
- Bound result 5590
612
- Bound result 2594
613
- Bound result 373586645566028579963
614
- Bound result 8112183245272758809010
615
- Bound result 40
616
- Bound result 393
617
- Bound result 3888365
618
- Bound result 1
632
+ Bound result 1736814038240406134510
633
+ Bound result 1058
634
+ Bound result 718
635
+ Bound result 6554
636
+ Bound result 113
637
+ Bound result 255
638
+ Bound result 1481
639
+ Bound result 9449
640
+ Bound result 990
641
+ Bound result 943
642
+ Bound result 29737036263899241466
643
+ Bound result 1177839823627468095543
644
+ Bound result 3073559828434448285249
645
+ Bound result 4612
646
+ Bound result 2682
647
+ Bound result 12934
648
+ Bound result 9900000000029706865942
649
+ Bound result 9660994027430679475617
650
+ Bound result 3015
651
+ Bound result 96
652
+ Bound result 9900000000000000003047
653
+ Bound result 9900000000000000001172
654
+ Bound result 2335
655
+ Bound result 72
619
656
 
620
657
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
621
658
 
622
659
  ╭-----------------------------------+---------------------+-------+---------+----------╮
623
660
  | Contract | Selector | Calls | Reverts | Discards |
624
661
  +======================================================================================+
625
- | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
662
+ | RateLimiterRBACUpgradeableHandler | inflow | 546 | 0 | 0 |
626
663
  |-----------------------------------+---------------------+-------+---------+----------|
627
- | RateLimiterRBACUpgradeableHandler | outflow | 561 | 0 | 0 |
664
+ | RateLimiterRBACUpgradeableHandler | outflow | 520 | 0 | 0 |
628
665
  |-----------------------------------+---------------------+-------+---------+----------|
629
- | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
666
+ | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
630
667
  |-----------------------------------+---------------------+-------+---------+----------|
631
- | RateLimiterRBACUpgradeableHandler | setState | 590 | 0 | 0 |
668
+ | RateLimiterRBACUpgradeableHandler | setState | 557 | 0 | 0 |
632
669
  |-----------------------------------+---------------------+-------+---------+----------|
633
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 516 | 0 | 0 |
670
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
634
671
  |-----------------------------------+---------------------+-------+---------+----------|
635
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
672
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 575 | 0 | 0 |
636
673
  |-----------------------------------+---------------------+-------+---------+----------|
637
- | RateLimiterRBACUpgradeableHandler | warp | 528 | 0 | 0 |
674
+ | RateLimiterRBACUpgradeableHandler | warp | 569 | 0 | 0 |
638
675
  ╰-----------------------------------+---------------------+-------+---------+----------╯
639
676
 
640
677
  Logs:
641
- Bound result 2
642
- Bound result 33184
643
- Bound result 7072
678
+ Bound result 1931
679
+ Bound result 815
680
+ Bound result 1
681
+ Bound result 68
682
+ Bound result 155444206180294169609
683
+ Bound result 283342707
684
+ Bound result 116977713357590587
685
+ Bound result 720
686
+ Bound result 9900000000126678020215
644
687
  Bound result 100000000000000000003
645
- Bound result 9900000000000000210174
646
- Bound result 233
647
- Bound result 10
648
- Bound result 5196
649
- Bound result 9900000000000000010180
650
- Bound result 9900000000000000009451
651
- Bound result 8764
652
- Bound result 383
653
- Bound result 316
654
- Bound result 198512580
655
- Bound result 9900000014991372019696
656
- Bound result 454473536626606827753
657
- Bound result 2333
658
- Bound result 357
659
- Bound result 17333873666794089
660
- Bound result 407797109073
661
- Bound result 0
662
- Bound result 3
688
+ Bound result 4558
689
+ Bound result 3417
690
+ Bound result 14255
691
+ Bound result 11
692
+ Bound result 1435
663
693
 
664
694
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
665
695
 
666
696
  ╭-----------------------------------+---------------------+-------+---------+----------╮
667
697
  | Contract | Selector | Calls | Reverts | Discards |
668
698
  +======================================================================================+
669
- | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
699
+ | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
670
700
  |-----------------------------------+---------------------+-------+---------+----------|
671
- | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
701
+ | RateLimiterRBACUpgradeableHandler | outflow | 529 | 0 | 0 |
672
702
  |-----------------------------------+---------------------+-------+---------+----------|
673
- | RateLimiterRBACUpgradeableHandler | setConfig | 587 | 0 | 0 |
703
+ | RateLimiterRBACUpgradeableHandler | setConfig | 567 | 0 | 0 |
674
704
  |-----------------------------------+---------------------+-------+---------+----------|
675
- | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
705
+ | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
676
706
  |-----------------------------------+---------------------+-------+---------+----------|
677
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
707
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 549 | 0 | 0 |
678
708
  |-----------------------------------+---------------------+-------+---------+----------|
679
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552 | 0 | 0 |
709
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
680
710
  |-----------------------------------+---------------------+-------+---------+----------|
681
- | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
711
+ | RateLimiterRBACUpgradeableHandler | warp | 568 | 0 | 0 |
682
712
  ╰-----------------------------------+---------------------+-------+---------+----------╯
683
713
 
684
714
  Logs:
685
- Bound result 1324
686
- Bound result 1934498091
687
- Bound result 1190898718653977334085
688
- Bound result 3722863
689
- Bound result 14
715
+ Bound result 811
716
+ Bound result 582
717
+ Bound result 8397
718
+ Bound result 1399
719
+ Bound result 9351
720
+ Bound result 9900000000000027395763
721
+ Bound result 100000000000000000002
722
+ Bound result 3187
723
+ Bound result 9341
724
+ Bound result 2416
725
+ Bound result 791671132
726
+ Bound result 561
727
+ Bound result 6
728
+ Bound result 35449142038
729
+ Bound result 750100
730
+ Bound result 22
690
731
  Bound result 2419
691
- Bound result 9
692
- Bound result 804
693
- Bound result 9900000000000000000048
694
- Bound result 9900000000000000003498
695
- Bound result 5180
696
- Bound result 490
697
- Bound result 35726372
698
- Bound result 9900000000000000008020
699
- Bound result 9900000000000000002328
700
- Bound result 7891
701
- Bound result 8109
702
- Bound result 69148976633768440625
703
- Bound result 13
732
+ Bound result 9900000000000000000232
733
+ Bound result 9900000000004294967296
734
+ Bound result 2461
735
+ Bound result 2096
704
736
 
705
737
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
706
738
 
707
739
  ╭-----------------------------------+---------------------+-------+---------+----------╮
708
740
  | Contract | Selector | Calls | Reverts | Discards |
709
741
  +======================================================================================+
710
- | RateLimiterRBACUpgradeableHandler | inflow | 518 | 0 | 0 |
742
+ | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
711
743
  |-----------------------------------+---------------------+-------+---------+----------|
712
- | RateLimiterRBACUpgradeableHandler | outflow | 529 | 0 | 0 |
744
+ | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
713
745
  |-----------------------------------+---------------------+-------+---------+----------|
714
- | RateLimiterRBACUpgradeableHandler | setConfig | 537 | 0 | 0 |
746
+ | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
715
747
  |-----------------------------------+---------------------+-------+---------+----------|
716
- | RateLimiterRBACUpgradeableHandler | setState | 579 | 0 | 0 |
748
+ | RateLimiterRBACUpgradeableHandler | setState | 508 | 0 | 0 |
717
749
  |-----------------------------------+---------------------+-------+---------+----------|
718
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 577 | 0 | 0 |
750
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
719
751
  |-----------------------------------+---------------------+-------+---------+----------|
720
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 513 | 0 | 0 |
752
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 596 | 0 | 0 |
721
753
  |-----------------------------------+---------------------+-------+---------+----------|
722
- | RateLimiterRBACUpgradeableHandler | warp | 587 | 0 | 0 |
754
+ | RateLimiterRBACUpgradeableHandler | warp | 532 | 0 | 0 |
723
755
  ╰-----------------------------------+---------------------+-------+---------+----------╯
724
756
 
725
757
  Logs:
726
- Bound result 9908113026368318122579
727
- Bound result 9936242216715233865557
728
- Bound result 79
729
- Bound result 2615
730
- Bound result 414623240959887
731
- Bound result 6125619476204441385152
732
- Bound result 1
733
- Bound result 6914264337593535947488
734
- Bound result 9900000000000141617015
735
- Bound result 310
736
- Bound result 1370
737
- Bound result 9900000000006464291803
738
- Bound result 9900000000000000001353
739
- Bound result 950
740
- Bound result 7514
741
- Bound result 58187
742
- Bound result 9828
743
- Bound result 6914264337593535947491
744
- Bound result 9900000000000000000913
745
- Bound result 11
746
- Bound result 64
747
- Bound result 36
748
- Bound result 358957228658098
749
- Bound result 4896
750
- Bound result 14794357908203140881309
751
- Bound result 32
752
- Bound result 1
753
- Bound result 4412707081309408
758
+ Bound result 616
759
+ Bound result 2165
760
+ Bound result 21
761
+ Bound result 3043
762
+ Bound result 359
763
+ Bound result 7393
764
+ Bound result 459
765
+ Bound result 2
766
+ Bound result 15349333446
767
+ Bound result 19
754
768
  Bound result 2
755
- Bound result 9900000000000000004897
756
- Bound result 9900000000000000002946
757
- Bound result 5224
758
- Bound result 194
769
+ Bound result 72120
770
+ Bound result 45
771
+ Bound result 1
772
+ Bound result 206113159719234512
773
+ Bound result 631894822407
774
+ Bound result 30
775
+ Bound result 1740
776
+ Bound result 9900000000000000001675
777
+ Bound result 7998996683314043846436
778
+ Bound result 1041
779
+ Bound result 3450
759
780
 
760
781
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
761
782
 
762
783
  ╭-----------------------------------+---------------------+-------+---------+----------╮
763
784
  | Contract | Selector | Calls | Reverts | Discards |
764
785
  +======================================================================================+
765
- | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
786
+ | RateLimiterRBACUpgradeableHandler | inflow | 497 | 0 | 0 |
766
787
  |-----------------------------------+---------------------+-------+---------+----------|
767
- | RateLimiterRBACUpgradeableHandler | outflow | 504 | 0 | 0 |
788
+ | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
768
789
  |-----------------------------------+---------------------+-------+---------+----------|
769
- | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
790
+ | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
770
791
  |-----------------------------------+---------------------+-------+---------+----------|
771
- | RateLimiterRBACUpgradeableHandler | setState | 587 | 0 | 0 |
792
+ | RateLimiterRBACUpgradeableHandler | setState | 565 | 0 | 0 |
772
793
  |-----------------------------------+---------------------+-------+---------+----------|
773
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 524 | 0 | 0 |
794
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
774
795
  |-----------------------------------+---------------------+-------+---------+----------|
775
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
796
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 604 | 0 | 0 |
776
797
  |-----------------------------------+---------------------+-------+---------+----------|
777
- | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
798
+ | RateLimiterRBACUpgradeableHandler | warp | 532 | 0 | 0 |
778
799
  ╰-----------------------------------+---------------------+-------+---------+----------╯
779
800
 
780
801
  Logs:
781
- Bound result 162473040
782
- Bound result 74661018294594698
783
- Bound result 100000000000000000002
784
- Bound result 9900000027464730937238
785
- Bound result 3409
786
- Bound result 17
787
- Bound result 8395
788
- Bound result 370
789
- Bound result 192384727016371900360
790
- Bound result 935737
791
- Bound result 110
792
- Bound result 2456276928367539854232
793
- Bound result 9901433512489437579189
794
- Bound result 537
795
- Bound result 7754
796
- Bound result 3415727804658564286584
797
- Bound result 24987884966
798
- Bound result 49
799
- Bound result 1015170248979259455100
800
- Bound result 5646599020773900999626
802
+ Bound result 1485
803
+ Bound result 21
804
+ Bound result 979
805
+ Bound result 2277
806
+ Bound result 9900000000098948848864
807
+ Bound result 100000000000000000001
808
+ Bound result 7310
809
+ Bound result 74
810
+ Bound result 9481167181146085100979
811
+ Bound result 2074
812
+ Bound result 1320
813
+ Bound result 2004
814
+ Bound result 36148380071
815
+ Bound result 2719922
816
+ Bound result 1908
817
+ Bound result 247671704908
818
+ Bound result 3793250972595378243
819
+ Bound result 688
801
820
  Bound result 2
821
+ Bound result 100000000000000000000
822
+ Bound result 6914264337593535947491
823
+ Bound result 29
824
+ Bound result 1661
802
825
 
803
826
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
804
827
 
805
828
  ╭-----------------------------------+---------------------+-------+---------+----------╮
806
829
  | Contract | Selector | Calls | Reverts | Discards |
807
830
  +======================================================================================+
808
- | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
831
+ | RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
809
832
  |-----------------------------------+---------------------+-------+---------+----------|
810
- | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
833
+ | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
811
834
  |-----------------------------------+---------------------+-------+---------+----------|
812
- | RateLimiterRBACUpgradeableHandler | setConfig | 573 | 0 | 0 |
835
+ | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
813
836
  |-----------------------------------+---------------------+-------+---------+----------|
814
- | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
837
+ | RateLimiterRBACUpgradeableHandler | setState | 580 | 0 | 0 |
815
838
  |-----------------------------------+---------------------+-------+---------+----------|
816
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 536 | 0 | 0 |
839
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
817
840
  |-----------------------------------+---------------------+-------+---------+----------|
818
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 512 | 0 | 0 |
841
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 569 | 0 | 0 |
819
842
  |-----------------------------------+---------------------+-------+---------+----------|
820
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
843
+ | RateLimiterRBACUpgradeableHandler | warp | 563 | 0 | 0 |
821
844
  ╰-----------------------------------+---------------------+-------+---------+----------╯
822
845
 
823
846
  Logs:
824
- Bound result 8008
825
- Bound result 1800
826
- Bound result 1651482124244328425914
827
- Bound result 1268257560132316953923
828
- Bound result 5990023113200114192398
829
- Bound result 5237277847370017847795
830
- Bound result 38
831
- Bound result 4045
832
- Bound result 7289034382703032760467
833
- Bound result 1869421681176210951578
834
- Bound result 12
835
- Bound result 28
836
- Bound result 9900000000000000003523
837
- Bound result 9900000000000000003273
838
- Bound result 2843
839
- Bound result 9252
840
- Bound result 9900000000000000002209
841
- Bound result 9900000000000000009333
842
- Bound result 6546
843
- Bound result 8265
844
- Bound result 807
845
- Bound result 33540518
846
- Bound result 7552
847
- Bound result 187
847
+ Bound result 10606647823578181610
848
+ Bound result 9900000000000000178684
849
+ Bound result 100000000000000000000
850
+ Bound result 9998
851
+ Bound result 9300
852
+ Bound result 9388
853
+ Bound result 2544
854
+ Bound result 0
855
+ Bound result 9900000002147620972234
856
+ Bound result 9900000000000000000417
857
+ Bound result 6241
858
+ Bound result 1309
859
+ Bound result 542
860
+ Bound result 18870501204219449971006
861
+ Bound result 225569
862
+ Bound result 3
848
863
  Bound result 1
849
- Bound result 14451
850
- Bound result 185606753317438162
851
- Bound result 1815
864
+ Bound result 3551326
865
+ Bound result 1352666287025906513
866
+ Bound result 9858
852
867
 
853
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.03s (6.43s CPU time)
868
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.42s (9.01s CPU time)
854
869
 
855
870
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
856
871
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -858,425 +873,395 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
858
873
  ╭-----------------------------------+---------------------+-------+---------+----------╮
859
874
  | Contract | Selector | Calls | Reverts | Discards |
860
875
  +======================================================================================+
861
- | RateLimiterRBACUpgradeableHandler | inflow | 513 | 0 | 0 |
876
+ | RateLimiterRBACUpgradeableHandler | inflow | 543 | 0 | 0 |
862
877
  |-----------------------------------+---------------------+-------+---------+----------|
863
- | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
878
+ | RateLimiterRBACUpgradeableHandler | outflow | 519 | 0 | 0 |
864
879
  |-----------------------------------+---------------------+-------+---------+----------|
865
- | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
880
+ | RateLimiterRBACUpgradeableHandler | setConfig | 589 | 0 | 0 |
866
881
  |-----------------------------------+---------------------+-------+---------+----------|
867
- | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
882
+ | RateLimiterRBACUpgradeableHandler | setState | 563 | 0 | 0 |
868
883
  |-----------------------------------+---------------------+-------+---------+----------|
869
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 593 | 0 | 0 |
884
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
870
885
  |-----------------------------------+---------------------+-------+---------+----------|
871
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 524 | 0 | 0 |
886
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
872
887
  |-----------------------------------+---------------------+-------+---------+----------|
873
- | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
888
+ | RateLimiterRBACUpgradeableHandler | warp | 523 | 0 | 0 |
874
889
  ╰-----------------------------------+---------------------+-------+---------+----------╯
875
890
 
876
891
  Logs:
877
- Bound result 2557
878
- Bound result 2527
892
+ Bound result 100328
893
+ Bound result 1663988164610123696057
894
+ Bound result 475785
895
+ Bound result 1
896
+ Bound result 319
897
+ Bound result 784
879
898
  Bound result 0
880
- Bound result 4978357149506662642309
881
- Bound result 9605578275025333593160
882
- Bound result 10
883
- Bound result 9997
884
- Bound result 6665
885
- Bound result 5553
886
- Bound result 9900000000000000004494
887
- Bound result 9900000000000000000723
888
- Bound result 2545
889
- Bound result 711
890
- Bound result 6914264337587757894120
891
- Bound result 4831
892
- Bound result 236164383790267926783
893
- Bound result 255938715378
894
- Bound result 6914264337587753892698
895
- Bound result 230
896
- Bound result 6914264337557575167977
897
- Bound result 15692607307700007666547
898
- Bound result 2512
899
- Bound result 2
900
- Bound result 11035748648267059480199
901
- Bound result 159
899
+ Bound result 392173355372290913730
900
+ Bound result 441
901
+ Bound result 537174172434044694112
902
+ Bound result 6282
903
+ Bound result 678
904
+ Bound result 9456905736582705805
905
+ Bound result 13591879461
906
+ Bound result 1115511093974316443714
907
+ Bound result 489
908
+ Bound result 9900007096987149084627
909
+ Bound result 9900000000001032493803
910
+ Bound result 497
911
+ Bound result 30
912
+ Bound result 7431
913
+ Bound result 3482
914
+ Bound result 63
915
+ Bound result 14033297352986617913003
916
+ Bound result 77326629676205
902
917
 
903
918
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
904
919
 
905
920
  ╭-----------------------------------+---------------------+-------+---------+----------╮
906
921
  | Contract | Selector | Calls | Reverts | Discards |
907
922
  +======================================================================================+
908
- | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
923
+ | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
909
924
  |-----------------------------------+---------------------+-------+---------+----------|
910
- | RateLimiterRBACUpgradeableHandler | outflow | 538 | 0 | 0 |
925
+ | RateLimiterRBACUpgradeableHandler | outflow | 584 | 0 | 0 |
911
926
  |-----------------------------------+---------------------+-------+---------+----------|
912
- | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
927
+ | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
913
928
  |-----------------------------------+---------------------+-------+---------+----------|
914
- | RateLimiterRBACUpgradeableHandler | setState | 524 | 0 | 0 |
929
+ | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
915
930
  |-----------------------------------+---------------------+-------+---------+----------|
916
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
931
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
917
932
  |-----------------------------------+---------------------+-------+---------+----------|
918
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 536 | 0 | 0 |
933
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 505 | 0 | 0 |
919
934
  |-----------------------------------+---------------------+-------+---------+----------|
920
- | RateLimiterRBACUpgradeableHandler | warp | 568 | 0 | 0 |
935
+ | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
921
936
  ╰-----------------------------------+---------------------+-------+---------+----------╯
922
937
 
923
938
  Logs:
924
- Bound result 101
925
- Bound result 105537236
926
- Bound result 123
927
- Bound result 9900000000000000000972
928
- Bound result 9900000000000000001125
929
- Bound result 594
930
- Bound result 996
931
- Bound result 1642
932
- Bound result 9900000000000000008207
933
- Bound result 9900000000000000002103
934
- Bound result 5590
935
- Bound result 1613
936
- Bound result 6914264337527860608202
937
- Bound result 6914264337576709967979
938
- Bound result 138
939
- Bound result 9900000011536684323273
940
- Bound result 9900000000000000000177
941
- Bound result 857
942
- Bound result 9045
943
- Bound result 17
944
- Bound result 8458
939
+ Bound result 3573
940
+ Bound result 934805284
941
+ Bound result 344526421
942
+ Bound result 1
943
+ Bound result 46020171
944
+ Bound result 514264337593543950332
945
+ Bound result 158610279475200
946
+ Bound result 1661571
947
+ Bound result 514264337593504336254
948
+ Bound result 0
949
+ Bound result 8463055308
950
+ Bound result 9
951
+ Bound result 9900000507845587545131
952
+ Bound result 824030058523604428037
953
+ Bound result 2716
954
+ Bound result 6241
955
+ Bound result 9900024795862163276820
956
+ Bound result 9920505445588318811298
957
+ Bound result 8247
958
+ Bound result 12
945
959
 
946
960
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
947
961
 
948
962
  ╭-----------------------------------+---------------------+-------+---------+----------╮
949
963
  | Contract | Selector | Calls | Reverts | Discards |
950
964
  +======================================================================================+
951
- | RateLimiterRBACUpgradeableHandler | inflow | 582 | 0 | 0 |
965
+ | RateLimiterRBACUpgradeableHandler | inflow | 528 | 0 | 0 |
952
966
  |-----------------------------------+---------------------+-------+---------+----------|
953
- | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
967
+ | RateLimiterRBACUpgradeableHandler | outflow | 578 | 0 | 0 |
954
968
  |-----------------------------------+---------------------+-------+---------+----------|
955
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
969
+ | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
956
970
  |-----------------------------------+---------------------+-------+---------+----------|
957
- | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
971
+ | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
958
972
  |-----------------------------------+---------------------+-------+---------+----------|
959
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
973
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
960
974
  |-----------------------------------+---------------------+-------+---------+----------|
961
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531 | 0 | 0 |
975
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553 | 0 | 0 |
962
976
  |-----------------------------------+---------------------+-------+---------+----------|
963
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
977
+ | RateLimiterRBACUpgradeableHandler | warp | 547 | 0 | 0 |
964
978
  ╰-----------------------------------+---------------------+-------+---------+----------╯
965
979
 
966
980
  Logs:
967
- Bound result 10516
968
- Bound result 442400193499211653386
969
- Bound result 488748047384393796712
981
+ Bound result 645482110905166912324
982
+ Bound result 1831908794040158325432
983
+ Bound result 401472089959490854185
984
+ Bound result 5
970
985
  Bound result 0
971
- Bound result 5524209010963487862338
972
- Bound result 6788213077142039764616
973
- Bound result 3980
974
- Bound result 9480
975
- Bound result 45
976
- Bound result 88884154932121776
986
+ Bound result 927356862852934536829
987
+ Bound result 815
988
+ Bound result 329
989
+ Bound result 225725077
990
+ Bound result 514264337593504336253
977
991
  Bound result 0
978
- Bound result 2495
979
- Bound result 4420710039556013273504
980
- Bound result 4260953636126790184720
981
- Bound result 6914264337593535947490
982
- Bound result 5983
983
- Bound result 2384
984
- Bound result 73
985
- Bound result 1724211
992
+ Bound result 3976321243
993
+ Bound result 3973
994
+ Bound result 0
995
+ Bound result 3
996
+ Bound result 9900000000000000007740
997
+ Bound result 9900000000000000000025
998
+ Bound result 3955
999
+ Bound result 578
1000
+ Bound result 4866
1001
+ Bound result 9904316375016999611120
1002
+ Bound result 1972430923601754067877
1003
+ Bound result 10
1004
+ Bound result 6001
986
1005
 
987
1006
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
988
1007
 
989
1008
  ╭-----------------------------------+---------------------+-------+---------+----------╮
990
1009
  | Contract | Selector | Calls | Reverts | Discards |
991
1010
  +======================================================================================+
992
- | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
1011
+ | RateLimiterRBACUpgradeableHandler | inflow | 528 | 0 | 0 |
993
1012
  |-----------------------------------+---------------------+-------+---------+----------|
994
- | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
1013
+ | RateLimiterRBACUpgradeableHandler | outflow | 575 | 0 | 0 |
995
1014
  |-----------------------------------+---------------------+-------+---------+----------|
996
- | RateLimiterRBACUpgradeableHandler | setConfig | 604 | 0 | 0 |
1015
+ | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
997
1016
  |-----------------------------------+---------------------+-------+---------+----------|
998
- | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
1017
+ | RateLimiterRBACUpgradeableHandler | setState | 552 | 0 | 0 |
999
1018
  |-----------------------------------+---------------------+-------+---------+----------|
1000
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 531 | 0 | 0 |
1019
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 560 | 0 | 0 |
1001
1020
  |-----------------------------------+---------------------+-------+---------+----------|
1002
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 534 | 0 | 0 |
1021
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 523 | 0 | 0 |
1003
1022
  |-----------------------------------+---------------------+-------+---------+----------|
1004
- | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
1023
+ | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
1005
1024
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1006
1025
 
1007
1026
  Logs:
1008
- Bound result 10384
1009
- Bound result 1303486079
1010
- Bound result 0
1011
- Bound result 2716553223036437023076
1012
- Bound result 7611336645876654784001
1013
- Bound result 692
1014
- Bound result 7689
1015
- Bound result 7866718220607722265782
1016
- Bound result 9804
1017
- Bound result 651597525907305044410
1018
- Bound result 3
1027
+ Bound result 44200218074
1028
+ Bound result 9900000000045495692240
1029
+ Bound result 9900000006284542095551
1030
+ Bound result 6241
1031
+ Bound result 4341
1032
+ Bound result 19700965608594406092633
1033
+ Bound result 2950134782757049742087
1034
+ Bound result 1
1035
+ Bound result 2233625730
1036
+ Bound result 5320756347662
1037
+ Bound result 12834414562989669087410
1038
+ Bound result 8204
1019
1039
  Bound result 0
1020
- Bound result 9623
1021
- Bound result 5980
1022
- Bound result 7452
1023
- Bound result 15091
1024
- Bound result 57846971092458
1025
- Bound result 10733
1026
- Bound result 1415400260301564663048
1027
- Bound result 102606151328000
1028
- Bound result 1327
1029
- Bound result 1643
1030
- Bound result 443
1031
- Bound result 5888
1040
+ Bound result 9900000000000001976518
1041
+ Bound result 4561742027891098280905
1042
+ Bound result 147
1043
+ Bound result 6241
1044
+ Bound result 2590
1045
+ Bound result 452777887
1046
+ Bound result 1
1047
+ Bound result 1
1048
+ Bound result 3362395015160
1049
+ Bound result 887609337669933140682
1050
+ Bound result 1
1051
+ Bound result 320048802512520584725
1052
+ Bound result 9900027880653097152688
1053
+ Bound result 9900016822727333249033
1054
+ Bound result 8996
1055
+ Bound result 6239
1032
1056
 
1033
1057
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1034
1058
 
1035
1059
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1036
1060
  | Contract | Selector | Calls | Reverts | Discards |
1037
1061
  +======================================================================================+
1038
- | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
1062
+ | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
1039
1063
  |-----------------------------------+---------------------+-------+---------+----------|
1040
- | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
1064
+ | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
1041
1065
  |-----------------------------------+---------------------+-------+---------+----------|
1042
- | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
1066
+ | RateLimiterRBACUpgradeableHandler | setConfig | 537 | 0 | 0 |
1043
1067
  |-----------------------------------+---------------------+-------+---------+----------|
1044
- | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
1068
+ | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
1045
1069
  |-----------------------------------+---------------------+-------+---------+----------|
1046
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 539 | 0 | 0 |
1070
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
1047
1071
  |-----------------------------------+---------------------+-------+---------+----------|
1048
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
1072
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 523 | 0 | 0 |
1049
1073
  |-----------------------------------+---------------------+-------+---------+----------|
1050
- | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
1074
+ | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
1051
1075
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1052
1076
 
1053
1077
  Logs:
1054
- Bound result 4745201879758015458770
1055
- Bound result 100000000000000000001
1056
- Bound result 1583
1057
- Bound result 13
1058
- Bound result 5334516197851111392408
1059
- Bound result 6914264337593535947491
1060
- Bound result 3609
1061
- Bound result 4727
1062
- Bound result 1342023
1063
- Bound result 8151
1064
- Bound result 9900000000000000006079
1065
- Bound result 9900000000000000003521
1066
- Bound result 864
1067
- Bound result 8439
1068
- Bound result 4688
1069
- Bound result 27021
1070
- Bound result 6914264337565361935187
1071
- Bound result 3
1072
- Bound result 5186
1073
- Bound result 1599
1078
+ Bound result 1340
1079
+ Bound result 1572
1080
+ Bound result 1971
1081
+ Bound result 4
1082
+ Bound result 9900000000000000000173
1083
+ Bound result 9900000000000000000486
1084
+ Bound result 6211
1085
+ Bound result 5574
1086
+ Bound result 1496637379279141786121
1087
+ Bound result 4390
1088
+ Bound result 4202047188
1089
+ Bound result 8679
1090
+ Bound result 4376
1091
+ Bound result 1
1074
1092
 
1075
1093
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1076
1094
 
1077
1095
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1078
1096
  | Contract | Selector | Calls | Reverts | Discards |
1079
1097
  +======================================================================================+
1080
- | RateLimiterRBACUpgradeableHandler | inflow | 593 | 0 | 0 |
1098
+ | RateLimiterRBACUpgradeableHandler | inflow | 501 | 0 | 0 |
1081
1099
  |-----------------------------------+---------------------+-------+---------+----------|
1082
- | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
1100
+ | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
1083
1101
  |-----------------------------------+---------------------+-------+---------+----------|
1084
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
1102
+ | RateLimiterRBACUpgradeableHandler | setConfig | 561 | 0 | 0 |
1085
1103
  |-----------------------------------+---------------------+-------+---------+----------|
1086
- | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
1104
+ | RateLimiterRBACUpgradeableHandler | setState | 556 | 0 | 0 |
1087
1105
  |-----------------------------------+---------------------+-------+---------+----------|
1088
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
1106
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
1089
1107
  |-----------------------------------+---------------------+-------+---------+----------|
1090
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 591 | 0 | 0 |
1108
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 584 | 0 | 0 |
1091
1109
  |-----------------------------------+---------------------+-------+---------+----------|
1092
- | RateLimiterRBACUpgradeableHandler | warp | 486 | 0 | 0 |
1110
+ | RateLimiterRBACUpgradeableHandler | warp | 570 | 0 | 0 |
1093
1111
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1094
1112
 
1095
1113
  Logs:
1096
- Bound result 989
1097
- Bound result 9900000000032236582255
1098
- Bound result 9900000000000000084467
1099
- Bound result 1220
1100
- Bound result 9998
1101
- Bound result 3341
1102
- Bound result 1225
1103
- Bound result 1
1104
- Bound result 6265
1105
- Bound result 7940
1114
+ Bound result 7082
1115
+ Bound result 186099735756211201328
1106
1116
  Bound result 1
1107
- Bound result 9900000006825974991186
1108
- Bound result 9900000000000000321107
1109
- Bound result 2548
1110
- Bound result 5267
1111
- Bound result 1049228636711332296883
1112
- Bound result 4133266345060000312615
1113
- Bound result 130992286406668910
1114
- Bound result 7
1115
- Bound result 1
1116
- Bound result 10153
1117
- Bound result 661580606
1118
- Bound result 99
1119
- Bound result 0
1120
- Bound result 11357370558486767590158
1121
- Bound result 105
1122
- Bound result 0
1123
- Bound result 4058070502
1117
+ Bound result 2130107514633010
1118
+ Bound result 3902
1119
+ Bound result 1246
1120
+ Bound result 514264337593543950333
1121
+ Bound result 3021
1122
+ Bound result 45534840732951
1123
+ Bound result 6914264337593535947490
1124
+ Bound result 9900000046358333908879
1125
+ Bound result 4034
1126
+ Bound result 6817
1127
+ Bound result 16
1128
+ Bound result 6127
1129
+ Bound result 9900000000000000000334
1130
+ Bound result 6914264337593535947490
1131
+ Bound result 1030
1132
+ Bound result 2906
1133
+ Bound result 7029
1124
1134
 
1125
1135
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1126
1136
 
1127
1137
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1128
1138
  | Contract | Selector | Calls | Reverts | Discards |
1129
1139
  +======================================================================================+
1130
- | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
1140
+ | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
1131
1141
  |-----------------------------------+---------------------+-------+---------+----------|
1132
- | RateLimiterRBACUpgradeableHandler | outflow | 524 | 0 | 0 |
1142
+ | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
1133
1143
  |-----------------------------------+---------------------+-------+---------+----------|
1134
- | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
1144
+ | RateLimiterRBACUpgradeableHandler | setConfig | 523 | 0 | 0 |
1135
1145
  |-----------------------------------+---------------------+-------+---------+----------|
1136
- | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
1146
+ | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
1137
1147
  |-----------------------------------+---------------------+-------+---------+----------|
1138
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
1148
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
1139
1149
  |-----------------------------------+---------------------+-------+---------+----------|
1140
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
1150
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
1141
1151
  |-----------------------------------+---------------------+-------+---------+----------|
1142
- | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
1152
+ | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
1143
1153
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1144
1154
 
1145
1155
  Logs:
1146
- Bound result 41012473
1147
- Bound result 3207988
1148
- Bound result 1
1149
- Bound result 861566632235817252104
1150
- Bound result 9900000000000000003342
1151
- Bound result 9900000000000000002799
1152
- Bound result 5521
1153
- Bound result 8428
1154
- Bound result 243361090528
1155
- Bound result 357937062914655056
1156
- Bound result 0
1157
- Bound result 1615
1158
- Bound result 578961018
1159
- Bound result 348
1160
- Bound result 3575
1161
- Bound result 520663427717375230597
1162
- Bound result 9900000000000000248196
1163
- Bound result 9900000081667917793013
1164
- Bound result 9995
1165
- Bound result 12
1166
- Bound result 97739540530312552
1167
- Bound result 1269195969
1168
- Bound result 1137
1156
+ Bound result 9900000000000026403862
1157
+ Bound result 177610587240003021062
1158
+ Bound result 3016
1159
+ Bound result 7503
1160
+ Bound result 9900000000000000006853
1161
+ Bound result 9900000000000000009378
1162
+ Bound result 3350
1163
+ Bound result 6028
1164
+ Bound result 10220
1165
+ Bound result 6509
1166
+ Bound result 8911
1167
+ Bound result 780
1168
+ Bound result 4375
1169
+ Bound result 4581
1170
+ Bound result 649010003639538861676
1171
+ Bound result 100000000000000000003
1172
+ Bound result 257
1173
+ Bound result 6006
1174
+ Bound result 712
1175
+ Bound result 37287
1176
+ Bound result 5186
1177
+ Bound result 222
1178
+ Bound result 2
1179
+ Bound result 1966
1180
+ Bound result 398
1181
+ Bound result 2408
1169
1182
 
1170
1183
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1171
1184
 
1172
1185
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1173
1186
  | Contract | Selector | Calls | Reverts | Discards |
1174
1187
  +======================================================================================+
1175
- | RateLimiterRBACUpgradeableHandler | inflow | 577 | 0 | 0 |
1188
+ | RateLimiterRBACUpgradeableHandler | inflow | 511 | 0 | 0 |
1176
1189
  |-----------------------------------+---------------------+-------+---------+----------|
1177
- | RateLimiterRBACUpgradeableHandler | outflow | 524 | 0 | 0 |
1190
+ | RateLimiterRBACUpgradeableHandler | outflow | 581 | 0 | 0 |
1178
1191
  |-----------------------------------+---------------------+-------+---------+----------|
1179
- | RateLimiterRBACUpgradeableHandler | setConfig | 572 | 0 | 0 |
1192
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
1180
1193
  |-----------------------------------+---------------------+-------+---------+----------|
1181
- | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
1194
+ | RateLimiterRBACUpgradeableHandler | setState | 557 | 0 | 0 |
1182
1195
  |-----------------------------------+---------------------+-------+---------+----------|
1183
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 488 | 0 | 0 |
1196
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
1184
1197
  |-----------------------------------+---------------------+-------+---------+----------|
1185
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
1198
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560 | 0 | 0 |
1186
1199
  |-----------------------------------+---------------------+-------+---------+----------|
1187
- | RateLimiterRBACUpgradeableHandler | warp | 529 | 0 | 0 |
1200
+ | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
1188
1201
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1189
1202
 
1190
1203
  Logs:
1191
- Bound result 14839505982
1192
- Bound result 1301
1193
- Bound result 5041
1194
- Bound result 448
1195
- Bound result 1000000000000000000000
1196
- Bound result 911641279
1197
- Bound result 10194
1198
- Bound result 319
1199
- Bound result 45
1200
- Bound result 2152594145886467687
1201
- Bound result 27135279727312348263
1202
- Bound result 610
1203
- Bound result 9771
1204
- Bound result 1010
1205
- Bound result 17
1206
- Bound result 9900000030405348083291
1207
- Bound result 9917359897767360299520
1208
- Bound result 13
1209
- Bound result 7050
1210
- Bound result 100000000000000000001
1211
-
1212
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.06s (6.37s CPU time)
1213
-
1214
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1215
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1216
- [PASS] test_constructor_InitialMode() (gas: 15578)
1217
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1218
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1219
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1220
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1221
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1222
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1223
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1224
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110010, ~: 110030)
1225
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1226
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1227
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1228
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1229
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1230
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1231
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1232
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1233
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1234
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1235
- [PASS] test_setMode_Blacklist() (gas: 40021)
1236
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
1237
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
1238
- [PASS] test_setMode_Whitelist() (gas: 40108)
1239
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1240
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1241
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1242
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1243
- [PASS] test_storageHash() (gas: 3458)
1244
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 8.84s (288.20ms CPU time)
1245
-
1246
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1247
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1248
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1249
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47631, ~: 48966)
1250
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1251
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1252
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1253
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1254
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1255
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1256
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1257
- [PASS] test_getFee_Default() (gas: 43108)
1258
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45748, ~: 47017)
1259
- [PASS] test_getFee_Rounding() (gas: 45449)
1260
- [PASS] test_getFee_Specific() (gas: 66985)
1261
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1262
- [PASS] test_setDefaultFeeBps() (gas: 42199)
1263
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34304, ~: 42268)
1264
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1265
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1266
- [PASS] test_setFeeBps() (gas: 77237)
1267
- Logs:
1268
- Bound result 500
1204
+ Bound result 3930
1205
+ Bound result 34006092189551
1206
+ Bound result 1
1207
+ Bound result 481
1208
+ Bound result 719607800208086776264
1209
+ Bound result 12573549
1210
+ Bound result 1
1211
+ Bound result 36137
1212
+ Bound result 100000000000000000000
1213
+ Bound result 9900000008575257226795
1214
+ Bound result 38
1215
+ Bound result 8644
1216
+ Bound result 7012358804670667576069
1217
+ Bound result 9925571929403418548527
1218
+ Bound result 214
1219
+ Bound result 9888
1220
+ Bound result 3868681460500477848343
1221
+ Bound result 5405615708763147333619
1222
+ Bound result 4126
1223
+ Bound result 672
1224
+
1225
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.74s (10.31s CPU time)
1269
1226
 
1270
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68578, ~: 77570)
1271
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1272
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1273
- [PASS] test_storageHash() (gas: 3436)
1274
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 8.87s (560.33ms CPU time)
1227
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
1228
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
1229
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
1230
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
1231
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
1232
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
1233
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
1234
+ [PASS] test_isPaused_Default() (gas: 44698)
1235
+ [PASS] test_isPaused_InitialState() (gas: 22070)
1236
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
1237
+ [PASS] test_isPaused_Override() (gas: 69381)
1238
+ [PASS] test_isPaused_Specific() (gas: 46709)
1239
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
1240
+ [PASS] test_pauseConfig() (gas: 45626)
1241
+ [PASS] test_setDefaultPaused() (gas: 39667)
1242
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28007, ~: 16332)
1243
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
1244
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
1245
+ [PASS] test_setPaused() (gas: 43060)
1246
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
1247
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38019, ~: 43373)
1248
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
1249
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
1250
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
1251
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58208, ~: 46989)
1252
+ [PASS] test_storageHash() (gas: 3480)
1253
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
1254
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
1255
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
1256
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
1257
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
1258
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
1259
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 12.13s (599.88ms CPU time)
1275
1260
 
1276
1261
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1277
1262
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1278
1263
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1279
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 811807, ~: 285058)
1264
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 756737, ~: 166984)
1280
1265
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1281
1266
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1282
1267
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1289,12 +1274,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1289
1274
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1290
1275
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1291
1276
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1292
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11147843, ~: 10409422)
1277
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11167123, ~: 10448372)
1293
1278
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1294
1279
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1295
1280
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1296
1281
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1297
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 739856, ~: 123158)
1282
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 804253, ~: 311256)
1298
1283
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1299
1284
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1300
1285
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1307,10 +1292,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1307
1292
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1308
1293
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1309
1294
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1310
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11177390, ~: 10439714)
1295
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11123793, ~: 10359874)
1311
1296
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1312
1297
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1313
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 8.87s (20.85s CPU time)
1298
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 12.13s (28.65s CPU time)
1314
1299
 
1315
- Ran 17 test suites in 8.89s (33.41s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1316
- ⏳ forge test: 21.139s
1300
+ Ran 17 test suites in 12.15s (34.26s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1301
+ ⏳ forge test: 26.799s