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

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 +899 -804
  2. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -4,23 +4,95 @@
4
4
 
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
- 📦 Using scoped workspace: /tmp/lz-scoped-workspace-1ezqv4
7
+ 📦 Using scoped workspace: /tmp/lz-scoped-workspace-NokZXP
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No scoped-workspace pruner configured; using unpruned package-level source copy fallback.
10
- (node:219110) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
10
+ (node:62115) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
11
11
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
12
12
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
13
13
  (Use `node --trace-warnings ...` to show where the warning was created)
14
14
  📦 Docker volumes:
15
- -v /tmp/lz-scoped-workspace-1ezqv4:/workspace
15
+ -v /tmp/lz-scoped-workspace-NokZXP:/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
- $ 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
- ✅ 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)
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-4
19
+ Error response from daemon: No such image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4
20
+ 📥 Pulling Docker image from: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4
21
+ $ docker pull 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4
22
+ forge-1.3.6-hardhat-2.26.3-patch-4: Pulling from layerzerolabs/evm-tooling
23
+ 17639c486e57: Pulling fs layer
24
+ 53d86cd64323: Pulling fs layer
25
+ bbd7db620433: Pulling fs layer
26
+ dd8d0adb78c1: Pulling fs layer
27
+ e2082273f6a6: Pulling fs layer
28
+ 6aca5ecbfbf0: Pulling fs layer
29
+ 57cfa89d22f0: Pulling fs layer
30
+ 95f21f1a21d0: Pulling fs layer
31
+ 796d60317d4d: Pulling fs layer
32
+ c35d7f83b6fc: Pulling fs layer
33
+ 8f1cde221fc4: Pulling fs layer
34
+ dd8d0adb78c1: Download complete
35
+ bcbb9eb73fb5: Pulling fs layer
36
+ c8e19a2c627e: Pulling fs layer
37
+ 53d86cd64323: Download complete
38
+ b79abc894e87: Pulling fs layer
39
+ 95f21f1a21d0: Waiting
40
+ 63ec365deef1: Pulling fs layer
41
+ 36a7bdc86737: Pulling fs layer
42
+ 36a7bdc86737: Waiting
43
+ 57cfa89d22f0: Waiting
44
+ 796d60317d4d: Waiting
45
+ 6aca5ecbfbf0: Download complete
46
+ c35d7f83b6fc: Waiting
47
+ e2082273f6a6: Download complete
48
+ 8f1cde221fc4: Waiting
49
+ c8e19a2c627e: Waiting
50
+ b79abc894e87: Waiting
51
+ bcbb9eb73fb5: Waiting
52
+ 63ec365deef1: Waiting
53
+ bbd7db620433: Verifying Checksum
54
+ bbd7db620433: Download complete
55
+ 796d60317d4d: Verifying Checksum
56
+ 796d60317d4d: Download complete
57
+ 57cfa89d22f0: Verifying Checksum
58
+ 57cfa89d22f0: Download complete
59
+ 8f1cde221fc4: Download complete
60
+ c35d7f83b6fc: Download complete
61
+ bcbb9eb73fb5: Verifying Checksum
62
+ bcbb9eb73fb5: Download complete
63
+ 17639c486e57: Pull complete
64
+ c8e19a2c627e: Verifying Checksum
65
+ c8e19a2c627e: Download complete
66
+ 53d86cd64323: Pull complete
67
+ 95f21f1a21d0: Verifying Checksum
68
+ 95f21f1a21d0: Download complete
69
+ b79abc894e87: Verifying Checksum
70
+ b79abc894e87: Download complete
71
+ 63ec365deef1: Verifying Checksum
72
+ 63ec365deef1: Download complete
73
+ 36a7bdc86737: Download complete
74
+ bbd7db620433: Pull complete
75
+ dd8d0adb78c1: Pull complete
76
+ e2082273f6a6: Pull complete
77
+ 6aca5ecbfbf0: Pull complete
78
+ 57cfa89d22f0: Pull complete
79
+ 95f21f1a21d0: Pull complete
80
+ 796d60317d4d: Pull complete
81
+ c35d7f83b6fc: Pull complete
82
+ 8f1cde221fc4: Pull complete
83
+ bcbb9eb73fb5: Pull complete
84
+ c8e19a2c627e: Pull complete
85
+ b79abc894e87: Pull complete
86
+ 63ec365deef1: Pull complete
87
+ 36a7bdc86737: Pull complete
88
+ Digest: sha256:778dd8fe35fba1405c5995090a0d4167609e8b03ece06b005fb0e067f4f7e2ab
89
+ Status: Image is up to date for 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4
90
+ 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4
91
+ ✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4
20
92
  👤 Running container as UID:GID 1001:1001
21
- $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-1ezqv4:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
93
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-NokZXP:/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-4 forge test
22
94
  Compiling 84 files with Solc 0.8.22
23
- Solc 0.8.22 finished in 14.63s
95
+ Solc 0.8.22 finished in 11.24s
24
96
  Compiler run successful with warnings:
25
97
  Warning (2018): Function state mutability can be restricted to view
26
98
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -143,108 +215,164 @@ Warning (2018): Function state mutability can be restricted to view
143
215
  | ^ (Relevant source part starts here and spans across multiple lines).
144
216
 
145
217
 
218
+ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
219
+ [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
220
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
221
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 95004)
222
+ [PASS] test_checkpointRateLimits_Revert_Unauthorized() (gas: 19814)
223
+ [PASS] test_checkpointRateLimits_Single() (gas: 88573)
224
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1389525)
225
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38027)
226
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389277)
227
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25041)
228
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 48664)
229
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23941)
230
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23974)
231
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 89409)
232
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2859090)
233
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2822558)
234
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2819822)
235
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51719)
236
+ [PASS] test_inflow_GloballyDisabled() (gas: 54520)
237
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2816359)
238
+ [PASS] test_initial_state_closed() (gas: 2770122)
239
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51721)
240
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30638)
241
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32726)
242
+ [PASS] test_outflow_GloballyDisabled() (gas: 54496)
243
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 78872)
244
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2816351)
245
+ [PASS] test_setRateLimitAddressExemptions() (gas: 62304)
246
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 24241)
247
+ [PASS] test_setRateLimitAddressExemptions_Revert_Unauthorized() (gas: 19928)
248
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 97507)
249
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 110012)
250
+ [PASS] test_setRateLimitConfigs_Revert_Unauthorized() (gas: 21277)
251
+ [PASS] test_setRateLimitConfigs_Single() (gas: 79162)
252
+ [PASS] test_setRateLimitGlobalConfig() (gas: 52231)
253
+ [PASS] test_setRateLimitGlobalConfig_Revert_Unauthorized() (gas: 19455)
254
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 18907)
255
+ [PASS] test_setRateLimitStates_Revert_Unauthorized() (gas: 20546)
256
+ [PASS] test_setRateLimitStates_Single() (gas: 52512)
257
+ [PASS] test_storageHash() (gas: 3392)
258
+ [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
259
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 33.66ms (24.32ms CPU time)
260
+
146
261
  Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
147
262
  [PASS] test_feeDeposit() (gas: 17598)
148
263
  [PASS] test_setFeeDeposit() (gas: 24907)
149
264
  [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
150
265
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
151
266
  [PASS] test_storageHash() (gas: 3337)
152
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 217.99ms (217.49ms CPU time)
267
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 81.28ms (80.72ms CPU time)
153
268
 
154
269
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
155
270
  [PASS] test_feeDeposit() (gas: 17660)
156
271
  [PASS] test_setFeeDeposit() (gas: 27618)
157
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24052, ~: 24055)
272
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
158
273
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 24359)
159
274
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
160
275
  [PASS] test_storageHash() (gas: 3315)
161
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 231.89ms (231.30ms CPU time)
162
-
163
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
164
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25802, ~: 38584)
165
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
166
- [PASS] test_assertNotPaused_Success() (gas: 12516)
167
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
168
- [PASS] test_isPaused_InitialState() (gas: 15595)
169
- [PASS] test_pause() (gas: 39592)
170
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28063, ~: 39861)
171
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
172
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
173
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
174
- [PASS] test_storageHash() (gas: 3414)
175
- [PASS] test_unpause() (gas: 31115)
176
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40735, ~: 42291)
177
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 42105)
178
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38427)
179
- [PASS] test_whenNotPaused_Success() (gas: 38930)
180
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48777)
181
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 58208)
182
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15612)
183
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 339.06ms (523.24ms CPU time)
276
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 124.81ms (121.26ms CPU time)
184
277
 
185
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
186
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
187
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
188
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47634, ~: 48966)
189
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
190
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
191
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
192
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
193
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
194
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
195
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
196
- [PASS] test_getFee_Default() (gas: 43108)
197
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45500, ~: 47017)
198
- [PASS] test_getFee_Rounding() (gas: 45449)
199
- [PASS] test_getFee_Specific() (gas: 66985)
200
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
201
- [PASS] test_setDefaultFeeBps() (gas: 42199)
202
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34991, ~: 42268)
203
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
204
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 22361)
205
- [PASS] test_setFeeBps() (gas: 77237)
206
- Logs:
207
- Bound result 500
278
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
279
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
280
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104265, ~: 104248)
281
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
282
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
283
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
284
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
285
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
286
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
287
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
288
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
289
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
290
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50279)
291
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
292
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
293
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
294
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
295
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
296
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
297
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
298
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
299
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
300
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
301
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
302
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
303
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
304
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
305
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
306
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
307
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
308
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
309
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
310
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
311
+ [PASS] test_storageHash() (gas: 3380)
312
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 190.55ms (254.04ms CPU time)
208
313
 
