@layerzerolabs/utils-upgradeable-evm-contracts 1.2.10 → 1.2.11
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.
- package/.turbo/turbo-test.log +776 -706
- package/package.json +4 -4
package/.turbo/turbo-test.log
CHANGED
|
@@ -4,23 +4,100 @@
|
|
|
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-
|
|
7
|
+
📦 Using scoped workspace: /tmp/lz-scoped-workspace-LyBP5l
|
|
8
8
|
📦 Copied 8 workspace package source(s)
|
|
9
9
|
📦 No scoped-workspace pruner configured; using unpruned package-level source copy fallback.
|
|
10
|
-
(node:
|
|
10
|
+
(node:87961) [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-
|
|
15
|
+
-v /tmp/lz-scoped-workspace-LyBP5l:/workspace
|
|
16
16
|
-v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable
|
|
17
17
|
-v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro
|
|
18
18
|
$ docker image inspect --format {{.Architecture}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
|
|
19
|
-
|
|
19
|
+
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-3
|
|
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-3
|
|
21
|
+
$ docker pull 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
|
|
22
|
+
forge-1.3.6-hardhat-2.26.3-patch-3: Pulling from layerzerolabs/evm-tooling
|
|
23
|
+
86ec798129ac: Pulling fs layer
|
|
24
|
+
eef7c391911c: Pulling fs layer
|
|
25
|
+
cc2ecf4065b7: Pulling fs layer
|
|
26
|
+
5760fdd70374: Pulling fs layer
|
|
27
|
+
c70db14240a1: Pulling fs layer
|
|
28
|
+
0cb2c6965bde: Pulling fs layer
|
|
29
|
+
885bca26f927: Pulling fs layer
|
|
30
|
+
86ec798129ac: Waiting
|
|
31
|
+
8e167e77288f: Pulling fs layer
|
|
32
|
+
45d43cc973ba: Pulling fs layer
|
|
33
|
+
eef7c391911c: Waiting
|
|
34
|
+
44c09156221f: Pulling fs layer
|
|
35
|
+
f2fb700979ad: Pulling fs layer
|
|
36
|
+
c70db14240a1: Waiting
|
|
37
|
+
2a1ced882ba9: Pulling fs layer
|
|
38
|
+
597168d5c38e: Pulling fs layer
|
|
39
|
+
e431adaf232f: Pulling fs layer
|
|
40
|
+
cc2ecf4065b7: Waiting
|
|
41
|
+
5760fdd70374: Waiting
|
|
42
|
+
36e15e3f2788: Pulling fs layer
|
|
43
|
+
8e167e77288f: Waiting
|
|
44
|
+
0cb2c6965bde: Waiting
|
|
45
|
+
885bca26f927: Waiting
|
|
46
|
+
45d43cc973ba: Waiting
|
|
47
|
+
44c09156221f: Waiting
|
|
48
|
+
e431adaf232f: Waiting
|
|
49
|
+
2a1ced882ba9: Waiting
|
|
50
|
+
36e15e3f2788: Waiting
|
|
51
|
+
eef7c391911c: Download complete
|
|
52
|
+
86ec798129ac: Verifying Checksum
|
|
53
|
+
86ec798129ac: Download complete
|
|
54
|
+
c70db14240a1: Download complete
|
|
55
|
+
5760fdd70374: Verifying Checksum
|
|
56
|
+
5760fdd70374: Download complete
|
|
57
|
+
cc2ecf4065b7: Verifying Checksum
|
|
58
|
+
cc2ecf4065b7: Download complete
|
|
59
|
+
8e167e77288f: Verifying Checksum
|
|
60
|
+
8e167e77288f: Download complete
|
|
61
|
+
86ec798129ac: Pull complete
|
|
62
|
+
45d43cc973ba: Verifying Checksum
|
|
63
|
+
45d43cc973ba: Download complete
|
|
64
|
+
eef7c391911c: Pull complete
|
|
65
|
+
44c09156221f: Verifying Checksum
|
|
66
|
+
44c09156221f: Download complete
|
|
67
|
+
f2fb700979ad: Verifying Checksum
|
|
68
|
+
f2fb700979ad: Download complete
|
|
69
|
+
0cb2c6965bde: Verifying Checksum
|
|
70
|
+
0cb2c6965bde: Download complete
|
|
71
|
+
cc2ecf4065b7: Pull complete
|
|
72
|
+
597168d5c38e: Download complete
|
|
73
|
+
5760fdd70374: Pull complete
|
|
74
|
+
c70db14240a1: Pull complete
|
|
75
|
+
2a1ced882ba9: Verifying Checksum
|
|
76
|
+
2a1ced882ba9: Download complete
|
|
77
|
+
36e15e3f2788: Verifying Checksum
|
|
78
|
+
36e15e3f2788: Download complete
|
|
79
|
+
885bca26f927: Verifying Checksum
|
|
80
|
+
885bca26f927: Download complete
|
|
81
|
+
0cb2c6965bde: Pull complete
|
|
82
|
+
e431adaf232f: Verifying Checksum
|
|
83
|
+
e431adaf232f: Download complete
|
|
84
|
+
885bca26f927: Pull complete
|
|
85
|
+
8e167e77288f: Pull complete
|
|
86
|
+
45d43cc973ba: Pull complete
|
|
87
|
+
44c09156221f: Pull complete
|
|
88
|
+
f2fb700979ad: Pull complete
|
|
89
|
+
2a1ced882ba9: Pull complete
|
|
90
|
+
597168d5c38e: Pull complete
|
|
91
|
+
e431adaf232f: Pull complete
|
|
92
|
+
36e15e3f2788: Pull complete
|
|
93
|
+
Digest: sha256:08b858b586759ec59f4df44c0bc5eac9f856a1eb32b6ce37f79f31a20a89ed52
|
|
94
|
+
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-3
|
|
95
|
+
438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
|
|
96
|
+
✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
|
|
20
97
|
👤 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-
|
|
98
|
+
$ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-LyBP5l:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
|
|
22
99
|
Compiling 84 files with Solc 0.8.22
|
|
23
|
-
Solc 0.8.22 finished in
|
|
100
|
+
Solc 0.8.22 finished in 12.66s
|
|
24
101
|
Compiler run successful with warnings:
|
|
25
102
|
Warning (2018): Function state mutability can be restricted to view
|
|
26
103
|
--> test/EnumerableSetPagination.t.sol:91:5:
|
|
@@ -184,7 +261,7 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
|
|
|
184
261
|
[PASS] test_setRateLimitStates_Single() (gas: 52512)
|
|
185
262
|
[PASS] test_storageHash() (gas: 3392)
|
|
186
263
|
[PASS] test_upscaleRateLimitAmount() (gas: 2750380)
|
|
187
|
-
Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in
|
|
264
|
+
Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 12.70ms (9.28ms CPU time)
|
|
188
265
|
|
|
189
266
|
Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
|
|
190
267
|
[PASS] test_checkpointRateLimits_Empty() (gas: 10824)
|
|
@@ -222,7 +299,16 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
|
|
|
222
299
|
[PASS] test_setRateLimitStates_Single() (gas: 49974)
|
|
223
300
|
[PASS] test_storageHash() (gas: 3414)
|
|
224
301
|
[PASS] test_upscaleRateLimitAmount() (gas: 2014907)
|
|
225
|
-
Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in
|
|
302
|
+
Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 26.10ms (23.18ms CPU time)
|
|
303
|
+
|
|
304
|
+
Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
|
|
305
|
+
[PASS] test_feeDeposit() (gas: 17660)
|
|
306
|
+
[PASS] test_setFeeDeposit() (gas: 27618)
|
|
307
|
+
[PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
|
|
308
|
+
[PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 24359)
|
|
309
|
+
[PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
|
|
310
|
+
[PASS] test_storageHash() (gas: 3315)
|
|
311
|
+
Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 51.99ms (51.44ms CPU time)
|
|
226
312
|
|
|
227
313
|
Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
|
|
228
314
|
[PASS] test_feeDeposit() (gas: 17598)
|
|
@@ -230,46 +316,63 @@ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTe
|
|
|
230
316
|
[PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
|
|
231
317
|
[PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
|
|
232
318
|
[PASS] test_storageHash() (gas: 3337)
|
|
233
|
-
Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in
|
|
319
|
+
Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 53.42ms (52.46ms CPU time)
|
|
234
320
|
|
|
235
|
-
Ran
|
|
236
|
-
[PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ:
|
|
237
|
-
[PASS] test_assertNotPaused_Revert_Paused() (gas:
|
|
238
|
-
[PASS] test_assertNotPaused_Success() (gas:
|
|
239
|
-
[PASS] test_initialize_Revert_AlreadyInitialized() (gas:
|
|
240
|
-
[PASS]
|
|
241
|
-
[PASS]
|
|
242
|
-
[PASS]
|
|
243
|
-
[PASS]
|
|
244
|
-
[PASS]
|
|
245
|
-
[PASS]
|
|
246
|
-
[PASS] test_roleTransfer_GrantAndRevoke() (gas: 181540)
|
|
247
|
-
[PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 31015, ~: 42378)
|
|
248
|
-
[PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
|
|
249
|
-
[PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
|
|
250
|
-
[PASS] test_setPaused_Revert_Unauthorized() (gas: 20199)
|
|
251
|
-
[PASS] test_setPaused_Success() (gas: 42640)
|
|
252
|
-
[PASS] test_setPaused_Success_MultipleOperations() (gas: 59456)
|
|
253
|
-
[PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
|
|
321
|
+
Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
|
|
322
|
+
[PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25208, ~: 12763)
|
|
323
|
+
[PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
|
|
324
|
+
[PASS] test_assertNotPaused_Success() (gas: 12516)
|
|
325
|
+
[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
|
|
326
|
+
[PASS] test_isPaused_InitialState() (gas: 15595)
|
|
327
|
+
[PASS] test_pause() (gas: 39592)
|
|
328
|
+
[PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28158, ~: 39861)
|
|
329
|
+
[PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
|
|
330
|
+
[PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
|
|
331
|
+
[PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
|
|
254
332
|
[PASS] test_storageHash() (gas: 3414)
|
|
255
|
-
[PASS] test_unpause() (gas:
|
|
256
|
-
[PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ:
|
|
257
|
-
[PASS] test_whenNotPaused_Revert_Paused() (gas:
|
|
258
|
-
[PASS] test_whenNotPaused_Revert_WithReturnValue() (gas:
|
|
259
|
-
[PASS] test_whenNotPaused_Success() (gas:
|
|
260
|
-
[PASS] test_whenNotPaused_Success_AfterUnpause() (gas:
|
|
261
|
-
[PASS] test_whenNotPaused_Success_MultipleCalls() (gas:
|
|
262
|
-
[PASS] test_whenNotPaused_WithReturnValue() (gas:
|
|
263
|
-
Suite result: ok.
|
|
333
|
+
[PASS] test_unpause() (gas: 31115)
|
|
334
|
+
[PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40782, ~: 42291)
|
|
335
|
+
[PASS] test_whenNotPaused_Revert_Paused() (gas: 42105)
|
|
336
|
+
[PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38427)
|
|
337
|
+
[PASS] test_whenNotPaused_Success() (gas: 38930)
|
|
338
|
+
[PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48777)
|
|
339
|
+
[PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 58208)
|
|
340
|
+
[PASS] test_whenNotPaused_WithReturnValue() (gas: 15612)
|
|
341
|
+
Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 76.33ms (176.49ms CPU time)
|
|
264
342
|
|
|
265
|
-
Ran
|
|
266
|
-
[PASS]
|
|
267
|
-
[PASS]
|
|
268
|
-
[PASS]
|
|
269
|
-
[PASS]
|
|
270
|
-
[PASS]
|
|
271
|
-
[PASS]
|
|
272
|
-
|
|
343
|
+
Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
|
|
344
|
+
[PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
|
|
345
|
+
[PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
|
|
346
|
+
[PASS] test_assertNotPaused_Success() (gas: 14934)
|
|
347
|
+
[PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
|
|
348
|
+
[PASS] test_defaultPaused_InitialState() (gas: 15571)
|
|
349
|
+
[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
|
|
350
|
+
[PASS] test_isPaused_Default() (gas: 44698)
|
|
351
|
+
[PASS] test_isPaused_InitialState() (gas: 22070)
|
|
352
|
+
[PASS] test_isPaused_MultipleIDs() (gas: 73915)
|
|
353
|
+
[PASS] test_isPaused_Override() (gas: 69381)
|
|
354
|
+
[PASS] test_isPaused_Specific() (gas: 46709)
|
|
355
|
+
[PASS] test_isPaused_SpecificDisabled() (gas: 51615)
|
|
356
|
+
[PASS] test_pauseConfig() (gas: 45626)
|
|
357
|
+
[PASS] test_setDefaultPaused() (gas: 39667)
|
|
358
|
+
[PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27794, ~: 16332)
|
|
359
|
+
[PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
|
|
360
|
+
[PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
|
|
361
|
+
[PASS] test_setPaused() (gas: 43060)
|
|
362
|
+
[PASS] test_setPaused_EmptyArray() (gas: 10900)
|
|
363
|
+
[PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38636, ~: 43373)
|
|
364
|
+
[PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
|
|
365
|
+
[PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
|
|
366
|
+
[PASS] test_setPaused_Success_Toggle() (gas: 51442)
|
|
367
|
+
[PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57710, ~: 46989)
|
|
368
|
+
[PASS] test_storageHash() (gas: 3480)
|
|
369
|
+
[PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
|
|
370
|
+
[PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
|
|
371
|
+
[PASS] test_whenNotPaused_Success() (gas: 41297)
|
|
372
|
+
[PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
|
|
373
|
+
[PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
|
|
374
|
+
[PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
|
|
375
|
+
Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 372.39ms (428.24ms CPU time)
|
|
273
376
|
|
|
274
377
|
Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
|
|
275
378
|
[PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
|
|
@@ -287,7 +390,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
|
|
|
287
390
|
[PASS] test_pauseConfig() (gas: 51028)
|
|
288
391
|
[PASS] test_roleManagement_grantAndRevoke() (gas: 174204)
|
|
289
392
|
[PASS] test_setDefaultPaused() (gas: 42196)
|
|
290
|
-
[PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ:
|
|
393
|
+
[PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30636, ~: 30636)
|
|
291
394
|
[PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
|
|
292
395
|
[PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
|
|
293
396
|
[PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 22489)
|
|
@@ -296,8 +399,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
|
|
|
296
399
|
[PASS] test_setPaused_DormantData() (gas: 297504)
|
|
297
400
|
[PASS] test_setPaused_EmptyArray() (gas: 15702)
|
|
298
401
|
[PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 102594)
|
|
299
|
-
[PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ:
|
|
300
|
-
[PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ:
|
|
402
|
+
[PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43105, ~: 48533)
|
|
403
|
+
[PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 224797, ~: 219074)
|
|
301
404
|
[PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 25048)
|
|
302
405
|
[PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 134340)
|
|
303
406
|
[PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 109682)
|
|
@@ -311,7 +414,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
|
|
|
311
414
|
[PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 135474)
|
|
312
415
|
[PASS] test_setPaused_Success_Toggle() (gas: 58022)
|
|
313
416
|
[PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 132087)
|
|
314
|
-
[PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ:
|
|
417
|
+
[PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62694, ~: 73465)
|
|
315
418
|
[PASS] test_storageHash() (gas: 3392)
|
|
316
419
|
[PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
|
|
317
420
|
[PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
|
|
@@ -319,122 +422,100 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
|
|
|
319
422
|
[PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
|
|
320
423
|
[PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
|
|
321
424
|
[PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
|
|
322
|
-
Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in
|
|
425
|
+
Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 378.62ms (775.67ms CPU time)
|
|
323
426
|
|
|
324
|
-
Ran
|
|
325
|
-
[PASS]
|
|
326
|
-
[PASS]
|
|
327
|
-
[PASS] test_assertNotPaused_Success() (gas:
|
|
328
|
-
[PASS]
|
|
329
|
-
[PASS]
|
|
330
|
-
[PASS]
|
|
331
|
-
[PASS]
|
|
332
|
-
[PASS]
|
|
333
|
-
[PASS]
|
|
334
|
-
[PASS]
|
|
335
|
-
[PASS]
|
|
336
|
-
[PASS]
|
|
337
|
-
[PASS]
|
|
338
|
-
[PASS]
|
|
339
|
-
[PASS]
|
|
340
|
-
[PASS]
|
|
341
|
-
[PASS]
|
|
342
|
-
[PASS]
|
|
343
|
-
[PASS]
|
|
344
|
-
[PASS]
|
|
345
|
-
[PASS]
|
|
346
|
-
[PASS]
|
|
347
|
-
[PASS]
|
|
348
|
-
[PASS]
|
|
349
|
-
[PASS]
|
|
350
|
-
[PASS]
|
|
351
|
-
[PASS]
|
|
352
|
-
|
|
353
|
-
[PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
|
|
354
|
-
[PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
|
|
355
|
-
[PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
|
|
356
|
-
Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 372.09ms (311.98ms CPU time)
|
|
427
|
+
Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
|
|
428
|
+
[PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27588, ~: 41090)
|
|
429
|
+
[PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
|
|
430
|
+
[PASS] test_assertNotPaused_Success() (gas: 12539)
|
|
431
|
+
[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15969)
|
|
432
|
+
[PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 51358)
|
|
433
|
+
[PASS] test_isPaused_InitialState() (gas: 15629)
|
|
434
|
+
[PASS] test_modifierEnforcement_WithRoles() (gas: 219691)
|
|
435
|
+
[PASS] test_multipleRoleGrants() (gas: 395725)
|
|
436
|
+
[PASS] test_pause() (gas: 42109)
|
|
437
|
+
[PASS] test_renounceRole_Success_FunctionsRevert() (gas: 35880)
|
|
438
|
+
[PASS] test_roleTransfer_GrantAndRevoke() (gas: 181540)
|
|
439
|
+
[PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30401, ~: 18756)
|
|
440
|
+
[PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
|
|
441
|
+
[PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
|
|
442
|
+
[PASS] test_setPaused_Revert_Unauthorized() (gas: 20199)
|
|
443
|
+
[PASS] test_setPaused_Success() (gas: 42640)
|
|
444
|
+
[PASS] test_setPaused_Success_MultipleOperations() (gas: 59456)
|
|
445
|
+
[PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
|
|
446
|
+
[PASS] test_storageHash() (gas: 3414)
|
|
447
|
+
[PASS] test_unpause() (gas: 35177)
|
|
448
|
+
[PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41886, ~: 39122)
|
|
449
|
+
[PASS] test_whenNotPaused_Revert_Paused() (gas: 44622)
|
|
450
|
+
[PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40955)
|
|
451
|
+
[PASS] test_whenNotPaused_Success() (gas: 38986)
|
|
452
|
+
[PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52848)
|
|
453
|
+
[PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 63439)
|
|
454
|
+
[PASS] test_whenNotPaused_WithReturnValue() (gas: 15646)
|
|
455
|
+
Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.02s (399.47ms CPU time)
|
|
357
456
|
|
|
358
|
-
Ran
|
|
359
|
-
[PASS]
|
|
360
|
-
[PASS]
|
|
361
|
-
[PASS]
|
|
362
|
-
[PASS]
|
|
363
|
-
[PASS]
|
|
364
|
-
[PASS]
|
|
365
|
-
[PASS]
|
|
366
|
-
[PASS]
|
|
367
|
-
[PASS]
|
|
368
|
-
[PASS]
|
|
369
|
-
|
|
457
|
+
Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
|
|
458
|
+
[PASS] test_SwitchModes_PreservesState() (gas: 195548)
|
|
459
|
+
[PASS] test_constructor_InitialMode() (gas: 15778)
|
|
460
|
+
[PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
|
|
461
|
+
[PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
|
|
462
|
+
[PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
|
|
463
|
+
[PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
|
|
464
|
+
[PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
|
|
465
|
+
[PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
|
|
466
|
+
[PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
|
|
467
|
+
[PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115139, ~: 115159)
|
|
468
|
+
[PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
|
|
469
|
+
[PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
|
|
470
|
+
[PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
|
|
471
|
+
[PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
|
|
472
|
+
[PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
|
|
473
|
+
[PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
|
|
474
|
+
[PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20352)
|
|
475
|
+
[PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
|
|
476
|
+
[PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
|
|
477
|
+
[PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
|
|
478
|
+
[PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
|
|
479
|
+
[PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23219)
|
|
480
|
+
[PASS] test_setMode_Blacklist() (gas: 42605)
|
|
481
|
+
[PASS] test_setMode_MultipleChanges() (gas: 43274)
|
|
482
|
+
[PASS] test_setMode_RevertSameMode() (gas: 51355)
|
|
483
|
+
[PASS] test_setMode_Whitelist() (gas: 42714)
|
|
484
|
+
[PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
|
|
485
|
+
[PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
|
|
486
|
+
[PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
|
|
487
|
+
[PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
|
|
488
|
+
[PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23066)
|
|
489
|
+
[PASS] test_storageHash() (gas: 3480)
|
|
490
|
+
Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.21s (477.48ms CPU time)
|
|
370
491
|
|
|
371
|
-
Ran
|
|
372
|
-
[PASS]
|
|
373
|
-
[PASS]
|
|
374
|
-
[PASS]
|
|
375
|
-
[PASS]
|
|
376
|
-
[PASS]
|
|
377
|
-
[PASS]
|
|
378
|
-
[PASS]
|
|
379
|
-
[PASS]
|
|
380
|
-
[PASS]
|
|
381
|
-
[PASS]
|
|
382
|
-
[PASS]
|
|
383
|
-
[PASS]
|
|
384
|
-
[PASS]
|
|
385
|
-
[PASS]
|
|
386
|
-
[PASS]
|
|
387
|
-
[PASS]
|
|
388
|
-
[PASS]
|
|
389
|
-
[PASS]
|
|
390
|
-
[PASS]
|
|
391
|
-
|
|
392
|
-
|
|
393
|
-
[PASS] test_setMode_MultipleChanges() (gas: 39734)
|
|
394
|
-
[PASS] test_setMode_RevertSameMode() (gas: 45674)
|
|
395
|
-
[PASS] test_setMode_Whitelist() (gas: 40108)
|
|
396
|
-
[PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
|
|
397
|
-
[PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
|
|
398
|
-
[PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
|
|
399
|
-
[PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
|
|
400
|
-
[PASS] test_storageHash() (gas: 3458)
|
|
401
|
-
Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 1.16s (474.64ms CPU time)
|
|
492
|
+
Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
|
|
493
|
+
[PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
|
|
494
|
+
[PASS] test_getAmountBeforeFee_Default() (gas: 45067)
|
|
495
|
+
[PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44973, ~: 46317)
|
|
496
|
+
[PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
|
|
497
|
+
[PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
|
|
498
|
+
[PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
|
|
499
|
+
[PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
|
|
500
|
+
[PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
|
|
501
|
+
[PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
|
|
502
|
+
[PASS] test_getFee_BoundaryConditions() (gas: 71791)
|
|
503
|
+
[PASS] test_getFee_Default() (gas: 40577)
|
|
504
|
+
[PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43183, ~: 44486)
|
|
505
|
+
[PASS] test_getFee_Rounding() (gas: 42835)
|
|
506
|
+
[PASS] test_getFee_Specific() (gas: 63968)
|
|
507
|
+
[PASS] test_getFee_SpecificDisabled() (gas: 63920)
|
|
508
|
+
[PASS] test_setDefaultFeeBps() (gas: 39576)
|
|
509
|
+
[PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32734, ~: 39667)
|
|
510
|
+
[PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
|
|
511
|
+
[PASS] test_setFeeBps() (gas: 73871)
|
|
512
|
+
Logs:
|
|
513
|
+
Bound result 500
|
|
402
514
|
|
|
403
|
-
|
|
404
|
-
[PASS]
|
|
405
|
-
[PASS]
|
|
406
|
-
|
|
407
|
-
[PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
|
|
408
|
-
[PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
|
|
409
|
-
[PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
|
|
410
|
-
[PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
|
|
411
|
-
[PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
|
|
412
|
-
[PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
|
|
413
|
-
[PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
|
|
414
|
-
[PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
|
|
415
|
-
[PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50279)
|
|
416
|
-
[PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
|
|
417
|
-
[PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
|
|
418
|
-
[PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
|
|
419
|
-
[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
|
|
420
|
-
[PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
|
|
421
|
-
[PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
|
|
422
|
-
[PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
|
|
423
|
-
[PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
|
|
424
|
-
[PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
|
|
425
|
-
[PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
|
|
426
|
-
[PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
|
|
427
|
-
[PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
|
|
428
|
-
[PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
|
|
429
|
-
[PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
|
|
430
|
-
[PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
|
|
431
|
-
[PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
|
|
432
|
-
[PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
|
|
433
|
-
[PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
|
|
434
|
-
[PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
|
|
435
|
-
[PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
|
|
436
|
-
[PASS] test_storageHash() (gas: 3380)
|
|
437
|
-
Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 1.36s (430.89ms CPU time)
|
|
515
|
+
[PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65042, ~: 74224)
|
|
516
|
+
[PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
|
|
517
|
+
[PASS] test_storageHash() (gas: 3426)
|
|
518
|
+
Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.65s (533.10ms CPU time)
|
|
438
519
|
|
|
439
520
|
Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
|
|
440
521
|
[PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
|
|
@@ -442,368 +523,379 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
|
|
|
442
523
|
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
443
524
|
| Contract | Selector | Calls | Reverts | Discards |
|
|
444
525
|
+======================================================================================+
|
|
445
|
-
| RateLimiterRBACUpgradeableHandler | inflow |
|
|
526
|
+
| RateLimiterRBACUpgradeableHandler | inflow | 565 | 0 | 0 |
|
|
446
527
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
447
|
-
| RateLimiterRBACUpgradeableHandler | outflow |
|
|
528
|
+
| RateLimiterRBACUpgradeableHandler | outflow | 547 | 0 | 0 |
|
|
448
529
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
449
|
-
| RateLimiterRBACUpgradeableHandler | setConfig |
|
|
530
|
+
| RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
|
|
450
531
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
451
|
-
| RateLimiterRBACUpgradeableHandler | setState |
|
|
532
|
+
| RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
|
|
452
533
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
453
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption |
|
|
534
|
+
| RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
|
|
454
535
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
455
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable |
|
|
536
|
+
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555 | 0 | 0 |
|
|
456
537
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
457
|
-
| RateLimiterRBACUpgradeableHandler | warp |
|
|
538
|
+
| RateLimiterRBACUpgradeableHandler | warp | 526 | 0 | 0 |
|
|
458
539
|
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
459
540
|
|
|
460
541
|
Logs:
|
|
461
|
-
Bound result
|
|
462
|
-
Bound result
|
|
463
|
-
Bound result
|
|
464
|
-
Bound result
|
|
542
|
+
Bound result 6217
|
|
543
|
+
Bound result 145
|
|
544
|
+
Bound result 8402
|
|
545
|
+
Bound result 0
|
|
546
|
+
Bound result 327
|
|
465
547
|
Bound result 1
|
|
466
|
-
Bound result
|
|
467
|
-
Bound result
|
|
468
|
-
Bound result
|
|
469
|
-
Bound result
|
|
470
|
-
Bound result
|
|
471
|
-
Bound result
|
|
472
|
-
Bound result
|
|
473
|
-
Bound result
|
|
474
|
-
Bound result
|
|
548
|
+
Bound result 573
|
|
549
|
+
Bound result 334497530723783784271
|
|
550
|
+
Bound result 1363803916526838015616
|
|
551
|
+
Bound result 10253840027524121828
|
|
552
|
+
Bound result 671
|
|
553
|
+
Bound result 3
|
|
554
|
+
Bound result 9900000000000000002498
|
|
555
|
+
Bound result 9900000000000000000714
|
|
556
|
+
Bound result 7196
|
|
557
|
+
Bound result 3739
|
|
558
|
+
Bound result 6914264337587829919716
|
|
559
|
+
Bound result 5023
|
|
560
|
+
Bound result 51269343508923
|
|
561
|
+
Bound result 19338
|
|
562
|
+
Bound result 271
|
|
475
563
|
|
|
476
564
|
[PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
|
|
477
565
|
|
|
478
566
|
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
479
567
|
| Contract | Selector | Calls | Reverts | Discards |
|
|
480
568
|
+======================================================================================+
|
|
481
|
-
| RateLimiterRBACUpgradeableHandler | inflow |
|
|
569
|
+
| RateLimiterRBACUpgradeableHandler | inflow | 579 | 0 | 0 |
|
|
482
570
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
483
|
-
| RateLimiterRBACUpgradeableHandler | outflow |
|
|
571
|
+
| RateLimiterRBACUpgradeableHandler | outflow | 512 | 0 | 0 |
|
|
484
572
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
485
|
-
| RateLimiterRBACUpgradeableHandler | setConfig |
|
|
573
|
+
| RateLimiterRBACUpgradeableHandler | setConfig | 578 | 0 | 0 |
|
|
486
574
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
487
|
-
| RateLimiterRBACUpgradeableHandler | setState |
|
|
575
|
+
| RateLimiterRBACUpgradeableHandler | setState | 534 | 0 | 0 |
|
|
488
576
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
489
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption |
|
|
577
|
+
| RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
|
|
490
578
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
491
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable |
|
|
579
|
+
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
|
|
492
580
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
493
|
-
| RateLimiterRBACUpgradeableHandler | warp |
|
|
581
|
+
| RateLimiterRBACUpgradeableHandler | warp | 564 | 0 | 0 |
|
|
494
582
|
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
495
583
|
|
|
496
584
|
Logs:
|
|
497
|
-
Bound result
|
|
498
|
-
Bound result
|
|
499
|
-
Bound result
|
|
500
|
-
Bound result
|
|
501
|
-
Bound result
|
|
502
|
-
Bound result
|
|
503
|
-
Bound result
|
|
585
|
+
Bound result 9900000000000107477465
|
|
586
|
+
Bound result 9900000000000000004172
|
|
587
|
+
Bound result 5235
|
|
588
|
+
Bound result 9327
|
|
589
|
+
Bound result 9900000000000000001700
|
|
590
|
+
Bound result 9900000000000000002861
|
|
591
|
+
Bound result 441
|
|
592
|
+
Bound result 6835
|
|
593
|
+
Bound result 9900000000000000000999
|
|
594
|
+
Bound result 9900000000000000001089
|
|
595
|
+
Bound result 5628
|
|
596
|
+
Bound result 539
|
|
597
|
+
Bound result 287009066585010220927
|
|
598
|
+
Bound result 32440872
|
|
504
599
|
Bound result 0
|
|
505
|
-
Bound result
|
|
506
|
-
Bound result
|
|
507
|
-
Bound result
|
|
508
|
-
Bound result
|
|
509
|
-
Bound result
|
|
510
|
-
Bound result
|
|
600
|
+
Bound result 3972
|
|
601
|
+
Bound result 538
|
|
602
|
+
Bound result 7601
|
|
603
|
+
Bound result 1
|
|
604
|
+
Bound result 9900000000001688394122
|
|
605
|
+
Bound result 9900000000001936680693
|
|
511
606
|
Bound result 10
|
|
512
|
-
Bound result
|
|
513
|
-
Bound result
|
|
514
|
-
Bound result
|
|
515
|
-
Bound result
|
|
516
|
-
Bound result
|
|
517
|
-
Bound result 283
|
|
518
|
-
Bound result 3996
|
|
519
|
-
Bound result 1446
|
|
520
|
-
Bound result 4
|
|
521
|
-
Bound result 261429761832
|
|
522
|
-
Bound result 74
|
|
523
|
-
Bound result 357482027
|
|
607
|
+
Bound result 1218
|
|
608
|
+
Bound result 9900000000000000031041
|
|
609
|
+
Bound result 4585828654358088839444
|
|
610
|
+
Bound result 429
|
|
611
|
+
Bound result 4613
|
|
524
612
|
|
|
525
613
|
[PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
|
|
526
614
|
|
|
527
615
|
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
528
616
|
| Contract | Selector | Calls | Reverts | Discards |
|
|
529
617
|
+======================================================================================+
|
|
530
|
-
| RateLimiterRBACUpgradeableHandler | inflow |
|
|
618
|
+
| RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
|
|
531
619
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
532
|
-
| RateLimiterRBACUpgradeableHandler | outflow |
|
|
620
|
+
| RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
|
|
533
621
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
534
|
-
| RateLimiterRBACUpgradeableHandler | setConfig |
|
|
622
|
+
| RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
|
|
535
623
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
536
|
-
| RateLimiterRBACUpgradeableHandler | setState |
|
|
624
|
+
| RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
|
|
537
625
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
538
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption |
|
|
626
|
+
| RateLimiterRBACUpgradeableHandler | toggleExemption | 559 | 0 | 0 |
|
|
539
627
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
540
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable |
|
|
628
|
+
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
|
|
541
629
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
542
|
-
| RateLimiterRBACUpgradeableHandler | warp |
|
|
630
|
+
| RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
|
|
543
631
|
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
544
632
|
|
|
545
633
|
Logs:
|
|
546
|
-
Bound result
|
|
547
|
-
Bound result
|
|
548
|
-
Bound result
|
|
549
|
-
Bound result
|
|
550
|
-
Bound result
|
|
551
|
-
Bound result
|
|
552
|
-
Bound result
|
|
553
|
-
Bound result
|
|
554
|
-
Bound result
|
|
555
|
-
Bound result
|
|
556
|
-
Bound result
|
|
557
|
-
Bound result
|
|
558
|
-
Bound result
|
|
559
|
-
Bound result
|
|
560
|
-
Bound result
|
|
561
|
-
Bound result
|
|
562
|
-
Bound result
|
|
563
|
-
Bound result
|
|
564
|
-
Bound result
|
|
565
|
-
Bound result
|
|
566
|
-
Bound result 495
|
|
634
|
+
Bound result 5551
|
|
635
|
+
Bound result 128746520846
|
|
636
|
+
Bound result 73077478934
|
|
637
|
+
Bound result 1
|
|
638
|
+
Bound result 1341
|
|
639
|
+
Bound result 1456
|
|
640
|
+
Bound result 1343483354306172571427
|
|
641
|
+
Bound result 9900000000000037121127
|
|
642
|
+
Bound result 9900264811929320549644
|
|
643
|
+
Bound result 3413
|
|
644
|
+
Bound result 5338
|
|
645
|
+
Bound result 7670
|
|
646
|
+
Bound result 2230292476
|
|
647
|
+
Bound result 1570
|
|
648
|
+
Bound result 1816
|
|
649
|
+
Bound result 12
|
|
650
|
+
Bound result 1340474
|
|
651
|
+
Bound result 50485448181145635825
|
|
652
|
+
Bound result 1
|
|
653
|
+
Bound result 7446
|
|
567
654
|
|
|
568
655
|
[PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
|
|
569
656
|
|
|
570
657
|
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
571
658
|
| Contract | Selector | Calls | Reverts | Discards |
|
|
572
659
|
+======================================================================================+
|
|
573
|
-
| RateLimiterRBACUpgradeableHandler | inflow |
|
|
660
|
+
| RateLimiterRBACUpgradeableHandler | inflow | 559 | 0 | 0 |
|
|
574
661
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
575
|
-
| RateLimiterRBACUpgradeableHandler | outflow |
|
|
662
|
+
| RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
|
|
576
663
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
577
|
-
| RateLimiterRBACUpgradeableHandler | setConfig |
|
|
664
|
+
| RateLimiterRBACUpgradeableHandler | setConfig | 567 | 0 | 0 |
|
|
578
665
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
579
|
-
| RateLimiterRBACUpgradeableHandler | setState |
|
|
666
|
+
| RateLimiterRBACUpgradeableHandler | setState | 579 | 0 | 0 |
|
|
580
667
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
581
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption |
|
|
668
|
+
| RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
|
|
582
669
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
583
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable |
|
|
670
|
+
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
|
|
584
671
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
585
|
-
| RateLimiterRBACUpgradeableHandler | warp |
|
|
672
|
+
| RateLimiterRBACUpgradeableHandler | warp | 524 | 0 | 0 |
|
|
586
673
|
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
587
674
|
|
|
588
675
|
Logs:
|
|
589
|
-
Bound result 6839
|
|
590
676
|
Bound result 3
|
|
591
|
-
Bound result
|
|
592
|
-
Bound result
|
|
593
|
-
Bound result
|
|
594
|
-
Bound result
|
|
595
|
-
Bound result
|
|
596
|
-
Bound result
|
|
597
|
-
Bound result
|
|
598
|
-
Bound result
|
|
599
|
-
Bound result
|
|
600
|
-
Bound result
|
|
601
|
-
Bound result
|
|
602
|
-
Bound result
|
|
677
|
+
Bound result 100796297063226421697
|
|
678
|
+
Bound result 1
|
|
679
|
+
Bound result 9900000000000625761770
|
|
680
|
+
Bound result 9900000000000000004834
|
|
681
|
+
Bound result 6347
|
|
682
|
+
Bound result 5462
|
|
683
|
+
Bound result 2562799991870968
|
|
684
|
+
Bound result 1
|
|
685
|
+
Bound result 4367574830923820799627
|
|
686
|
+
Bound result 0
|
|
687
|
+
Bound result 1
|
|
688
|
+
Bound result 1661
|
|
689
|
+
Bound result 57
|
|
690
|
+
Bound result 1
|
|
691
|
+
Bound result 5171276080236251
|
|
692
|
+
Bound result 203819629
|
|
693
|
+
Bound result 1
|
|
694
|
+
Bound result 439
|
|
695
|
+
Bound result 42891005
|
|
696
|
+
Bound result 0
|
|
697
|
+
Bound result 60
|
|
698
|
+
Bound result 4149
|
|
699
|
+
Bound result 16552986500123039289717
|
|
700
|
+
Bound result 0
|
|
603
701
|
|
|
604
702
|
[PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
|
|
605
703
|
|
|
606
704
|
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
607
705
|
| Contract | Selector | Calls | Reverts | Discards |
|
|
608
706
|
+======================================================================================+
|
|
609
|
-
| RateLimiterRBACUpgradeableHandler | inflow |
|
|
707
|
+
| RateLimiterRBACUpgradeableHandler | inflow | 612 | 0 | 0 |
|
|
610
708
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
611
|
-
| RateLimiterRBACUpgradeableHandler | outflow |
|
|
709
|
+
| RateLimiterRBACUpgradeableHandler | outflow | 506 | 0 | 0 |
|
|
612
710
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
613
|
-
| RateLimiterRBACUpgradeableHandler | setConfig |
|
|
711
|
+
| RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
|
|
614
712
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
615
|
-
| RateLimiterRBACUpgradeableHandler | setState |
|
|
713
|
+
| RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
|
|
616
714
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
617
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption |
|
|
715
|
+
| RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
|
|
618
716
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
619
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable |
|
|
717
|
+
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
|
|
620
718
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
621
|
-
| RateLimiterRBACUpgradeableHandler | warp |
|
|
719
|
+
| RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
|
|
622
720
|
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
623
721
|
|
|
624
722
|
Logs:
|
|
625
|
-
Bound result
|
|
626
|
-
Bound result
|
|
627
|
-
Bound result
|
|
628
|
-
Bound result
|
|
629
|
-
Bound result
|
|
630
|
-
Bound result
|
|
631
|
-
Bound result
|
|
632
|
-
Bound result
|
|
633
|
-
Bound result
|
|
634
|
-
Bound result
|
|
635
|
-
Bound result
|
|
636
|
-
Bound result
|
|
637
|
-
Bound result
|
|
638
|
-
Bound result
|
|
639
|
-
Bound result
|
|
640
|
-
Bound result
|
|
641
|
-
Bound result
|
|
642
|
-
Bound result
|
|
643
|
-
Bound result
|
|
644
|
-
Bound result
|
|
645
|
-
Bound result 10213771662336123144852
|
|
723
|
+
Bound result 6641467028271451800203
|
|
724
|
+
Bound result 9905039423860344220071
|
|
725
|
+
Bound result 3628
|
|
726
|
+
Bound result 9996
|
|
727
|
+
Bound result 16
|
|
728
|
+
Bound result 9900000000000001446844
|
|
729
|
+
Bound result 3661232766815772140603
|
|
730
|
+
Bound result 9949
|
|
731
|
+
Bound result 6241
|
|
732
|
+
Bound result 9900000000000000001015
|
|
733
|
+
Bound result 9900000000000000002330
|
|
734
|
+
Bound result 492
|
|
735
|
+
Bound result 766
|
|
736
|
+
Bound result 7
|
|
737
|
+
Bound result 2398769950328542430103
|
|
738
|
+
Bound result 6269193
|
|
739
|
+
Bound result 3856056065
|
|
740
|
+
Bound result 10038
|
|
741
|
+
Bound result 3901
|
|
742
|
+
Bound result 8851
|
|
646
743
|
|
|
647
744
|
[PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
|
|
648
745
|
|
|
649
746
|
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
650
747
|
| Contract | Selector | Calls | Reverts | Discards |
|
|
651
748
|
+======================================================================================+
|
|
652
|
-
| RateLimiterRBACUpgradeableHandler | inflow |
|
|
749
|
+
| RateLimiterRBACUpgradeableHandler | inflow | 521 | 0 | 0 |
|
|
653
750
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
654
|
-
| RateLimiterRBACUpgradeableHandler | outflow |
|
|
751
|
+
| RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
|
|
655
752
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
656
|
-
| RateLimiterRBACUpgradeableHandler | setConfig |
|
|
753
|
+
| RateLimiterRBACUpgradeableHandler | setConfig | 514 | 0 | 0 |
|
|
657
754
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
658
|
-
| RateLimiterRBACUpgradeableHandler | setState |
|
|
755
|
+
| RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
|
|
659
756
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
660
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption |
|
|
757
|
+
| RateLimiterRBACUpgradeableHandler | toggleExemption | 581 | 0 | 0 |
|
|
661
758
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
662
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable |
|
|
759
|
+
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
|
|
663
760
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
664
|
-
| RateLimiterRBACUpgradeableHandler | warp |
|
|
761
|
+
| RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
|
|
665
762
|
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
666
763
|
|
|
667
764
|
Logs:
|
|
668
|
-
Bound result
|
|
669
|
-
Bound result 9900000000000613063845
|
|
670
|
-
Bound result 417
|
|
671
|
-
Bound result 4893
|
|
672
|
-
Bound result 6699
|
|
673
|
-
Bound result 2348707489717669982469
|
|
674
|
-
Bound result 9900021373682299873086
|
|
675
|
-
Bound result 8958
|
|
676
|
-
Bound result 9999
|
|
677
|
-
Bound result 9900000000041642268223
|
|
765
|
+
Bound result 6914264337593535947488
|
|
678
766
|
Bound result 100000000000000000000
|
|
679
|
-
Bound result
|
|
680
|
-
Bound result
|
|
681
|
-
Bound result
|
|
682
|
-
Bound result
|
|
683
|
-
Bound result
|
|
684
|
-
Bound result
|
|
685
|
-
Bound result
|
|
686
|
-
Bound result
|
|
687
|
-
Bound result
|
|
688
|
-
Bound result
|
|
689
|
-
Bound result
|
|
690
|
-
Bound result
|
|
691
|
-
Bound result
|
|
692
|
-
Bound result
|
|
693
|
-
Bound result
|
|
694
|
-
Bound result
|
|
695
|
-
Bound result
|
|
696
|
-
Bound result
|
|
697
|
-
Bound result
|
|
698
|
-
Bound result 10312
|
|
767
|
+
Bound result 6242
|
|
768
|
+
Bound result 9996
|
|
769
|
+
Bound result 8885162886515083703497
|
|
770
|
+
Bound result 3695152416
|
|
771
|
+
Bound result 0
|
|
772
|
+
Bound result 2
|
|
773
|
+
Bound result 9900000000000000010284
|
|
774
|
+
Bound result 9900000000000000000517
|
|
775
|
+
Bound result 590
|
|
776
|
+
Bound result 1291
|
|
777
|
+
Bound result 942308
|
|
778
|
+
Bound result 30196575466447
|
|
779
|
+
Bound result 1
|
|
780
|
+
Bound result 1433898603789133518
|
|
781
|
+
Bound result 2189
|
|
782
|
+
Bound result 766
|
|
783
|
+
Bound result 1311270510412975
|
|
784
|
+
Bound result 0
|
|
785
|
+
Bound result 308
|
|
699
786
|
|
|
700
787
|
[PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
|
|
701
788
|
|
|
702
789
|
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
703
790
|
| Contract | Selector | Calls | Reverts | Discards |
|
|
704
791
|
+======================================================================================+
|
|
705
|
-
| RateLimiterRBACUpgradeableHandler | inflow |
|
|
792
|
+
| RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
|
|
706
793
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
707
|
-
| RateLimiterRBACUpgradeableHandler | outflow |
|
|
794
|
+
| RateLimiterRBACUpgradeableHandler | outflow | 499 | 0 | 0 |
|
|
708
795
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
709
|
-
| RateLimiterRBACUpgradeableHandler | setConfig |
|
|
796
|
+
| RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
|
|
710
797
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
711
|
-
| RateLimiterRBACUpgradeableHandler | setState |
|
|
798
|
+
| RateLimiterRBACUpgradeableHandler | setState | 571 | 0 | 0 |
|
|
712
799
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
713
800
|
| RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
|
|
714
801
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
715
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable |
|
|
802
|
+
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
|
|
716
803
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
717
|
-
| RateLimiterRBACUpgradeableHandler | warp |
|
|
804
|
+
| RateLimiterRBACUpgradeableHandler | warp | 576 | 0 | 0 |
|
|
718
805
|
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
719
806
|
|
|
720
807
|
Logs:
|
|
721
|
-
Bound result
|
|
722
|
-
Bound result
|
|
723
|
-
Bound result
|
|
724
|
-
Bound result
|
|
725
|
-
Bound result
|
|
726
|
-
Bound result
|
|
727
|
-
Bound result
|
|
728
|
-
Bound result
|
|
729
|
-
Bound result
|
|
730
|
-
Bound result
|
|
731
|
-
Bound result
|
|
732
|
-
Bound result
|
|
733
|
-
Bound result
|
|
734
|
-
Bound result
|
|
735
|
-
Bound result
|
|
736
|
-
Bound result
|
|
737
|
-
Bound result 1576
|
|
738
|
-
Bound result 2991
|
|
739
|
-
Bound result 9900000000000000002103
|
|
740
|
-
Bound result 9900000000000000009704
|
|
741
|
-
Bound result 7402
|
|
742
|
-
Bound result 3642
|
|
743
|
-
Bound result 9924
|
|
808
|
+
Bound result 9900000000000000006078
|
|
809
|
+
Bound result 9900000000001263864543
|
|
810
|
+
Bound result 1349
|
|
811
|
+
Bound result 5348
|
|
812
|
+
Bound result 3819
|
|
813
|
+
Bound result 8149
|
|
814
|
+
Bound result 155
|
|
815
|
+
Bound result 9789
|
|
816
|
+
Bound result 1
|
|
817
|
+
Bound result 6874
|
|
818
|
+
Bound result 53881663
|
|
819
|
+
Bound result 49059
|
|
820
|
+
Bound result 3888
|
|
821
|
+
Bound result 6914264337544902664500
|
|
822
|
+
Bound result 951
|
|
823
|
+
Bound result 934
|
|
744
824
|
|
|
745
825
|
[PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
|
|
746
826
|
|
|
747
827
|
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
748
828
|
| Contract | Selector | Calls | Reverts | Discards |
|
|
749
829
|
+======================================================================================+
|
|
750
|
-
| RateLimiterRBACUpgradeableHandler | inflow |
|
|
830
|
+
| RateLimiterRBACUpgradeableHandler | inflow | 505 | 0 | 0 |
|
|
751
831
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
752
|
-
| RateLimiterRBACUpgradeableHandler | outflow |
|
|
832
|
+
| RateLimiterRBACUpgradeableHandler | outflow | 583 | 0 | 0 |
|
|
753
833
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
754
|
-
| RateLimiterRBACUpgradeableHandler | setConfig |
|
|
834
|
+
| RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
|
|
755
835
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
756
|
-
| RateLimiterRBACUpgradeableHandler | setState |
|
|
836
|
+
| RateLimiterRBACUpgradeableHandler | setState | 520 | 0 | 0 |
|
|
757
837
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
758
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption |
|
|
838
|
+
| RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
|
|
759
839
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
760
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable |
|
|
840
|
+
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 573 | 0 | 0 |
|
|
761
841
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
762
|
-
| RateLimiterRBACUpgradeableHandler | warp |
|
|
842
|
+
| RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
|
|
763
843
|
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
764
844
|
|
|
765
845
|
Logs:
|
|
766
|
-
Bound result
|
|
767
|
-
Bound result
|
|
768
|
-
Bound result
|
|
769
|
-
Bound result
|
|
770
|
-
Bound result
|
|
771
|
-
Bound result
|
|
772
|
-
Bound result
|
|
773
|
-
Bound result
|
|
774
|
-
Bound result
|
|
775
|
-
Bound result
|
|
776
|
-
Bound result
|
|
777
|
-
Bound result
|
|
778
|
-
Bound result
|
|
779
|
-
Bound result
|
|
780
|
-
Bound result
|
|
781
|
-
Bound result
|
|
782
|
-
Bound result
|
|
846
|
+
Bound result 1052
|
|
847
|
+
Bound result 1699915097630
|
|
848
|
+
Bound result 1809609504639539553973
|
|
849
|
+
Bound result 1314527689600155736
|
|
850
|
+
Bound result 28
|
|
851
|
+
Bound result 19
|
|
852
|
+
Bound result 6396
|
|
853
|
+
Bound result 1483
|
|
854
|
+
Bound result 2067408715435015872111
|
|
855
|
+
Bound result 9900000000000000098902
|
|
856
|
+
Bound result 16
|
|
857
|
+
Bound result 1008
|
|
858
|
+
Bound result 1005
|
|
859
|
+
Bound result 831
|
|
860
|
+
Bound result 4782588997790494
|
|
861
|
+
Bound result 9900000000011074433265
|
|
862
|
+
Bound result 100000000000000000001
|
|
863
|
+
Bound result 3531
|
|
864
|
+
Bound result 2118
|
|
865
|
+
Bound result 8132
|
|
866
|
+
Bound result 800627395
|
|
867
|
+
|
|
868
|
+
Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.66s (10.02s CPU time)
|
|
783
869
|
|
|
784
|
-
|
|
870
|
+
Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
|
|
871
|
+
[PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
|
|
872
|
+
[PASS] test_getAmountBeforeFee_Default() (gas: 47637)
|
|
873
|
+
[PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47716, ~: 48966)
|
|
874
|
+
[PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
|
|
875
|
+
[PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
|
|
876
|
+
[PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
|
|
877
|
+
[PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
|
|
878
|
+
[PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
|
|
879
|
+
[PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
|
|
880
|
+
[PASS] test_getFee_BoundaryConditions() (gas: 75442)
|
|
881
|
+
[PASS] test_getFee_Default() (gas: 43108)
|
|
882
|
+
[PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45535, ~: 47017)
|
|
883
|
+
[PASS] test_getFee_Rounding() (gas: 45449)
|
|
884
|
+
[PASS] test_getFee_Specific() (gas: 66985)
|
|
885
|
+
[PASS] test_getFee_SpecificDisabled() (gas: 66943)
|
|
886
|
+
[PASS] test_setDefaultFeeBps() (gas: 42199)
|
|
887
|
+
[PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35435, ~: 42268)
|
|
888
|
+
[PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
|
|
889
|
+
[PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 22361)
|
|
890
|
+
[PASS] test_setFeeBps() (gas: 77237)
|
|
891
|
+
Logs:
|
|
892
|
+
Bound result 500
|
|
785
893
|
|
|
786
|
-
|
|
787
|
-
[PASS]
|
|
788
|
-
[PASS]
|
|
789
|
-
[PASS]
|
|
790
|
-
|
|
791
|
-
[PASS] test_isPaused_InitialState() (gas: 15595)
|
|
792
|
-
[PASS] test_pause() (gas: 39592)
|
|
793
|
-
[PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28110, ~: 39861)
|
|
794
|
-
[PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
|
|
795
|
-
[PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
|
|
796
|
-
[PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
|
|
797
|
-
[PASS] test_storageHash() (gas: 3414)
|
|
798
|
-
[PASS] test_unpause() (gas: 31115)
|
|
799
|
-
[PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40713, ~: 39155)
|
|
800
|
-
[PASS] test_whenNotPaused_Revert_Paused() (gas: 42105)
|
|
801
|
-
[PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38427)
|
|
802
|
-
[PASS] test_whenNotPaused_Success() (gas: 38930)
|
|
803
|
-
[PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48777)
|
|
804
|
-
[PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 58208)
|
|
805
|
-
[PASS] test_whenNotPaused_WithReturnValue() (gas: 15612)
|
|
806
|
-
Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.53s (182.11ms CPU time)
|
|
894
|
+
[PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68458, ~: 77570)
|
|
895
|
+
[PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
|
|
896
|
+
[PASS] test_setFeeBps_Revert_Unauthorized() (gas: 22460)
|
|
897
|
+
[PASS] test_storageHash() (gas: 3436)
|
|
898
|
+
Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.73s (428.71ms CPU time)
|
|
807
899
|
|
|
808
900
|
Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
|
|
809
901
|
[PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
|
|
@@ -811,434 +903,412 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
|
|
|
811
903
|
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
812
904
|
| Contract | Selector | Calls | Reverts | Discards |
|
|
813
905
|
+======================================================================================+
|
|
814
|
-
| RateLimiterRBACUpgradeableHandler | inflow |
|
|
906
|
+
| RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
|
|
815
907
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
816
|
-
| RateLimiterRBACUpgradeableHandler | outflow |
|
|
908
|
+
| RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
|
|
817
909
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
818
|
-
| RateLimiterRBACUpgradeableHandler | setConfig |
|
|
910
|
+
| RateLimiterRBACUpgradeableHandler | setConfig | 514 | 0 | 0 |
|
|
819
911
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
820
|
-
| RateLimiterRBACUpgradeableHandler | setState |
|
|
912
|
+
| RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
|
|
821
913
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
822
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption |
|
|
914
|
+
| RateLimiterRBACUpgradeableHandler | toggleExemption | 569 | 0 | 0 |
|
|
823
915
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
824
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable |
|
|
916
|
+
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570 | 0 | 0 |
|
|
825
917
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
826
|
-
| RateLimiterRBACUpgradeableHandler | warp |
|
|
918
|
+
| RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
|
|
827
919
|
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
828
920
|
|
|
829
921
|
Logs:
|
|
830
|
-
Bound result
|
|
831
|
-
Bound result
|
|
832
|
-
Bound result
|
|
833
|
-
Bound result
|
|
834
|
-
Bound result
|
|
835
|
-
Bound result
|
|
836
|
-
Bound result
|
|
837
|
-
Bound result
|
|
838
|
-
Bound result
|
|
839
|
-
Bound result
|
|
840
|
-
Bound result
|
|
841
|
-
Bound result
|
|
842
|
-
Bound result 9900757531943769654143
|
|
843
|
-
Bound result 1618733760
|
|
844
|
-
Bound result 4147918859299493663445
|
|
845
|
-
Bound result 1253786026000873936947
|
|
922
|
+
Bound result 3705889412816
|
|
923
|
+
Bound result 300
|
|
924
|
+
Bound result 13301085
|
|
925
|
+
Bound result 205575640828662096338
|
|
926
|
+
Bound result 245796848408628627166
|
|
927
|
+
Bound result 6101
|
|
928
|
+
Bound result 26
|
|
929
|
+
Bound result 5807
|
|
930
|
+
Bound result 26
|
|
931
|
+
Bound result 111
|
|
932
|
+
Bound result 1212
|
|
933
|
+
Bound result 16776782
|
|
846
934
|
Bound result 0
|
|
847
|
-
Bound result
|
|
848
|
-
Bound result 1763627
|
|
849
|
-
Bound result 18206401802793762
|
|
935
|
+
Bound result 10479054162049
|
|
850
936
|
Bound result 0
|
|
851
|
-
Bound result
|
|
852
|
-
Bound result
|
|
853
|
-
Bound result
|
|
854
|
-
Bound result
|
|
855
|
-
Bound result 7057
|
|
937
|
+
Bound result 1493
|
|
938
|
+
Bound result 2675
|
|
939
|
+
Bound result 2093
|
|
940
|
+
Bound result 368
|
|
856
941
|
|
|
857
942
|
[PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
|
|
858
943
|
|
|
859
944
|
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
860
945
|
| Contract | Selector | Calls | Reverts | Discards |
|
|
861
946
|
+======================================================================================+
|
|
862
|
-
| RateLimiterRBACUpgradeableHandler | inflow |
|
|
947
|
+
| RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
|
|
863
948
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
864
|
-
| RateLimiterRBACUpgradeableHandler | outflow |
|
|
949
|
+
| RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
|
|
865
950
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
866
|
-
| RateLimiterRBACUpgradeableHandler | setConfig |
|
|
951
|
+
| RateLimiterRBACUpgradeableHandler | setConfig | 583 | 0 | 0 |
|
|
867
952
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
868
|
-
| RateLimiterRBACUpgradeableHandler | setState |
|
|
953
|
+
| RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
|
|
869
954
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
870
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption |
|
|
955
|
+
| RateLimiterRBACUpgradeableHandler | toggleExemption | 575 | 0 | 0 |
|
|
871
956
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
872
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable |
|
|
957
|
+
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
|
|
873
958
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
874
|
-
| RateLimiterRBACUpgradeableHandler | warp |
|
|
959
|
+
| RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
|
|
875
960
|
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
876
961
|
|
|
877
962
|
Logs:
|
|
878
|
-
Bound result
|
|
879
|
-
Bound result
|
|
880
|
-
Bound result
|
|
881
|
-
Bound result
|
|
882
|
-
Bound result
|
|
883
|
-
Bound result
|
|
884
|
-
Bound result
|
|
885
|
-
Bound result
|
|
963
|
+
Bound result 9900000000000000009891
|
|
964
|
+
Bound result 9900000000000000001819
|
|
965
|
+
Bound result 545
|
|
966
|
+
Bound result 508
|
|
967
|
+
Bound result 5238207093688483408819
|
|
968
|
+
Bound result 100000000000000000003
|
|
969
|
+
Bound result 2639
|
|
970
|
+
Bound result 6558
|
|
971
|
+
Bound result 2945
|
|
972
|
+
Bound result 14193452550803284343
|
|
973
|
+
Bound result 464195773601796043
|
|
974
|
+
Bound result 10500
|
|
975
|
+
Bound result 802525242547
|
|
976
|
+
Bound result 137
|
|
977
|
+
Bound result 79105
|
|
978
|
+
Bound result 9900000096640739275398
|
|
979
|
+
Bound result 9900000000000358429874
|
|
980
|
+
Bound result 316
|
|
981
|
+
Bound result 489
|
|
982
|
+
Bound result 8924
|
|
983
|
+
Bound result 81
|
|
886
984
|
|
|
887
985
|
[PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
|
|
888
986
|
|
|
889
987
|
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
890
988
|
| Contract | Selector | Calls | Reverts | Discards |
|
|
891
989
|
+======================================================================================+
|
|
892
|
-
| RateLimiterRBACUpgradeableHandler | inflow |
|
|
990
|
+
| RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
|
|
893
991
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
894
|
-
| RateLimiterRBACUpgradeableHandler | outflow |
|
|
992
|
+
| RateLimiterRBACUpgradeableHandler | outflow | 518 | 0 | 0 |
|
|
895
993
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
896
|
-
| RateLimiterRBACUpgradeableHandler | setConfig |
|
|
994
|
+
| RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
|
|
897
995
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
898
|
-
| RateLimiterRBACUpgradeableHandler | setState |
|
|
996
|
+
| RateLimiterRBACUpgradeableHandler | setState | 542 | 0 | 0 |
|
|
899
997
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
900
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption |
|
|
998
|
+
| RateLimiterRBACUpgradeableHandler | toggleExemption | 609 | 0 | 0 |
|
|
901
999
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
902
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable |
|
|
1000
|
+
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 519 | 0 | 0 |
|
|
903
1001
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
904
|
-
| RateLimiterRBACUpgradeableHandler | warp |
|
|
1002
|
+
| RateLimiterRBACUpgradeableHandler | warp | 585 | 0 | 0 |
|
|
905
1003
|
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
906
1004
|
|
|
907
1005
|
Logs:
|
|
908
|
-
Bound result
|
|
909
|
-
Bound result
|
|
910
|
-
Bound result
|
|
911
|
-
Bound result 8801
|
|
912
|
-
Bound result 9900000000000000000223
|
|
913
|
-
Bound result 9900000000000000001586
|
|
914
|
-
Bound result 6051
|
|
915
|
-
Bound result 7151
|
|
916
|
-
Bound result 7063
|
|
917
|
-
Bound result 635
|
|
918
|
-
Bound result 1
|
|
919
|
-
Bound result 126513849
|
|
920
|
-
Bound result 10
|
|
921
|
-
Bound result 7796
|
|
922
|
-
Bound result 5856
|
|
923
|
-
Bound result 1982
|
|
924
|
-
Bound result 4513327282563986734
|
|
925
|
-
Bound result 10645
|
|
926
|
-
Bound result 10469
|
|
927
|
-
Bound result 140
|
|
1006
|
+
Bound result 359460779786799174313
|
|
1007
|
+
Bound result 6661761361131266467556
|
|
1008
|
+
Bound result 218
|
|
928
1009
|
Bound result 266
|
|
929
|
-
Bound result
|
|
930
|
-
Bound result
|
|
1010
|
+
Bound result 2
|
|
1011
|
+
Bound result 9213
|
|
1012
|
+
Bound result 129
|
|
1013
|
+
Bound result 9900000000379411867454
|
|
1014
|
+
Bound result 4100168519963057415778
|
|
1015
|
+
Bound result 651
|
|
1016
|
+
Bound result 10
|
|
1017
|
+
Bound result 407
|
|
1018
|
+
Bound result 3856056066
|
|
1019
|
+
Bound result 0
|
|
1020
|
+
Bound result 1955
|
|
1021
|
+
Bound result 1271164073815130
|
|
1022
|
+
Bound result 385416002
|
|
1023
|
+
Bound result 1
|
|
1024
|
+
Bound result 7330
|
|
1025
|
+
Bound result 9900000000002719481311
|
|
1026
|
+
Bound result 6697854339302607069824
|
|
1027
|
+
Bound result 615
|
|
1028
|
+
Bound result 301
|
|
931
1029
|
|
|
932
1030
|
[PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
|
|
933
1031
|
|
|
934
1032
|
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
935
1033
|
| Contract | Selector | Calls | Reverts | Discards |
|
|
936
1034
|
+======================================================================================+
|
|
937
|
-
| RateLimiterRBACUpgradeableHandler | inflow |
|
|
1035
|
+
| RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
|
|
938
1036
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
939
|
-
| RateLimiterRBACUpgradeableHandler | outflow |
|
|
1037
|
+
| RateLimiterRBACUpgradeableHandler | outflow | 576 | 0 | 0 |
|
|
940
1038
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
941
|
-
| RateLimiterRBACUpgradeableHandler | setConfig |
|
|
1039
|
+
| RateLimiterRBACUpgradeableHandler | setConfig | 587 | 0 | 0 |
|
|
942
1040
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
943
|
-
| RateLimiterRBACUpgradeableHandler | setState |
|
|
1041
|
+
| RateLimiterRBACUpgradeableHandler | setState | 559 | 0 | 0 |
|
|
944
1042
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
945
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption |
|
|
1043
|
+
| RateLimiterRBACUpgradeableHandler | toggleExemption | 492 | 0 | 0 |
|
|
946
1044
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
947
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable |
|
|
1045
|
+
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
|
|
948
1046
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
949
|
-
| RateLimiterRBACUpgradeableHandler | warp |
|
|
1047
|
+
| RateLimiterRBACUpgradeableHandler | warp | 518 | 0 | 0 |
|
|
950
1048
|
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
951
1049
|
|
|
952
1050
|
Logs:
|
|
953
|
-
Bound result
|
|
954
|
-
Bound result
|
|
955
|
-
Bound result
|
|
956
|
-
Bound result
|
|
957
|
-
Bound result
|
|
1051
|
+
Bound result 7761381
|
|
1052
|
+
Bound result 1900636112487811209680
|
|
1053
|
+
Bound result 5137
|
|
1054
|
+
Bound result 1
|
|
1055
|
+
Bound result 9900000000000000010398
|
|
1056
|
+
Bound result 9900000000000000000137
|
|
1057
|
+
Bound result 1030
|
|
1058
|
+
Bound result 7902
|
|
958
1059
|
Bound result 3
|
|
959
|
-
Bound result
|
|
960
|
-
Bound result
|
|
961
|
-
Bound result
|
|
962
|
-
Bound result
|
|
963
|
-
Bound result
|
|
964
|
-
Bound result
|
|
965
|
-
Bound result
|
|
966
|
-
Bound result
|
|
967
|
-
Bound result
|
|
968
|
-
Bound result
|
|
969
|
-
Bound result
|
|
970
|
-
Bound result
|
|
971
|
-
Bound result
|
|
972
|
-
Bound result
|
|
973
|
-
Bound result
|
|
974
|
-
Bound result
|
|
975
|
-
Bound result
|
|
1060
|
+
Bound result 1367382036005220683490
|
|
1061
|
+
Bound result 62799733
|
|
1062
|
+
Bound result 1
|
|
1063
|
+
Bound result 9900000000000000000250
|
|
1064
|
+
Bound result 9900000000000000008049
|
|
1065
|
+
Bound result 553
|
|
1066
|
+
Bound result 7885
|
|
1067
|
+
Bound result 4116
|
|
1068
|
+
Bound result 9900000000000000009851
|
|
1069
|
+
Bound result 9900000000000000009736
|
|
1070
|
+
Bound result 3996
|
|
1071
|
+
Bound result 7624
|
|
1072
|
+
Bound result 9900000007719607212233
|
|
1073
|
+
Bound result 100000000000000000002
|
|
1074
|
+
Bound result 424
|
|
1075
|
+
Bound result 13
|
|
1076
|
+
Bound result 453
|
|
1077
|
+
Bound result 780
|
|
976
1078
|
|
|
977
1079
|
[PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
|
|
978
1080
|
|
|
979
1081
|
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
980
1082
|
| Contract | Selector | Calls | Reverts | Discards |
|
|
981
1083
|
+======================================================================================+
|
|
982
|
-
| RateLimiterRBACUpgradeableHandler | inflow |
|
|
1084
|
+
| RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
|
|
983
1085
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
984
|
-
| RateLimiterRBACUpgradeableHandler | outflow |
|
|
1086
|
+
| RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
|
|
985
1087
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
986
|
-
| RateLimiterRBACUpgradeableHandler | setConfig |
|
|
1088
|
+
| RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
|
|
987
1089
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
988
|
-
| RateLimiterRBACUpgradeableHandler | setState |
|
|
1090
|
+
| RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
|
|
989
1091
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
990
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption |
|
|
1092
|
+
| RateLimiterRBACUpgradeableHandler | toggleExemption | 559 | 0 | 0 |
|
|
991
1093
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
992
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable |
|
|
1094
|
+
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 561 | 0 | 0 |
|
|
993
1095
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
994
|
-
| RateLimiterRBACUpgradeableHandler | warp |
|
|
1096
|
+
| RateLimiterRBACUpgradeableHandler | warp | 511 | 0 | 0 |
|
|
995
1097
|
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
996
1098
|
|
|
997
1099
|
Logs:
|
|
998
|
-
Bound result
|
|
999
|
-
Bound result
|
|
1000
|
-
Bound result
|
|
1001
|
-
Bound result
|
|
1002
|
-
Bound result 9900000000000000006891
|
|
1003
|
-
Bound result 55
|
|
1004
|
-
Bound result 9996
|
|
1005
|
-
Bound result 642
|
|
1006
|
-
Bound result 346306110787391611985
|
|
1007
|
-
Bound result 2012965625220
|
|
1008
|
-
Bound result 6493756330965100506
|
|
1009
|
-
Bound result 518914804
|
|
1100
|
+
Bound result 698402883142699256494
|
|
1101
|
+
Bound result 1
|
|
1102
|
+
Bound result 664
|
|
1103
|
+
Bound result 12
|
|
1010
1104
|
Bound result 1
|
|
1011
|
-
Bound result
|
|
1105
|
+
Bound result 290
|
|
1106
|
+
Bound result 1976
|
|
1107
|
+
Bound result 650945005910909914344
|
|
1108
|
+
Bound result 664342333814183324530
|
|
1109
|
+
Bound result 3
|
|
1110
|
+
Bound result 9900000000000000001326
|
|
1111
|
+
Bound result 9900000000000000007071
|
|
1112
|
+
Bound result 5741
|
|
1113
|
+
Bound result 752
|
|
1114
|
+
Bound result 6563004161581751608524
|
|
1012
1115
|
|
|
1013
1116
|
[PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
|
|
1014
1117
|
|
|
1015
1118
|
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
1016
1119
|
| Contract | Selector | Calls | Reverts | Discards |
|
|
1017
1120
|
+======================================================================================+
|
|
1018
|
-
| RateLimiterRBACUpgradeableHandler | inflow |
|
|
1121
|
+
| RateLimiterRBACUpgradeableHandler | inflow | 575 | 0 | 0 |
|
|
1019
1122
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
1020
|
-
| RateLimiterRBACUpgradeableHandler | outflow |
|
|
1123
|
+
| RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
|
|
1021
1124
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
1022
|
-
| RateLimiterRBACUpgradeableHandler | setConfig |
|
|
1125
|
+
| RateLimiterRBACUpgradeableHandler | setConfig | 527 | 0 | 0 |
|
|
1023
1126
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
1024
|
-
| RateLimiterRBACUpgradeableHandler | setState |
|
|
1127
|
+
| RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
|
|
1025
1128
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
1026
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption |
|
|
1129
|
+
| RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
|
|
1027
1130
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
1028
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable |
|
|
1131
|
+
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
|
|
1029
1132
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
1030
|
-
| RateLimiterRBACUpgradeableHandler | warp |
|
|
1133
|
+
| RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
|
|
1031
1134
|
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
1032
1135
|
|
|
1033
1136
|
Logs:
|
|
1034
|
-
Bound result
|
|
1035
|
-
Bound result
|
|
1036
|
-
Bound result
|
|
1037
|
-
Bound result
|
|
1038
|
-
Bound result
|
|
1039
|
-
Bound result
|
|
1040
|
-
Bound result
|
|
1041
|
-
Bound result
|
|
1042
|
-
Bound result
|
|
1043
|
-
Bound result
|
|
1044
|
-
Bound result
|
|
1045
|
-
Bound result
|
|
1046
|
-
Bound result
|
|
1047
|
-
Bound result
|
|
1048
|
-
Bound result
|
|
1049
|
-
Bound result
|
|
1050
|
-
Bound result
|
|
1051
|
-
Bound result
|
|
1052
|
-
Bound result
|
|
1053
|
-
Bound result 9900000003699969945273
|
|
1054
|
-
Bound result 2501
|
|
1055
|
-
Bound result 2374
|
|
1056
|
-
Bound result 1
|
|
1137
|
+
Bound result 9900000000000000004721
|
|
1138
|
+
Bound result 9900000000000000003464
|
|
1139
|
+
Bound result 6046
|
|
1140
|
+
Bound result 9944
|
|
1141
|
+
Bound result 322522876908
|
|
1142
|
+
Bound result 7682144
|
|
1143
|
+
Bound result 352
|
|
1144
|
+
Bound result 16666191081172561784566
|
|
1145
|
+
Bound result 6914264337565822098718
|
|
1146
|
+
Bound result 8737
|
|
1147
|
+
Bound result 9900002450189686404757
|
|
1148
|
+
Bound result 9901987831695856671178
|
|
1149
|
+
Bound result 5063
|
|
1150
|
+
Bound result 1916
|
|
1151
|
+
Bound result 14134913023711
|
|
1152
|
+
Bound result 12888483068107
|
|
1153
|
+
Bound result 3
|
|
1154
|
+
Bound result 34352222350168952964
|
|
1155
|
+
Bound result 16212053650930577783
|
|
1057
1156
|
|
|
1058
1157
|
[PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
|
|
1059
1158
|
|
|
1060
1159
|
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
1061
1160
|
| Contract | Selector | Calls | Reverts | Discards |
|
|
1062
1161
|
+======================================================================================+
|
|
1063
|
-
| RateLimiterRBACUpgradeableHandler | inflow |
|
|
1162
|
+
| RateLimiterRBACUpgradeableHandler | inflow | 521 | 0 | 0 |
|
|
1064
1163
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
1065
|
-
| RateLimiterRBACUpgradeableHandler | outflow |
|
|
1164
|
+
| RateLimiterRBACUpgradeableHandler | outflow | 490 | 0 | 0 |
|
|
1066
1165
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
1067
|
-
| RateLimiterRBACUpgradeableHandler | setConfig |
|
|
1166
|
+
| RateLimiterRBACUpgradeableHandler | setConfig | 601 | 0 | 0 |
|
|
1068
1167
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
1069
|
-
| RateLimiterRBACUpgradeableHandler | setState |
|
|
1168
|
+
| RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
|
|
1070
1169
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
1071
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption |
|
|
1170
|
+
| RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
|
|
1072
1171
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
1073
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable |
|
|
1172
|
+
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 564 | 0 | 0 |
|
|
1074
1173
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
1075
|
-
| RateLimiterRBACUpgradeableHandler | warp |
|
|
1174
|
+
| RateLimiterRBACUpgradeableHandler | warp | 568 | 0 | 0 |
|
|
1076
1175
|
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
1077
1176
|
|
|
1078
1177
|
Logs:
|
|
1079
|
-
Bound result
|
|
1080
|
-
Bound result
|
|
1081
|
-
Bound result
|
|
1082
|
-
Bound result
|
|
1083
|
-
Bound result
|
|
1084
|
-
Bound result
|
|
1085
|
-
Bound result
|
|
1086
|
-
Bound result
|
|
1087
|
-
Bound result
|
|
1088
|
-
Bound result 15695808985538265366831
|
|
1089
|
-
Bound result 2498146231229311554693
|
|
1090
|
-
Bound result 394325683086357774966
|
|
1091
|
-
Bound result 4283
|
|
1092
|
-
Bound result 9900000000000000003194
|
|
1093
|
-
Bound result 9900000000003856056066
|
|
1094
|
-
Bound result 6242
|
|
1095
|
-
Bound result 6093
|
|
1096
|
-
Bound result 8484
|
|
1178
|
+
Bound result 9900219041556389095777
|
|
1179
|
+
Bound result 100000000000000000000
|
|
1180
|
+
Bound result 28
|
|
1181
|
+
Bound result 6909
|
|
1182
|
+
Bound result 2304574767635451153
|
|
1183
|
+
Bound result 14112896150388432
|
|
1184
|
+
Bound result 0
|
|
1185
|
+
Bound result 5152
|
|
1186
|
+
Bound result 8183
|
|
1097
1187
|
Bound result 1
|
|
1098
|
-
Bound result 4892
|
|
1099
1188
|
|
|
1100
1189
|
[PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
|
|
1101
1190
|
|
|
1102
1191
|
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
1103
1192
|
| Contract | Selector | Calls | Reverts | Discards |
|
|
1104
1193
|
+======================================================================================+
|
|
1105
|
-
| RateLimiterRBACUpgradeableHandler | inflow |
|
|
1194
|
+
| RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
|
|
1106
1195
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
1107
|
-
| RateLimiterRBACUpgradeableHandler | outflow |
|
|
1196
|
+
| RateLimiterRBACUpgradeableHandler | outflow | 484 | 0 | 0 |
|
|
1108
1197
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
1109
|
-
| RateLimiterRBACUpgradeableHandler | setConfig |
|
|
1198
|
+
| RateLimiterRBACUpgradeableHandler | setConfig | 516 | 0 | 0 |
|
|
1110
1199
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
1111
|
-
| RateLimiterRBACUpgradeableHandler | setState |
|
|
1200
|
+
| RateLimiterRBACUpgradeableHandler | setState | 627 | 0 | 0 |
|
|
1112
1201
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
1113
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption |
|
|
1202
|
+
| RateLimiterRBACUpgradeableHandler | toggleExemption | 564 | 0 | 0 |
|
|
1114
1203
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
1115
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable |
|
|
1204
|
+
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
|
|
1116
1205
|
|-----------------------------------+---------------------+-------+---------+----------|
|
|
1117
|
-
| RateLimiterRBACUpgradeableHandler | warp |
|
|
1206
|
+
| RateLimiterRBACUpgradeableHandler | warp | 525 | 0 | 0 |
|
|
1118
1207
|
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
1119
1208
|
|
|
1120
1209
|
Logs:
|
|
1121
|
-
Bound result
|
|
1210
|
+
Bound result 3
|
|
1211
|
+
Bound result 810049336030723589793
|
|
1212
|
+
Bound result 1
|
|
1213
|
+
Bound result 1875809624070006700812
|
|
1214
|
+
Bound result 4
|
|
1215
|
+
Bound result 545
|
|
1216
|
+
Bound result 493
|
|
1217
|
+
Bound result 612
|
|
1218
|
+
Bound result 1214
|
|
1219
|
+
Bound result 5578
|
|
1220
|
+
Bound result 5689
|
|
1221
|
+
Bound result 635
|
|
1222
|
+
Bound result 1796
|
|
1122
1223
|
Bound result 1
|
|
1123
|
-
Bound result 0
|
|
1124
|
-
Bound result 9900000025754975164923
|
|
1125
|
-
Bound result 5356323746120361473672
|
|
1126
|
-
Bound result 1028
|
|
1127
|
-
Bound result 4496
|
|
1128
|
-
Bound result 9900294965006506533355
|
|
1129
|
-
Bound result 9900000003247617241918
|
|
1130
|
-
Bound result 6241
|
|
1131
|
-
Bound result 9996
|
|
1132
|
-
Bound result 82
|
|
1133
|
-
Bound result 9900000000000000007261
|
|
1134
|
-
Bound result 9900000000000000006162
|
|
1135
|
-
Bound result 4896
|
|
1136
|
-
Bound result 2138
|
|
1137
|
-
Bound result 3740
|
|
1138
|
-
Bound result 3222002978
|
|
1139
|
-
Bound result 7040
|
|
1140
|
-
Bound result 517471313600096
|
|
1141
|
-
Bound result 9660
|
|
1142
|
-
|
|
1143
|
-
Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.53s (9.63s CPU time)
|
|
1144
|
-
|
|
1145
|
-
Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
|
|
1146
|
-
[PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
|
|
1147
|
-
[PASS] test_getAmountBeforeFee_Default() (gas: 47637)
|
|
1148
|
-
[PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47518, ~: 48966)
|
|
1149
|
-
[PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
|
|
1150
|
-
[PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
|
|
1151
|
-
[PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
|
|
1152
|
-
[PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
|
|
1153
|
-
[PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
|
|
1154
|
-
[PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
|
|
1155
|
-
[PASS] test_getFee_BoundaryConditions() (gas: 75442)
|
|
1156
|
-
[PASS] test_getFee_Default() (gas: 43108)
|
|
1157
|
-
[PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45719, ~: 47017)
|
|
1158
|
-
[PASS] test_getFee_Rounding() (gas: 45449)
|
|
1159
|
-
[PASS] test_getFee_Specific() (gas: 66985)
|
|
1160
|
-
[PASS] test_getFee_SpecificDisabled() (gas: 66943)
|
|
1161
|
-
[PASS] test_setDefaultFeeBps() (gas: 42199)
|
|
1162
|
-
[PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34963, ~: 42268)
|
|
1163
|
-
[PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
|
|
1164
|
-
[PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 22361)
|
|
1165
|
-
[PASS] test_setFeeBps() (gas: 77237)
|
|
1166
|
-
Logs:
|
|
1167
|
-
Bound result 500
|
|
1168
1224
|
|
|
1169
|
-
|
|
1170
|
-
[PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
|
|
1171
|
-
[PASS] test_setFeeBps_Revert_Unauthorized() (gas: 22460)
|
|
1172
|
-
[PASS] test_storageHash() (gas: 3436)
|
|
1173
|
-
Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 10.51s (386.78ms CPU time)
|
|
1225
|
+
Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.76s (10.40s CPU time)
|
|
1174
1226
|
|
|
1175
|
-
Ran
|
|
1176
|
-
[PASS]
|
|
1177
|
-
[PASS]
|
|
1178
|
-
[PASS]
|
|
1179
|
-
[PASS]
|
|
1180
|
-
[PASS]
|
|
1181
|
-
[PASS]
|
|
1182
|
-
[PASS]
|
|
1183
|
-
[PASS]
|
|
1184
|
-
[PASS]
|
|
1185
|
-
[PASS]
|
|
1186
|
-
[PASS]
|
|
1187
|
-
[PASS]
|
|
1188
|
-
[PASS]
|
|
1189
|
-
[PASS]
|
|
1190
|
-
[PASS]
|
|
1191
|
-
[PASS]
|
|
1192
|
-
[PASS]
|
|
1193
|
-
[PASS]
|
|
1194
|
-
[PASS]
|
|
1195
|
-
[PASS]
|
|
1196
|
-
[PASS]
|
|
1197
|
-
[PASS]
|
|
1198
|
-
[PASS]
|
|
1199
|
-
[PASS]
|
|
1200
|
-
[PASS]
|
|
1201
|
-
[PASS]
|
|
1202
|
-
[PASS]
|
|
1203
|
-
[PASS]
|
|
1204
|
-
[PASS]
|
|
1205
|
-
[PASS]
|
|
1206
|
-
[PASS]
|
|
1207
|
-
[PASS]
|
|
1208
|
-
|
|
1227
|
+
Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
|
|
1228
|
+
[PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
|
|
1229
|
+
[PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
|
|
1230
|
+
[PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
|
|
1231
|
+
[PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
|
|
1232
|
+
[PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
|
|
1233
|
+
[PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
|
|
1234
|
+
[PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
|
|
1235
|
+
[PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
|
|
1236
|
+
[PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
|
|
1237
|
+
[PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
|
|
1238
|
+
[PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
|
|
1239
|
+
[PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50279)
|
|
1240
|
+
[PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
|
|
1241
|
+
[PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
|
|
1242
|
+
[PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
|
|
1243
|
+
[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
|
|
1244
|
+
[PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
|
|
1245
|
+
[PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
|
|
1246
|
+
[PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
|
|
1247
|
+
[PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
|
|
1248
|
+
[PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
|
|
1249
|
+
[PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
|
|
1250
|
+
[PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
|
|
1251
|
+
[PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
|
|
1252
|
+
[PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
|
|
1253
|
+
[PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
|
|
1254
|
+
[PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
|
|
1255
|
+
[PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
|
|
1256
|
+
[PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
|
|
1257
|
+
[PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
|
|
1258
|
+
[PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
|
|
1259
|
+
[PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
|
|
1260
|
+
[PASS] test_storageHash() (gas: 3380)
|
|
1261
|
+
Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 1.76s (356.78ms CPU time)
|
|
1209
1262
|
|
|
1210
|
-
Ran
|
|
1211
|
-
[PASS]
|
|
1212
|
-
[PASS]
|
|
1213
|
-
[PASS]
|
|
1214
|
-
[PASS]
|
|
1215
|
-
[PASS]
|
|
1216
|
-
[PASS]
|
|
1217
|
-
[PASS]
|
|
1218
|
-
[PASS]
|
|
1219
|
-
[PASS]
|
|
1220
|
-
[PASS]
|
|
1221
|
-
|
|
1222
|
-
[PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43174, ~: 44486)
|
|
1223
|
-
[PASS] test_getFee_Rounding() (gas: 42835)
|
|
1224
|
-
[PASS] test_getFee_Specific() (gas: 63968)
|
|
1225
|
-
[PASS] test_getFee_SpecificDisabled() (gas: 63920)
|
|
1226
|
-
[PASS] test_setDefaultFeeBps() (gas: 39576)
|
|
1227
|
-
[PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32512, ~: 39667)
|
|
1228
|
-
[PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
|
|
1229
|
-
[PASS] test_setFeeBps() (gas: 73871)
|
|
1230
|
-
Logs:
|
|
1231
|
-
Bound result 500
|
|
1263
|
+
Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
|
|
1264
|
+
[PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
|
|
1265
|
+
[PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
|
|
1266
|
+
[PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
|
|
1267
|
+
[PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
|
|
1268
|
+
[PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3388)
|
|
1269
|
+
[PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
|
|
1270
|
+
[PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
|
|
1271
|
+
[PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
|
|
1272
|
+
[PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
|
|
1273
|
+
[PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
|
|
1274
|
+
Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 11.62s (49.51ms CPU time)
|
|
1232
1275
|
|
|
1233
|
-
|
|
1234
|
-
[PASS]
|
|
1235
|
-
[PASS]
|
|
1236
|
-
|
|
1276
|
+
Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
|
|
1277
|
+
[PASS] test_SwitchModes_PreservesState() (gas: 186406)
|
|
1278
|
+
[PASS] test_constructor_InitialMode() (gas: 15578)
|
|
1279
|
+
[PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
|
|
1280
|
+
[PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
|
|
1281
|
+
[PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
|
|
1282
|
+
[PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
|
|
1283
|
+
[PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
|
|
1284
|
+
[PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
|
|
1285
|
+
[PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
|
|
1286
|
+
[PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
|
|
1287
|
+
[PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
|
|
1288
|
+
[PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
|
|
1289
|
+
[PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
|
|
1290
|
+
[PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
|
|
1291
|
+
[PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
|
|
1292
|
+
[PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
|
|
1293
|
+
[PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
|
|
1294
|
+
[PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
|
|
1295
|
+
[PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
|
|
1296
|
+
[PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
|
|
1297
|
+
[PASS] test_setMode_Blacklist() (gas: 40021)
|
|
1298
|
+
[PASS] test_setMode_MultipleChanges() (gas: 39734)
|
|
1299
|
+
[PASS] test_setMode_RevertSameMode() (gas: 45674)
|
|
1300
|
+
[PASS] test_setMode_Whitelist() (gas: 40108)
|
|
1301
|
+
[PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
|
|
1302
|
+
[PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
|
|
1303
|
+
[PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
|
|
1304
|
+
[PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
|
|
1305
|
+
[PASS] test_storageHash() (gas: 3458)
|
|
1306
|
+
Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 11.62s (492.83ms CPU time)
|
|
1237
1307
|
|
|
1238
1308
|
Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
|
|
1239
1309
|
[PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
|
|
1240
1310
|
[PASS] test_address_paginate_EmptySet() (gas: 277856)
|
|
1241
|
-
[PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ:
|
|
1311
|
+
[PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 768180, ~: 163648)
|
|
1242
1312
|
[PASS] test_address_paginate_LargeSet() (gas: 465360224)
|
|
1243
1313
|
[PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
|
|
1244
1314
|
[PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
|
|
@@ -1251,12 +1321,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
|
|
|
1251
1321
|
[PASS] test_address_paginate_OffsetZero() (gas: 45775)
|
|
1252
1322
|
[PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
|
|
1253
1323
|
[PASS] test_address_paginate_SingleElement() (gas: 344858)
|
|
1254
|
-
[PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ:
|
|
1324
|
+
[PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11174279, ~: 10429988)
|
|
1255
1325
|
[PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
|
|
1256
1326
|
[PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
|
|
1257
1327
|
[PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
|
|
1258
1328
|
[PASS] test_uint_paginate_EmptySet() (gas: 266762)
|
|
1259
|
-
[PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ:
|
|
1329
|
+
[PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 727436, ~: 116338)
|
|
1260
1330
|
[PASS] test_uint_paginate_LargeSet() (gas: 463783795)
|
|
1261
1331
|
[PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
|
|
1262
1332
|
[PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
|
|
@@ -1269,10 +1339,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
|
|
|
1269
1339
|
[PASS] test_uint_paginate_OffsetZero() (gas: 44650)
|
|
1270
1340
|
[PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
|
|
1271
1341
|
[PASS] test_uint_paginate_SingleElement() (gas: 333617)
|
|
1272
|
-
[PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ:
|
|
1342
|
+
[PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11121193, ~: 10359797)
|
|
1273
1343
|
[PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
|
|
1274
1344
|
[PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
|
|
1275
|
-
Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in
|
|
1345
|
+
Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.91s (28.37s CPU time)
|
|
1276
1346
|
|
|
1277
|
-
Ran 17 test suites in
|
|
1278
|
-
⏳ forge test:
|
|
1347
|
+
Ran 17 test suites in 11.93s (46.92s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
|
|
1348
|
+
⏳ forge test: 26.495s
|