209
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69483, ~: 77570)
210
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
211
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 22460)
212
- [PASS] test_storageHash() (gas: 3436)
213
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 584.39ms (790.31ms CPU time)
314
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
315
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
316
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
317
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
318
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
319
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
320
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
321
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
322
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
323
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
324
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
325
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 229.33ms (61.57ms CPU time)
214
326
 
215
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
216
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
217
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
218
- [PASS] test_assertNotPaused_Success() (gas: 14934)
219
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
220
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
221
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
222
- [PASS] test_isPaused_Default() (gas: 44698)
223
- [PASS] test_isPaused_InitialState() (gas: 22070)
224
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
225
- [PASS] test_isPaused_Override() (gas: 69381)
226
- [PASS] test_isPaused_Specific() (gas: 46709)
227
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
228
- [PASS] test_pauseConfig() (gas: 45626)
229
- [PASS] test_setDefaultPaused() (gas: 39667)
230
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27653, ~: 16332)
231
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
232
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
233
- [PASS] test_setPaused() (gas: 43060)
234
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
235
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38398, ~: 43373)
236
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
237
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
238
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
239
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58049, ~: 46989)
240
- [PASS] test_storageHash() (gas: 3480)
241
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
242
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
243
- [PASS] test_whenNotPaused_Success() (gas: 41297)
244
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
245
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
246
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
247
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 591.95ms (752.65ms CPU time)
327
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
328
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
329
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
330
+ [PASS] test_assertNotPaused_Success() (gas: 14891)
331
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
332
+ [PASS] test_defaultPaused_InitialState() (gas: 15572)
333
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18020)
334
+ [PASS] test_isPaused_Default() (gas: 47316)
335
+ [PASS] test_isPaused_InitialState() (gas: 22172)
336
+ [PASS] test_isPaused_MultipleIDs() (gas: 80142)
337
+ [PASS] test_isPaused_Override() (gas: 75171)
338
+ [PASS] test_isPaused_Specific() (gas: 50105)
339
+ [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
340
+ [PASS] test_pauseConfig() (gas: 51028)
341
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 174204)
342
+ [PASS] test_setDefaultPaused() (gas: 42196)
343
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30636, ~: 30636)
344
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
345
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
346
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 22489)
347
+ [PASS] test_setDefaultPaused_Success() (gas: 40744)
348
+ [PASS] test_setPaused() (gas: 48361)
349
+ [PASS] test_setPaused_DormantData() (gas: 297504)
350
+ [PASS] test_setPaused_EmptyArray() (gas: 15702)
351
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 102594)
352
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 44002, ~: 48533)
353
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 224991, ~: 221992)
354
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 25048)
355
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 134340)
356
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 109682)
357
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 25986)
358
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 132969)
359
+ [PASS] test_setPaused_Success() (gas: 45897)
360
+ [PASS] test_setPaused_Success_Batch() (gas: 345312)
361
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
362
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
363
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 243537)
364
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 135474)
365
+ [PASS] test_setPaused_Success_Toggle() (gas: 58022)
366
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 132087)
367
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 61727, ~: 50341)
368
+ [PASS] test_storageHash() (gas: 3392)
369
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
370
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
371
+ [PASS] test_whenNotPaused_Success() (gas: 41299)
372
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
373
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
374
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
375
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 929.89ms (514.41ms CPU time)
248
376
 
249
377
  Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
250
378
  [PASS] test_SwitchModes_PreservesState() (gas: 195548)
@@ -279,45 +407,7 @@ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTes
279
407
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
280
408
  [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23066)
281
409
  [PASS] test_storageHash() (gas: 3480)
282
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.57s (740.42ms CPU time)
283
-
284
- Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
285
- [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
286
- [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
287
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
288
- [PASS] test_checkpointRateLimits_Single() (gas: 85741)
289
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
290
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
291
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
292
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
293
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
294
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
295
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
296
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
297
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
298
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
299
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
300
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
301
- [PASS] test_inflow_GloballyDisabled() (gas: 52015)
302
- [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
303
- [PASS] test_initial_state_closed() (gas: 2034659)
304
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
305
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
306
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
307
- [PASS] test_outflow_GloballyDisabled() (gas: 52036)
308
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
309
- [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
310
- [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
311
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
312
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
313
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
314
- [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
315
- [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
316
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
317
- [PASS] test_setRateLimitStates_Single() (gas: 49974)
318
- [PASS] test_storageHash() (gas: 3414)
319
- [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
320
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 2.02s (25.70ms CPU time)
410
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 944.21ms (542.82ms CPU time)
321
411
 
322
412
  Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
323
413
  [PASS] test_SwitchModes_PreservesState() (gas: 186406)
@@ -349,887 +439,892 @@ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTes
349
439
  [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
350
440
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
351
441
  [PASS] test_storageHash() (gas: 3458)
352
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 2.02s (1.25s CPU time)
442
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 1.05s (411.80ms CPU time)
353
443
 
354
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
355
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
356
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
357
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44670, ~: 46317)
358
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
359
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
360
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
361
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
362
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
363
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
364
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
365
- [PASS] test_getFee_Default() (gas: 40577)
366
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43022, ~: 44486)
367
- [PASS] test_getFee_Rounding() (gas: 42835)
368
- [PASS] test_getFee_Specific() (gas: 63968)
369
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
370
- [PASS] test_setDefaultFeeBps() (gas: 39576)
371
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32364, ~: 39667)
372
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
373
- [PASS] test_setFeeBps() (gas: 73871)
374
- Logs:
375
- Bound result 500
376
-
377
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65240, ~: 74224)
378
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
379
- [PASS] test_storageHash() (gas: 3426)
380
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 2.02s (1.05s CPU time)
444
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
445
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26966, ~: 41090)
446
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
447
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
448
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15969)
449
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 51358)
450
+ [PASS] test_isPaused_InitialState() (gas: 15629)
451
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 219691)
452
+ [PASS] test_multipleRoleGrants() (gas: 395725)
453
+ [PASS] test_pause() (gas: 42109)
454
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 35880)
455
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 181540)
456
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30425, ~: 18756)
457
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
458
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
459
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20199)
460
+ [PASS] test_setPaused_Success() (gas: 42640)
461
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 59456)
462
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
463
+ [PASS] test_storageHash() (gas: 3414)
464
+ [PASS] test_unpause() (gas: 35177)
465
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 42032, ~: 44741)
466
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44622)
467
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40955)
468
+ [PASS] test_whenNotPaused_Success() (gas: 38986)
469
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52848)
470
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 63439)
471
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15646)
472
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.27s (176.42ms CPU time)
381
473
 
382
- Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
383
- [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
384
- [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
385
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 95004)
386
- [PASS] test_checkpointRateLimits_Revert_Unauthorized() (gas: 19814)
387
- [PASS] test_checkpointRateLimits_Single() (gas: 88573)
388
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389525)
389
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38027)
390
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389277)
391
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25041)
392
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 48664)
393
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23941)
394
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23974)
395
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 89409)
396
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2859090)
397
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2822558)
398
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2819822)
399
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51719)
400
- [PASS] test_inflow_GloballyDisabled() (gas: 54520)
401
- [PASS] test_inflow_WithScaleDecimals() (gas: 2816359)
402
- [PASS] test_initial_state_closed() (gas: 2770122)
403
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51721)
404
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30638)
405
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32726)
406
- [PASS] test_outflow_GloballyDisabled() (gas: 54496)
407
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 78872)
408
- [PASS] test_outflow_WithScaleDecimals() (gas: 2816351)
409
- [PASS] test_setRateLimitAddressExemptions() (gas: 62304)
410
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 24241)
411
- [PASS] test_setRateLimitAddressExemptions_Revert_Unauthorized() (gas: 19928)
412
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 97507)
413
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 110012)
414
- [PASS] test_setRateLimitConfigs_Revert_Unauthorized() (gas: 21277)
415
- [PASS] test_setRateLimitConfigs_Single() (gas: 79162)
416
- [PASS] test_setRateLimitGlobalConfig() (gas: 52231)
417
- [PASS] test_setRateLimitGlobalConfig_Revert_Unauthorized() (gas: 19455)
418
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 18907)
419
- [PASS] test_setRateLimitStates_Revert_Unauthorized() (gas: 20546)
420
- [PASS] test_setRateLimitStates_Single() (gas: 52512)
421
- [PASS] test_storageHash() (gas: 3392)
422
- [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
423
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 2.09s (23.35ms CPU time)
474
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
475
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25260, ~: 12763)
476
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
477
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
478
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
479
+ [PASS] test_isPaused_InitialState() (gas: 15595)
480
+ [PASS] test_pause() (gas: 39592)
481
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27921, ~: 16219)
482
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
483
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
484
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
485
+ [PASS] test_storageHash() (gas: 3414)
486
+ [PASS] test_unpause() (gas: 31115)
487
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40757, ~: 42291)
488
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 42105)
489
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38427)
490
+ [PASS] test_whenNotPaused_Success() (gas: 38930)
491
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48777)
492
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 58208)
493
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15612)
494
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.28s (244.53ms CPU time)
424
495
 
425
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
496
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
426
497
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
427
498
 
428
499
  ╭-----------------------------------+---------------------+-------+---------+----------╮
429
500
  | Contract | Selector | Calls | Reverts | Discards |
430
501
  +======================================================================================+
431
- | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
502
+ | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
432
503
  |-----------------------------------+---------------------+-------+---------+----------|
433
- | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
504
+ | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
434
505
  |-----------------------------------+---------------------+-------+---------+----------|
435
- | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
506
+ | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
436
507
  |-----------------------------------+---------------------+-------+---------+----------|
437
- | RateLimiterRBACUpgradeableHandler | setState | 608 | 0 | 0 |
508
+ | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
438
509
  |-----------------------------------+---------------------+-------+---------+----------|
439
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
510
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 528 | 0 | 0 |
440
511
  |-----------------------------------+---------------------+-------+---------+----------|
441
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
512
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 539 | 0 | 0 |
442
513
  |-----------------------------------+---------------------+-------+---------+----------|
443
- | RateLimiterRBACUpgradeableHandler | warp | 533 | 0 | 0 |
514
+ | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
444
515
  ╰-----------------------------------+---------------------+-------+---------+----------╯
445
516
 
446
517
  Logs:
447
- Bound result 9900000000006160794795
448
- Bound result 9400147100179763871227
449
- Bound result 8290
450
- Bound result 10
451
- Bound result 1
452
- Bound result 3
453
- Bound result 6885577051127393224359
454
- Bound result 7837
518
+ Bound result 902941538525927879490
519
+ Bound result 1999999999999999999995
520
+ Bound result 233
521
+ Bound result 0
522
+ Bound result 1233
523
+ Bound result 1059
524
+ Bound result 6978
525
+ Bound result 297
526
+ Bound result 1726562
527
+ Bound result 875828718384643508939
528
+ Bound result 3149
529
+ Bound result 8822
530
+ Bound result 395
531
+ Bound result 9900001608161946454448
532
+ Bound result 9900000000002061838444
533
+ Bound result 36
534
+ Bound result 6242
535
+ Bound result 4308
536
+ Bound result 2185641633222513568
537
+ Bound result 275010281049647
538
+ Bound result 151
455
539
 
456
540
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
457
541
 
458
542
  ╭-----------------------------------+---------------------+-------+---------+----------╮
459
543
  | Contract | Selector | Calls | Reverts | Discards |
460
544
  +======================================================================================+
461
- | RateLimiterRBACUpgradeableHandler | inflow | 514 | 0 | 0 |
545
+ | RateLimiterRBACUpgradeableHandler | inflow | 567 | 0 | 0 |
462
546
  |-----------------------------------+---------------------+-------+---------+----------|
463
- | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
547
+ | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
464
548
  |-----------------------------------+---------------------+-------+---------+----------|
465
- | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
549
+ | RateLimiterRBACUpgradeableHandler | setConfig | 545 | 0 | 0 |
466
550
  |-----------------------------------+---------------------+-------+---------+----------|
467
- | RateLimiterRBACUpgradeableHandler | setState | 522 | 0 | 0 |
551
+ | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
468
552
  |-----------------------------------+---------------------+-------+---------+----------|
469
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
553
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 516 | 0 | 0 |
470
554
  |-----------------------------------+---------------------+-------+---------+----------|
471
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 574 | 0 | 0 |
555
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 562 | 0 | 0 |
472
556
  |-----------------------------------+---------------------+-------+---------+----------|
473
- | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
557
+ | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
474
558
  ╰-----------------------------------+---------------------+-------+---------+----------╯
475
559
 
476
560
  Logs:
477
- Bound result 23775923817526
478
- Bound result 1720938221280156256617
479
- Bound result 1
480
- Bound result 5
481
- Bound result 1540668789998726
482
- Bound result 1647
483
- Bound result 3311428713
484
- Bound result 9622
485
- Bound result 8007
486
- Bound result 824
487
- Bound result 762
488
- Bound result 48
489
- Bound result 2
490
- Bound result 9900001956531842778114
491
- Bound result 9900004284826048771216
561
+ Bound result 214653567665343082378
562
+ Bound result 5923
563
+ Bound result 23
564
+ Bound result 100000000000000000000
565
+ Bound result 9947209001580540421226
566
+ Bound result 968
567
+ Bound result 6241
568
+ Bound result 10047
569
+ Bound result 2737
570
+ Bound result 10309
571
+ Bound result 13286
572
+ Bound result 8487207066734849841930
573
+ Bound result 3272
574
+ Bound result 682
492
575
  Bound result 14
493
- Bound result 137
494
- Bound result 8571
495
- Bound result 3172
496
- Bound result 22
576
+ Bound result 9900000000000000008293
577
+ Bound result 9900000000003695152419
578
+ Bound result 3094
579
+ Bound result 1993
497
580
 
498
581
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
499
582
 
500
583
  ╭-----------------------------------+---------------------+-------+---------+----------╮
501
584
  | Contract | Selector | Calls | Reverts | Discards |
502
585
  +======================================================================================+
503
- | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
586
+ | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
504
587
  |-----------------------------------+---------------------+-------+---------+----------|
505
- | RateLimiterRBACUpgradeableHandler | outflow | 550 | 0 | 0 |
588
+ | RateLimiterRBACUpgradeableHandler | outflow | 582 | 0 | 0 |
506
589
  |-----------------------------------+---------------------+-------+---------+----------|
507
- | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
590
+ | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
508
591
  |-----------------------------------+---------------------+-------+---------+----------|
509
- | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
592
+ | RateLimiterRBACUpgradeableHandler | setState | 531 | 0 | 0 |
510
593
  |-----------------------------------+---------------------+-------+---------+----------|
511
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
594
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
512
595
  |-----------------------------------+---------------------+-------+---------+----------|
513
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
596
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
514
597
  |-----------------------------------+---------------------+-------+---------+----------|
515
- | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
598
+ | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
516
599
  ╰-----------------------------------+---------------------+-------+---------+----------╯
517
600
 
518
601
  Logs:
519
- Bound result 2047
520
- Bound result 9150
602
+ Bound result 2445
603
+ Bound result 1376
604
+ Bound result 2415
521
605
  Bound result 1
522
- Bound result 4073366028498265169269
523
- Bound result 9900000000000010971510
524
- Bound result 3222
525
- Bound result 865
526
- Bound result 9900000000000000426484
527
- Bound result 9905928963223958746827
528
- Bound result 992
529
- Bound result 4538
530
- Bound result 9621961110184026234438
531
- Bound result 9966411986996089760106
532
- Bound result 6313
533
- Bound result 2548
534
- Bound result 18178743508580257509690
535
- Bound result 53940793
536
- Bound result 0
537
- Bound result 1
538
- Bound result 223410
539
- Bound result 10961047130108141166878
606
+ Bound result 9900220308100383780122
607
+ Bound result 6914264337593535947488
608
+ Bound result 1555
609
+ Bound result 2560
610
+ Bound result 18261950974554
611
+ Bound result 2
540
612
  Bound result 0
541
- Bound result 1009
542
- Bound result 8206
543
- Bound result 1
544
- Bound result 204379759494399269
545
- Bound result 9900184469484657293576
546
- Bound result 9957214001608051080864
547
- Bound result 3961
548
- Bound result 5021
549
- Bound result 1807
550
- Bound result 1
551
- Bound result 100000000000000000003
552
- Bound result 9900000000000000115067
553
- Bound result 11
554
- Bound result 942
613
+ Bound result 2948
614
+ Bound result 2529
615
+ Bound result 287798682349029756
616
+ Bound result 22690605
617
+ Bound result 2858800
618
+ Bound result 2002761168866855182185
619
+ Bound result 27
555
620
 
556
621
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
557
622
 
558
623
  ╭-----------------------------------+---------------------+-------+---------+----------╮
559
624
  | Contract | Selector | Calls | Reverts | Discards |
560
625
  +======================================================================================+
561
- | RateLimiterRBACUpgradeableHandler | inflow | 522 | 0 | 0 |
562
- |-----------------------------------+---------------------+-------+---------+----------|
563
- | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
564
- |-----------------------------------+---------------------+-------+---------+----------|
565
- | RateLimiterRBACUpgradeableHandler | setConfig | 528 | 0 | 0 |
566
- |-----------------------------------+---------------------+-------+---------+----------|
567
- | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
568
- |-----------------------------------+---------------------+-------+---------+----------|
569
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
570
- |-----------------------------------+---------------------+-------+---------+----------|
571
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
572
- |-----------------------------------+---------------------+-------+---------+----------|
573
- | RateLimiterRBACUpgradeableHandler | warp | 572 | 0 | 0 |
574
- ╰-----------------------------------+---------------------+-------+---------+----------╯
575
-
576
- Logs:
577
- Bound result 1516471264971776638835
578
- Bound result 6707
579
- Bound result 1655
580
- Bound result 1
581
- Bound result 23980331862650163
582
- Bound result 6999
583
- Bound result 1504431246315325493186
584
- Bound result 181453383
585
- Bound result 1
586
- Bound result 2497
587
- Bound result 916
588
- Bound result 1147
589
-
590
- [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
591
-
592
- ╭-----------------------------------+---------------------+-------+---------+----------╮
593
- | Contract | Selector | Calls | Reverts | Discards |
594
- +======================================================================================+
595
- | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
596
- |-----------------------------------+---------------------+-------+---------+----------|
597
- | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
598
- |-----------------------------------+---------------------+-------+---------+----------|
599
- | RateLimiterRBACUpgradeableHandler | setConfig | 530 | 0 | 0 |
600
- |-----------------------------------+---------------------+-------+---------+----------|
601
- | RateLimiterRBACUpgradeableHandler | setState | 596 | 0 | 0 |
602
- |-----------------------------------+---------------------+-------+---------+----------|
603
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
604
- |-----------------------------------+---------------------+-------+---------+----------|
605
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
606
- |-----------------------------------+---------------------+-------+---------+----------|
607
- | RateLimiterRBACUpgradeableHandler | warp | 526 | 0 | 0 |
608
- ╰-----------------------------------+---------------------+-------+---------+----------╯
609
-
610
- Logs:
611
- Bound result 37431
612
- Bound result 3689055020
613
- Bound result 1
614
- Bound result 6727361039
615
- Bound result 5398
616
- Bound result 1493888894347551175
617
- Bound result 525
618
- Bound result 730898720
619
- Bound result 680
620
- Bound result 5521
621
- Bound result 167
622
- Bound result 157452084471073743727
623
- Bound result 28653520
624
- Bound result 257
625
- Bound result 244
626
-
627
- [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
628
-
629
- ╭-----------------------------------+---------------------+-------+---------+----------╮
630
- | Contract | Selector | Calls | Reverts | Discards |
631
- +======================================================================================+
632
- | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
633
- |-----------------------------------+---------------------+-------+---------+----------|
634
- | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
626
+ | RateLimiterRBACUpgradeableHandler | inflow | 541 | 0 | 0 |
635
627
  |-----------------------------------+---------------------+-------+---------+----------|
636
- | RateLimiterRBACUpgradeableHandler | setConfig | 526 | 0 | 0 |
637
- |-----------------------------------+---------------------+-------+---------+----------|
638
- | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
639
- |-----------------------------------+---------------------+-------+---------+----------|
640
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 583 | 0 | 0 |
641
- |-----------------------------------+---------------------+-------+---------+----------|
642
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 546 | 0 | 0 |
643
- |-----------------------------------+---------------------+-------+---------+----------|
644
- | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
645
- ╰-----------------------------------+---------------------+-------+---------+----------╯
646
-
647
- Logs:
648
- Bound result 2354
649
- Bound result 534
650
- Bound result 304
651
- Bound result 0
652
- Bound result 514264337593543950332
653
- Bound result 1349510993355965866347
654
- Bound result 10442366
655
- Bound result 0
656
- Bound result 7910
657
- Bound result 235336713419060673732
658
- Bound result 9900000000000007967000
659
- Bound result 13
660
- Bound result 10
661
- Bound result 9900000000000000006770
662
- Bound result 9900000000000000006889
663
- Bound result 4280
664
- Bound result 9449
665
- Bound result 8791
666
- Bound result 3105
667
- Bound result 0
668
- Bound result 89
669
- Bound result 6754
670
-
671
- [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
672
-
673
- ╭-----------------------------------+---------------------+-------+---------+----------╮
674
- | Contract | Selector | Calls | Reverts | Discards |
675
- +======================================================================================+
676
- | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
677
- |-----------------------------------+---------------------+-------+---------+----------|
678
- | RateLimiterRBACUpgradeableHandler | outflow | 497 | 0 | 0 |
628
+ | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
679
629
  |-----------------------------------+---------------------+-------+---------+----------|
680
630
  | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
681
631
  |-----------------------------------+---------------------+-------+---------+----------|
682
- | RateLimiterRBACUpgradeableHandler | setState | 611 | 0 | 0 |
632
+ | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
683
633
  |-----------------------------------+---------------------+-------+---------+----------|
684
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
634
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 527 | 0 | 0 |
685
635
  |-----------------------------------+---------------------+-------+---------+----------|
686
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
636
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552 | 0 | 0 |
687
637
  |-----------------------------------+---------------------+-------+---------+----------|
688
- | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
638
+ | RateLimiterRBACUpgradeableHandler | warp | 563 | 0 | 0 |
689
639
  ╰-----------------------------------+---------------------+-------+---------+----------╯
690
640
 
691
641
  Logs:
692
- Bound result 593
693
- Bound result 8973567783615217582773
694
- Bound result 9900000000003390425204
695
- Bound result 9733
696
- Bound result 1282
697
- Bound result 475145
698
- Bound result 9281
699
- Bound result 42
700
- Bound result 1
701
- Bound result 2117
702
- Bound result 8653
703
- Bound result 1901074598
704
- Bound result 4306
705
- Bound result 22518068
706
- Bound result 98107083606798028553
707
- Bound result 1920
708
- Bound result 281
709
- Bound result 280375465082879
710
- Bound result 7941
711
- Bound result 3
712
- Bound result 8810330847042128610117
713
- Bound result 9962314269098560544653
714
- Bound result 1957
715
- Bound result 5321
642
+ Bound result 937
643
+ Bound result 9900000459595236572776
644
+ Bound result 9926072134965009864398
645
+ Bound result 2565
646
+ Bound result 4561
647
+ Bound result 1218
648
+ Bound result 546
649
+ Bound result 9900000000000000004175
650
+ Bound result 9900000000000000000365
651
+ Bound result 9174
652
+ Bound result 517
653
+ Bound result 22519211344145714790
654
+ Bound result 15343477
655
+ Bound result 717
656
+ Bound result 6150
657
+ Bound result 8164182125372833161662
658
+ Bound result 9900000091185225336879
659
+ Bound result 2680
660
+ Bound result 6035
661
+ Bound result 11329982
662
+ Bound result 6184523204117653866457
663
+ Bound result 13484631865
664
+ Bound result 718996942907991210206
665
+ Bound result 21
666
+ Bound result 5002
667
+ Bound result 6754
668
+ Bound result 1254
669
+ Bound result 2778
670
+ Bound result 1469
671
+ Bound result 24111056076245593910
716
672
 
717
- [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
673
+ [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
718
674
 
719
675
  ╭-----------------------------------+---------------------+-------+---------+----------╮
720
676
  | Contract | Selector | Calls | Reverts | Discards |
721
677
  +======================================================================================+
722
- | RateLimiterRBACUpgradeableHandler | inflow | 567 | 0 | 0 |
678
+ | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
723
679
  |-----------------------------------+---------------------+-------+---------+----------|
724
- | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
725
- |-----------------------------------+---------------------+-------+---------+----------|
726
- | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
727
- |-----------------------------------+---------------------+-------+---------+----------|
728
- | RateLimiterRBACUpgradeableHandler | setState | 524 | 0 | 0 |
729
- |-----------------------------------+---------------------+-------+---------+----------|
730
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 563 | 0 | 0 |
731
- |-----------------------------------+---------------------+-------+---------+----------|
732
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
733
- |-----------------------------------+---------------------+-------+---------+----------|
734
- | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
735
- ╰-----------------------------------+---------------------+-------+---------+----------╯
736
-
737
- Logs:
738
- Bound result 9900000000000000004897
739
- Bound result 9900000000000000002114
740
- Bound result 721
741
- Bound result 1839
742
- Bound result 9900000000000122027828
743
- Bound result 8647894793828289421049
744
- Bound result 9476
745
- Bound result 90
746
- Bound result 6658
747
- Bound result 511
748
- Bound result 9900000000001749912050
749
- Bound result 9900000000000000000321
750
- Bound result 4125
751
- Bound result 1374
752
- Bound result 7257474338158586860379
753
- Bound result 9900000108745061734806
754
- Bound result 4340581073463283813533
755
- Bound result 9722
756
- Bound result 3875
757
- Bound result 4963094952179777962898
758
- Bound result 14453
759
-
760
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.18s (13.50s CPU time)
761
-
762
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
763
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
764
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
765
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
766
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
767
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
768
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
769
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
770
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
771
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
772
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
773
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 2.43s (94.63ms CPU time)
774
-
775
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
776
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27249, ~: 41090)
777
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
778
- [PASS] test_assertNotPaused_Success() (gas: 12539)
779
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15969)
780
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 51358)
781
- [PASS] test_isPaused_InitialState() (gas: 15629)
782
- [PASS] test_modifierEnforcement_WithRoles() (gas: 219691)
783
- [PASS] test_multipleRoleGrants() (gas: 395725)
784
- [PASS] test_pause() (gas: 42109)
785
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 35880)
786
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 181540)
787
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30874, ~: 42378)
788
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
789
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
790
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20199)
791
- [PASS] test_setPaused_Success() (gas: 42640)
792
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 59456)
793
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
794
- [PASS] test_storageHash() (gas: 3414)
795
- [PASS] test_unpause() (gas: 35177)
796
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41807, ~: 39122)
797
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44622)
798
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40955)
799
- [PASS] test_whenNotPaused_Success() (gas: 38986)
800
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52848)
801
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 63439)
802
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15646)
803
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 2.42s (424.43ms CPU time)
804
-
805
- Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
806
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
807
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
808
- [PASS] test_assertNotPaused_Success() (gas: 14891)
809
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
810
- [PASS] test_defaultPaused_InitialState() (gas: 15572)
811
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18020)
812
- [PASS] test_isPaused_Default() (gas: 47316)
813
- [PASS] test_isPaused_InitialState() (gas: 22172)
814
- [PASS] test_isPaused_MultipleIDs() (gas: 80142)
815
- [PASS] test_isPaused_Override() (gas: 75171)
816
- [PASS] test_isPaused_Specific() (gas: 50105)
817
- [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
818
- [PASS] test_pauseConfig() (gas: 51028)
819
- [PASS] test_roleManagement_grantAndRevoke() (gas: 174204)
820
- [PASS] test_setDefaultPaused() (gas: 42196)
821
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30565, ~: 18826)
822
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
823
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
824
- [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 22489)
825
- [PASS] test_setDefaultPaused_Success() (gas: 40744)
826
- [PASS] test_setPaused() (gas: 48361)
827
- [PASS] test_setPaused_DormantData() (gas: 297504)
828
- [PASS] test_setPaused_EmptyArray() (gas: 15702)
829
- [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 102594)
830
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43702, ~: 48533)
831
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 225754, ~: 221992)
832
- [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 25048)
833
- [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 134340)
834
- [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 109682)
835
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 25986)
836
- [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 132969)
837
- [PASS] test_setPaused_Success() (gas: 45897)
838
- [PASS] test_setPaused_Success_Batch() (gas: 345312)
839
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
840
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
841
- [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 243537)
842
- [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 135474)
843
- [PASS] test_setPaused_Success_Toggle() (gas: 58022)
844
- [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 132087)
845
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62287, ~: 50341)
846
- [PASS] test_storageHash() (gas: 3392)
847
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
848
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
849
- [PASS] test_whenNotPaused_Success() (gas: 41299)
850
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
851
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
852
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
853
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 2.43s (1.32s CPU time)
854
-
855
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
856
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
857
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
858
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
859
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
860
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
861
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
862
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
863
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
864
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
865
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
866
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
867
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50279)
868
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
869
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
870
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
871
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
872
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
873
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
874
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
875
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
876
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
877
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
878
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
879
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
880
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
881
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
882
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
883
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
884
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
885
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
886
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
887
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
888
- [PASS] test_storageHash() (gas: 3380)
889
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 2.43s (1.14s CPU time)
680
+ | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
681
+ |-----------------------------------+---------------------+-------+---------+----------|
682
+ | RateLimiterRBACUpgradeableHandler | setConfig | 585 | 0 | 0 |
683
+ |-----------------------------------+---------------------+-------+---------+----------|
684
+ | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
685
+ |-----------------------------------+---------------------+-------+---------+----------|
686
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 515 | 0 | 0 |
687
+ |-----------------------------------+---------------------+-------+---------+----------|
688
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
689
+ |-----------------------------------+---------------------+-------+---------+----------|
690
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
691
+ ╰-----------------------------------+---------------------+-------+---------+----------╯
890
692
 
891
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
892
- [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
693
+ Logs:
694
+ Bound result 2049
695
+ Bound result 4558
696
+ Bound result 0
697
+ Bound result 108517163
698
+ Bound result 514264337593504336253
699
+ Bound result 271679317494
700
+ Bound result 0
701
+ Bound result 150
702
+ Bound result 743
703
+ Bound result 9900000000000402286044
704
+ Bound result 6914264337593535947488
705
+ Bound result 162
706
+ Bound result 72
707
+ Bound result 9900000000000000001616
708
+ Bound result 9900000000000000008763
709
+ Bound result 146
710
+ Bound result 907
711
+ Bound result 6914264337580611354428
712
+ Bound result 1171
713
+ Bound result 228
714
+ Bound result 301
715
+ Bound result 3527295333654796923283
716
+ Bound result 100000000000000000000
717
+ Bound result 427
718
+ Bound result 4298
719
+ Bound result 6720379750200489348
720
+
721
+ [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
893
722
 
894
723
  ╭-----------------------------------+---------------------+-------+---------+----------╮
895
724
  | Contract | Selector | Calls | Reverts | Discards |
896
725
  +======================================================================================+
897
- | RateLimiterRBACUpgradeableHandler | inflow | 608 | 0 | 0 |
726
+ | RateLimiterRBACUpgradeableHandler | inflow | 554 | 0 | 0 |
898
727
  |-----------------------------------+---------------------+-------+---------+----------|
899
- | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
728
+ | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
900
729
  |-----------------------------------+---------------------+-------+---------+----------|
901
- | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
730
+ | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
902
731
  |-----------------------------------+---------------------+-------+---------+----------|
903
- | RateLimiterRBACUpgradeableHandler | setState | 521 | 0 | 0 |
732
+ | RateLimiterRBACUpgradeableHandler | setState | 557 | 0 | 0 |
904
733
  |-----------------------------------+---------------------+-------+---------+----------|
905
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
734
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 519 | 0 | 0 |
906
735
  |-----------------------------------+---------------------+-------+---------+----------|
907
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
736
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 569 | 0 | 0 |
908
737
  |-----------------------------------+---------------------+-------+---------+----------|
909
- | RateLimiterRBACUpgradeableHandler | warp | 526 | 0 | 0 |
738
+ | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
910
739
  ╰-----------------------------------+---------------------+-------+---------+----------╯
911
740
 
912
741
  Logs:
913
- Bound result 2196
914
- Bound result 1082
915
- Bound result 9900000000205616570824
916
- Bound result 9900000000001788938223
917
- Bound result 2378
918
- Bound result 3635
919
- Bound result 1795
920
- Bound result 37603
921
- Bound result 9900000000000000008784
922
- Bound result 9900000000000613063843
923
- Bound result 2289
924
- Bound result 8424
925
- Bound result 3979504843813997
926
- Bound result 1583
927
- Bound result 107048842565
928
- Bound result 772157286194943803
929
- Bound result 999
742
+ Bound result 237
743
+ Bound result 128
744
+ Bound result 537725265222031486938
745
+ Bound result 0
746
+ Bound result 149
747
+ Bound result 514264337593504336253
748
+ Bound result 9702
749
+ Bound result 31
750
+ Bound result 12994
751
+ Bound result 9900000000000604439324
752
+ Bound result 6914264337593535947491
753
+ Bound result 3317
754
+ Bound result 13
755
+ Bound result 100000000000000000001
756
+ Bound result 2366205928565233925604
757
+ Bound result 7501
758
+ Bound result 3611
759
+ Bound result 8
760
+ Bound result 4576
761
+ Bound result 6509
762
+ Bound result 1240
930
763
 
931
- [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
764
+ [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
932
765
 
933
766
  ╭-----------------------------------+---------------------+-------+---------+----------╮
934
767
  | Contract | Selector | Calls | Reverts | Discards |
935
768
  +======================================================================================+
936
- | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
769
+ | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
937
770
  |-----------------------------------+---------------------+-------+---------+----------|
938
- | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
771
+ | RateLimiterRBACUpgradeableHandler | outflow | 578 | 0 | 0 |
939
772
  |-----------------------------------+---------------------+-------+---------+----------|
940
- | RateLimiterRBACUpgradeableHandler | setConfig | 571 | 0 | 0 |
773
+ | RateLimiterRBACUpgradeableHandler | setConfig | 509 | 0 | 0 |
941
774
  |-----------------------------------+---------------------+-------+---------+----------|
942
- | RateLimiterRBACUpgradeableHandler | setState | 524 | 0 | 0 |
775
+ | RateLimiterRBACUpgradeableHandler | setState | 529 | 0 | 0 |
943
776
  |-----------------------------------+---------------------+-------+---------+----------|
944
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 526 | 0 | 0 |
777
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 558 | 0 | 0 |
945
778
  |-----------------------------------+---------------------+-------+---------+----------|
946
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
779
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 591 | 0 | 0 |
947
780
  |-----------------------------------+---------------------+-------+---------+----------|
948
- | RateLimiterRBACUpgradeableHandler | warp | 579 | 0 | 0 |
781
+ | RateLimiterRBACUpgradeableHandler | warp | 513 | 0 | 0 |
949
782
  ╰-----------------------------------+---------------------+-------+---------+----------╯
950
783
 
951
784
  Logs:
952
- Bound result 1084
953
- Bound result 1966
954
- Bound result 1
955
- Bound result 2314306614657126482
785
+ Bound result 1859148445158973983605
786
+ Bound result 89202922047
956
787
  Bound result 0
788
+ Bound result 54
789
+ Bound result 34864321869
957
790
  Bound result 0
958
- Bound result 3414
959
- Bound result 4160
791
+ Bound result 28
960
792
  Bound result 1
961
- Bound result 8103
962
- Bound result 973
793
+ Bound result 384557019136967412
794
+ Bound result 37619686770024697
795
+ Bound result 100000000000000000001
796
+ Bound result 9900000913860589670797
797
+ Bound result 39
798
+ Bound result 377
799
+ Bound result 432
800
+ Bound result 82693128958
963
801
  Bound result 0
964
- Bound result 6914264337593535947490
965
- Bound result 6914264337593535947491
966
- Bound result 6764
802
+ Bound result 363
803
+ Bound result 71
804
+
805
+ [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
806
+
807
+ ╭-----------------------------------+---------------------+-------+---------+----------╮
808
+ | Contract | Selector | Calls | Reverts | Discards |
809
+ +======================================================================================+
810
+ | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
811
+ |-----------------------------------+---------------------+-------+---------+----------|
812
+ | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
813
+ |-----------------------------------+---------------------+-------+---------+----------|
814
+ | RateLimiterRBACUpgradeableHandler | setConfig | 559 | 0 | 0 |
815
+ |-----------------------------------+---------------------+-------+---------+----------|
816
+ | RateLimiterRBACUpgradeableHandler | setState | 510 | 0 | 0 |
817
+ |-----------------------------------+---------------------+-------+---------+----------|
818
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 589 | 0 | 0 |
819
+ |-----------------------------------+---------------------+-------+---------+----------|
820
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 533 | 0 | 0 |
821
+ |-----------------------------------+---------------------+-------+---------+----------|
822
+ | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
823
+ ╰-----------------------------------+---------------------+-------+---------+----------╯
824
+
825
+ Logs:
826
+ Bound result 76
827
+ Bound result 9799
828
+ Bound result 657584102329086802259
829
+ Bound result 52
830
+ Bound result 661167068324357162
831
+ Bound result 1320358803878960253
832
+ Bound result 57
833
+ Bound result 9900000000000000001466
834
+ Bound result 9900000000000000002774
835
+ Bound result 9136
967
836
  Bound result 10
968
- Bound result 6398
969
- Bound result 6672
970
- Bound result 28
971
- Bound result 9589961865505609019478
972
- Bound result 4620
973
- Bound result 7072
837
+ Bound result 544361197105
838
+ Bound result 68450157918975976
839
+ Bound result 6914264337581807779609
840
+ Bound result 1
841
+ Bound result 0
842
+ Bound result 19259820383674702863913
843
+ Bound result 1
844
+ Bound result 24
845
+ Bound result 5399
846
+ Bound result 10879
847
+ Bound result 7
848
+ Bound result 14482
849
+ Bound result 10261
850
+ Bound result 9900000000000000005629
851
+ Bound result 9900000000000000002648
852
+ Bound result 7337
853
+ Bound result 5999
854
+ Bound result 56
855
+
856
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.28s (7.61s CPU time)
857
+
858
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
859
+ [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
860
+
861
+ ╭-----------------------------------+---------------------+-------+---------+----------╮
862
+ | Contract | Selector | Calls | Reverts | Discards |
863
+ +======================================================================================+
864
+ | RateLimiterRBACUpgradeableHandler | inflow | 529 | 0 | 0 |
865
+ |-----------------------------------+---------------------+-------+---------+----------|
866
+ | RateLimiterRBACUpgradeableHandler | outflow | 518 | 0 | 0 |
867
+ |-----------------------------------+---------------------+-------+---------+----------|
868
+ | RateLimiterRBACUpgradeableHandler | setConfig | 578 | 0 | 0 |
869
+ |-----------------------------------+---------------------+-------+---------+----------|
870
+ | RateLimiterRBACUpgradeableHandler | setState | 566 | 0 | 0 |
871
+ |-----------------------------------+---------------------+-------+---------+----------|
872
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 561 | 0 | 0 |
873
+ |-----------------------------------+---------------------+-------+---------+----------|
874
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
875
+ |-----------------------------------+---------------------+-------+---------+----------|
876
+ | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
877
+ ╰-----------------------------------+---------------------+-------+---------+----------╯
878
+
879
+ Logs:
880
+ Bound result 1160
881
+ Bound result 495
882
+ Bound result 52974
883
+ Bound result 55670861367876344
884
+ Bound result 17156713670154787900
885
+ Bound result 360
886
+ Bound result 9900000000002072215440
887
+ Bound result 9900000000000000007244
888
+ Bound result 655
889
+ Bound result 5998
890
+ Bound result 76
891
+ Bound result 4195
892
+ Bound result 324
893
+ Bound result 65
894
+ Bound result 4730
895
+ Bound result 16100020
896
+ Bound result 1062141416039177
897
+ Bound result 15154826720959713995780
898
+ Bound result 468
899
+
900
+ [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
901
+
902
+ ╭-----------------------------------+---------------------+-------+---------+----------╮
903
+ | Contract | Selector | Calls | Reverts | Discards |
904
+ +======================================================================================+
905
+ | RateLimiterRBACUpgradeableHandler | inflow | 531 | 0 | 0 |
906
+ |-----------------------------------+---------------------+-------+---------+----------|
907
+ | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
908
+ |-----------------------------------+---------------------+-------+---------+----------|
909
+ | RateLimiterRBACUpgradeableHandler | setConfig | 517 | 0 | 0 |
910
+ |-----------------------------------+---------------------+-------+---------+----------|
911
+ | RateLimiterRBACUpgradeableHandler | setState | 548 | 0 | 0 |
912
+ |-----------------------------------+---------------------+-------+---------+----------|
913
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 603 | 0 | 0 |
914
+ |-----------------------------------+---------------------+-------+---------+----------|
915
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
916
+ |-----------------------------------+---------------------+-------+---------+----------|
917
+ | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
918
+ ╰-----------------------------------+---------------------+-------+---------+----------╯
919
+
920
+ Logs:
921
+ Bound result 109775064307
922
+ Bound result 22546373981
923
+ Bound result 388064489873888628038
924
+ Bound result 321178017272
925
+ Bound result 3521
926
+ Bound result 551
927
+ Bound result 369
928
+ Bound result 1979035761943771610630
974
929
 
975
930
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
976
931
 
977
932
  ╭-----------------------------------+---------------------+-------+---------+----------╮
978
933
  | Contract | Selector | Calls | Reverts | Discards |
979
934
  +======================================================================================+
980
- | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
935
+ | RateLimiterRBACUpgradeableHandler | inflow | 592 | 0 | 0 |
981
936
  |-----------------------------------+---------------------+-------+---------+----------|
982
- | RateLimiterRBACUpgradeableHandler | outflow | 513 | 0 | 0 |
937
+ | RateLimiterRBACUpgradeableHandler | outflow | 541 | 0 | 0 |
983
938
  |-----------------------------------+---------------------+-------+---------+----------|
984
- | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
939
+ | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
985
940
  |-----------------------------------+---------------------+-------+---------+----------|
986
- | RateLimiterRBACUpgradeableHandler | setState | 552 | 0 | 0 |
941
+ | RateLimiterRBACUpgradeableHandler | setState | 522 | 0 | 0 |
987
942
  |-----------------------------------+---------------------+-------+---------+----------|
988
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 575 | 0 | 0 |
943
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
989
944
  |-----------------------------------+---------------------+-------+---------+----------|
990
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
945
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 564 | 0 | 0 |
991
946
  |-----------------------------------+---------------------+-------+---------+----------|
992
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
947
+ | RateLimiterRBACUpgradeableHandler | warp | 524 | 0 | 0 |
993
948
  ╰-----------------------------------+---------------------+-------+---------+----------╯
994
949
 
995
950
  Logs:
951
+ Bound result 625326797433707774616
952
+ Bound result 602651024013277991514
996
953
  Bound result 1
997
- Bound result 1352
998
- Bound result 11
999
- Bound result 3151
1000
- Bound result 3695152418
1001
- Bound result 267
1002
- Bound result 9952087529724784201211
1003
- Bound result 9900000000006339513760
1004
- Bound result 7256
1005
- Bound result 6242
1006
- Bound result 12689
1007
- Bound result 9900000000000000010336
1008
- Bound result 9900000000000000000031
1009
- Bound result 1031
1010
- Bound result 9419
1011
- Bound result 731
1012
- Bound result 2081050176
1013
- Bound result 36671915176604
1014
- Bound result 1961393461161763
1015
- Bound result 1165
1016
- Bound result 9900000388023239318983
1017
- Bound result 9900000000013504145395
1018
- Bound result 11
1019
- Bound result 12
954
+ Bound result 4895
955
+ Bound result 109
956
+ Bound result 10248955064878822690
957
+ Bound result 1028363133205233971804
958
+ Bound result 24148
959
+ Bound result 162
960
+ Bound result 48
961
+ Bound result 24
962
+ Bound result 158
963
+ Bound result 19
964
+ Bound result 6519734755253004615311
965
+ Bound result 9975502856045118046334
966
+ Bound result 1856
967
+ Bound result 412
968
+ Bound result 21061084179
969
+ Bound result 2690
1020
970
 
1021
971
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
1022
972
 
1023
973
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1024
974
  | Contract | Selector | Calls | Reverts | Discards |
1025
975
  +======================================================================================+
1026
- | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
976
+ | RateLimiterRBACUpgradeableHandler | inflow | 578 | 0 | 0 |
1027
977
  |-----------------------------------+---------------------+-------+---------+----------|
1028
- | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
978
+ | RateLimiterRBACUpgradeableHandler | outflow | 520 | 0 | 0 |
1029
979
  |-----------------------------------+---------------------+-------+---------+----------|
1030
- | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
980
+ | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
1031
981
  |-----------------------------------+---------------------+-------+---------+----------|
1032
- | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
982
+ | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
1033
983
  |-----------------------------------+---------------------+-------+---------+----------|
1034
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 523 | 0 | 0 |
984
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 548 | 0 | 0 |
1035
985
  |-----------------------------------+---------------------+-------+---------+----------|
1036
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
986
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
1037
987
  |-----------------------------------+---------------------+-------+---------+----------|
1038
- | RateLimiterRBACUpgradeableHandler | warp | 586 | 0 | 0 |
988
+ | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
1039
989
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1040
990
 
1041
991
  Logs:
1042
- Bound result 895
1043
- Bound result 2428
1044
- Bound result 2
1045
- Bound result 487692794323801000707
992
+ Bound result 727
993
+ Bound result 2948
994
+ Bound result 10438
1046
995
  Bound result 1
1047
- Bound result 89344766
1048
- Bound result 3
1049
996
  Bound result 1
1050
- Bound result 41394828
1051
- Bound result 9906
1052
- Bound result 3837073963344713306985
1053
- Bound result 6914264337593535947490
1054
- Bound result 6241
1055
- Bound result 6289
1056
- Bound result 9900000000000694075953
1057
- Bound result 9900000000000000038322
1058
- Bound result 13
1059
- Bound result 1506
1060
- Bound result 523
1061
- Bound result 587
1062
- Bound result 6914258783011967940003
997
+ Bound result 881366912233619049315
998
+ Bound result 1
999
+ Bound result 1
1000
+ Bound result 4985
1001
+ Bound result 0
1002
+ Bound result 9025
1003
+ Bound result 248
1004
+ Bound result 1972837129544842236187
1005
+ Bound result 4560336709076881537
1006
+ Bound result 0
1007
+ Bound result 9
1063
1008
 
1064
1009
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1065
1010
 
1066
1011
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1067
1012
  | Contract | Selector | Calls | Reverts | Discards |
1068
1013
  +======================================================================================+
1069
- | RateLimiterRBACUpgradeableHandler | inflow | 567 | 0 | 0 |
1014
+ | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
1070
1015
  |-----------------------------------+---------------------+-------+---------+----------|
1071
- | RateLimiterRBACUpgradeableHandler | outflow | 514 | 0 | 0 |
1016
+ | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
1072
1017
  |-----------------------------------+---------------------+-------+---------+----------|
1073
1018
  | RateLimiterRBACUpgradeableHandler | setConfig | 569 | 0 | 0 |
1074
1019
  |-----------------------------------+---------------------+-------+---------+----------|
1075
- | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
1020
+ | RateLimiterRBACUpgradeableHandler | setState | 515 | 0 | 0 |
1076
1021
  |-----------------------------------+---------------------+-------+---------+----------|
1077
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 570 | 0 | 0 |
1022
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
1078
1023
  |-----------------------------------+---------------------+-------+---------+----------|
1079
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
1024
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
1080
1025
  |-----------------------------------+---------------------+-------+---------+----------|
1081
- | RateLimiterRBACUpgradeableHandler | warp | 560 | 0 | 0 |
1026
+ | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
1082
1027
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1083
1028
 
1084
1029
  Logs:
1085
- Bound result 4193
1086
- Bound result 9869
1087
- Bound result 1
1088
- Bound result 230
1089
- Bound result 1513
1030
+ Bound result 9900000000000000001556
1031
+ Bound result 9900000000000000000330
1032
+ Bound result 1148
1033
+ Bound result 2273
1034
+ Bound result 9900000000000000004527
1035
+ Bound result 9900000000000000003847
1036
+ Bound result 8860
1037
+ Bound result 5841
1038
+ Bound result 39
1039
+ Bound result 415
1040
+ Bound result 252838054620
1090
1041
  Bound result 1
1091
- Bound result 1353
1092
- Bound result 560189957556933
1093
- Bound result 51977754107646803670
1094
- Bound result 611
1095
- Bound result 78537445254651993286
1096
- Bound result 2446411859
1097
- Bound result 1944
1098
- Bound result 3578229792
1042
+ Bound result 9900000000000000000256
1043
+ Bound result 9900000000000000008009
1044
+ Bound result 772
1045
+ Bound result 8901
1046
+ Bound result 4934
1047
+ Bound result 5
1048
+ Bound result 9900000000000000000659
1049
+ Bound result 9900000000000000003580
1050
+ Bound result 3820
1051
+ Bound result 1149
1052
+ Bound result 416
1053
+ Bound result 5825
1054
+ Bound result 323
1055
+ Bound result 24
1099
1056
 
1100
1057
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1101
1058
 
1102
1059
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1103
1060
  | Contract | Selector | Calls | Reverts | Discards |
1104
1061
  +======================================================================================+
1105
- | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
1062
+ | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
1106
1063
  |-----------------------------------+---------------------+-------+---------+----------|
1107
- | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
1064
+ | RateLimiterRBACUpgradeableHandler | outflow | 567 | 0 | 0 |
1108
1065
  |-----------------------------------+---------------------+-------+---------+----------|
1109
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
1066
+ | RateLimiterRBACUpgradeableHandler | setConfig | 523 | 0 | 0 |
1110
1067
  |-----------------------------------+---------------------+-------+---------+----------|
1111
- | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
1068
+ | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
1112
1069
  |-----------------------------------+---------------------+-------+---------+----------|
1113
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
1070
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 539 | 0 | 0 |
1114
1071
  |-----------------------------------+---------------------+-------+---------+----------|
1115
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
1072
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 536 | 0 | 0 |
1116
1073
  |-----------------------------------+---------------------+-------+---------+----------|
1117
- | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
1074
+ | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
1118
1075
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1119
1076
 
1120
1077
  Logs:
1121
- Bound result 25012502495531928
1122
- Bound result 766577134570551230
1078
+ Bound result 68584391973180
1079
+ Bound result 48
1080
+ Bound result 6283
1081
+ Bound result 3118
1123
1082
  Bound result 1
1124
- Bound result 9900326487455374659903
1125
- Bound result 127509110055070186129
1126
- Bound result 9134
1127
- Bound result 169
1128
- Bound result 3847
1129
- Bound result 7772283705447693399305
1130
- Bound result 61428158282281949965
1083
+ Bound result 6492
1084
+ Bound result 574
1085
+ Bound result 2
1086
+ Bound result 25484908489265
1087
+ Bound result 1
1088
+ Bound result 4
1089
+ Bound result 11516946468957632905
1090
+ Bound result 0
1091
+ Bound result 9900000000029959471821
1092
+ Bound result 6914264337593535947490
1093
+ Bound result 150
1094
+ Bound result 6182
1095
+ Bound result 6663
1096
+ Bound result 8205
1131
1097
  Bound result 1
1132
- Bound result 16276152560320745149522
1133
- Bound result 33217623
1134
1098
  Bound result 1
1135
- Bound result 880596752068785130657
1136
- Bound result 4197928202869160596833
1137
- Bound result 2149
1138
- Bound result 4663
1139
- Bound result 800
1140
- Bound result 100000000000000000000
1141
- Bound result 100000000000000000003
1142
- Bound result 39
1143
- Bound result 556
1144
- Bound result 10
1145
- Bound result 17
1146
- Bound result 21707690
1147
- Bound result 28692
1148
1099
 
1149
1100
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1150
1101
 
1151
1102
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1152
1103
  | Contract | Selector | Calls | Reverts | Discards |
1153
1104
  +======================================================================================+
1154
- | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
1105
+ | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
1155
1106
  |-----------------------------------+---------------------+-------+---------+----------|
1156
- | RateLimiterRBACUpgradeableHandler | outflow | 582 | 0 | 0 |
1107
+ | RateLimiterRBACUpgradeableHandler | outflow | 571 | 0 | 0 |
1157
1108
  |-----------------------------------+---------------------+-------+---------+----------|
1158
- | RateLimiterRBACUpgradeableHandler | setConfig | 545 | 0 | 0 |
1109
+ | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
1159
1110
  |-----------------------------------+---------------------+-------+---------+----------|
1160
- | RateLimiterRBACUpgradeableHandler | setState | 530 | 0 | 0 |
1111
+ | RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
1161
1112
  |-----------------------------------+---------------------+-------+---------+----------|
1162
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
1113
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 521 | 0 | 0 |
1163
1114
  |-----------------------------------+---------------------+-------+---------+----------|
1164
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
1115
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 576 | 0 | 0 |
1165
1116
  |-----------------------------------+---------------------+-------+---------+----------|
1166
- | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
1117
+ | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
1167
1118
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1168
1119
 
1169
1120
  Logs:
1170
- Bound result 514264337593543950335
1171
- Bound result 42
1172
- Bound result 1094441035049178836663
1121
+ Bound result 7587
1122
+ Bound result 442509949597527736492
1173
1123
  Bound result 0
1174
- Bound result 112
1175
- Bound result 3854918171553
1176
- Bound result 718654791244591879002
1177
- Bound result 31
1178
- Bound result 8083
1124
+ Bound result 9900000000000000001153
1125
+ Bound result 9900000000000000008302
1126
+ Bound result 3136
1127
+ Bound result 1984
1128
+ Bound result 917
1129
+ Bound result 221376819764
1130
+ Bound result 7150
1131
+ Bound result 363012428736
1132
+ Bound result 682
1133
+ Bound result 484
1134
+ Bound result 535
1135
+ Bound result 549570240428242
1136
+ Bound result 5988
1137
+ Bound result 1915
1138
+ Bound result 126813299
1139
+ Bound result 14
1140
+ Bound result 2509
1141
+ Bound result 3972
1142
+ Bound result 1
1179
1143
 
1180
1144
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1181
1145
 
1182
1146
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1183
1147
  | Contract | Selector | Calls | Reverts | Discards |
1184
1148
  +======================================================================================+
1185
- | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
1149
+ | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
1186
1150
  |-----------------------------------+---------------------+-------+---------+----------|
1187
- | RateLimiterRBACUpgradeableHandler | outflow | 519 | 0 | 0 |
1151
+ | RateLimiterRBACUpgradeableHandler | outflow | 567 | 0 | 0 |
1188
1152
  |-----------------------------------+---------------------+-------+---------+----------|
1189
- | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
1153
+ | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
1190
1154
  |-----------------------------------+---------------------+-------+---------+----------|
1191
- | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
1155
+ | RateLimiterRBACUpgradeableHandler | setState | 530 | 0 | 0 |
1192
1156
  |-----------------------------------+---------------------+-------+---------+----------|
1193
1157
  | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
1194
1158
  |-----------------------------------+---------------------+-------+---------+----------|
1195
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553 | 0 | 0 |
1159
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
1196
1160
  |-----------------------------------+---------------------+-------+---------+----------|
1197
- | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
1161
+ | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
1198
1162
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1199
1163
 
1200
1164
  Logs:
1201
- Bound result 177025685970596525933
1202
1165
  Bound result 1
1203
- Bound result 514264337593504336253
1204
- Bound result 138246466455746620
1166
+ Bound result 27675231003424
1167
+ Bound result 70603239665911
1205
1168
  Bound result 1
1169
+ Bound result 2907
1170
+ Bound result 4451
1206
1171
  Bound result 1
1207
- Bound result 8972658442353137
1172
+ Bound result 9900000739416555767249
1173
+ Bound result 5063802325898869968459
1174
+ Bound result 1053
1175
+ Bound result 2478
1176
+ Bound result 9900000000000000044955
1177
+ Bound result 9900000000000000057627
1178
+ Bound result 3395
1179
+ Bound result 852
1180
+ Bound result 30029988123
1181
+ Bound result 9900000000000000150138
1182
+ Bound result 6894031785634204697823
1183
+ Bound result 1096
1184
+ Bound result 4991
1185
+ Bound result 3799
1186
+ Bound result 6753
1187
+ Bound result 2
1208
1188
  Bound result 1
1209
- Bound result 1199
1210
- Bound result 78220222
1211
- Bound result 0
1212
- Bound result 1178605356
1213
- Bound result 134940833098616001555
1214
1189
  Bound result 1
1215
- Bound result 1163
1216
- Bound result 6933
1217
- Bound result 7338
1218
- Bound result 192
1219
- Bound result 1534
1220
- Bound result 9567914486731394516574
1221
- Bound result 9900000000000059234834
1222
- Bound result 11
1223
- Bound result 7404
1224
- Bound result 2
1225
- Bound result 7742894668992284747325
1190
+ Bound result 48
1191
+
1192
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.35s (8.00s CPU time)
1193
+
1194
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
1195
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
1196
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
1197
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
1198
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
1199
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
1200
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
1201
+ [PASS] test_isPaused_Default() (gas: 44698)
1202
+ [PASS] test_isPaused_InitialState() (gas: 22070)
1203
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
1204
+ [PASS] test_isPaused_Override() (gas: 69381)
1205
+ [PASS] test_isPaused_Specific() (gas: 46709)
1206
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
1207
+ [PASS] test_pauseConfig() (gas: 45626)
1208
+ [PASS] test_setDefaultPaused() (gas: 39667)
1209
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27794, ~: 16332)
1210
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
1211
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
1212
+ [PASS] test_setPaused() (gas: 43060)
1213
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
1214
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38258, ~: 43373)
1215
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
1216
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
1217
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
1218
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58502, ~: 69608)
1219
+ [PASS] test_storageHash() (gas: 3480)
1220
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
1221
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
1222
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
1223
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
1224
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
1225
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
1226
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 10.85s (316.55ms CPU time)
1227
+
1228
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1229
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1230
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1231
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45017, ~: 46317)
1232
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1233
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1234
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1235
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1236
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1237
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1238
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1239
+ [PASS] test_getFee_Default() (gas: 40577)
1240
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43123, ~: 44486)
1241
+ [PASS] test_getFee_Rounding() (gas: 42835)
1242
+ [PASS] test_getFee_Specific() (gas: 63968)
1243
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1244
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
1245
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 31960, ~: 39667)
1246
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1247
+ [PASS] test_setFeeBps() (gas: 73871)
1248
+ Logs:
1249
+ Bound result 500
1226
1250
 
1227
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.73s (14.66s CPU time)
1251
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 66353, ~: 74224)
1252
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1253
+ [PASS] test_storageHash() (gas: 3426)
1254
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 10.85s (405.66ms CPU time)
1255
+
1256
+ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
1257
+ [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
1258
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
1259
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
1260
+ [PASS] test_checkpointRateLimits_Single() (gas: 85741)
1261
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
1262
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
1263
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
1264
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
1265
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
1266
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
1267
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
1268
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
1269
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
1270
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
1271
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
1272
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
1273
+ [PASS] test_inflow_GloballyDisabled() (gas: 52015)
1274
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
1275
+ [PASS] test_initial_state_closed() (gas: 2034659)
1276
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
1277
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
1278
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
1279
+ [PASS] test_outflow_GloballyDisabled() (gas: 52036)
1280
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
1281
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
1282
+ [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
1283
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
1284
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
1285
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
1286
+ [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
1287
+ [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
1288
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
1289
+ [PASS] test_setRateLimitStates_Single() (gas: 49974)
1290
+ [PASS] test_storageHash() (gas: 3414)
1291
+ [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
1292
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 10.85s (9.92ms CPU time)
1293
+
1294
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1295
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1296
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1297
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47532, ~: 48966)
1298
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1299
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1300
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1301
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1302
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1303
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1304
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1305
+ [PASS] test_getFee_Default() (gas: 43108)
1306
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45666, ~: 47017)
1307
+ [PASS] test_getFee_Rounding() (gas: 45449)
1308
+ [PASS] test_getFee_Specific() (gas: 66985)
1309
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1310
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
1311
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34745, ~: 42268)
1312
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1313
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 22361)
1314
+ [PASS] test_setFeeBps() (gas: 77237)
1315
+ Logs:
1316
+ Bound result 500
1317
+
1318
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69709, ~: 77570)
1319
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1320
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 22460)
1321
+ [PASS] test_storageHash() (gas: 3436)
1322
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 11.09s (435.43ms CPU time)
1228
1323
 
1229
1324
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1230
1325
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1231
1326
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1232
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 751291, ~: 106485)
1327
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 793803, ~: 214337)
1233
1328
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1234
1329
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1235
1330
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1242,12 +1337,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1242
1337
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1243
1338
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1244
1339
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1245
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11132734, ~: 10457493)
1340
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11170013, ~: 10411498)
1246
1341
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1247
1342
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1248
1343
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1249
1344
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1250
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 781226, ~: 213006)
1345
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 822618, ~: 303200)
1251
1346
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1252
1347
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1253
1348
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1260,10 +1355,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1260
1355
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1261
1356
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1262
1357
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1263
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11230912, ~: 10654920)
1358
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11161342, ~: 10455372)
1264
1359
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1265
1360
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1266
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 17.19s (40.01s CPU time)
1361
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.09s (26.14s CPU time)
1267
1362
 
1268
- Ran 17 test suites in 17.23s (43.50s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1269
- ⏳ forge test: 33.866s
1363
+ Ran 17 test suites in 11.11s (63.50s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1364
+ ⏳ forge test: 25.622s