@latticexyz/world 1.40.0 → 1.41.0
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/LICENSE +21 -0
- package/abi/AddressArraySchemaLib.json +718 -869
- package/abi/BoolSchemaLib.json +401 -401
- package/abi/Bytes.json +1162 -1162
- package/abi/CommonBase.json +125 -125
- package/abi/DSTest.json +2630 -2630
- package/abi/DecodeSlice.json +3883 -3883
- package/abi/EncodeArray.json +3336 -3336
- package/abi/Hooks.json +1491 -785
- package/abi/IMulticall3.json +283 -283
- package/abi/IStore.json +623 -421
- package/abi/IStoreHook.json +567 -421
- package/abi/ISystemHook.json +19 -19
- package/abi/Memory.json +131 -131
- package/abi/PackedCounterLib.json +683 -683
- package/abi/RouteAccess.json +2209 -1159
- package/abi/RouteOwnerSchemaLib.json +349 -349
- package/abi/RouteOwnerTable.json +297 -297
- package/abi/RouteSchemaLib.json +433 -433
- package/abi/RouteTable.json +336 -336
- package/abi/SchemaLib.json +1211 -1211
- package/abi/ScriptBase.json +125 -125
- package/abi/SliceInstance.json +429 -429
- package/abi/SliceLib.json +429 -429
- package/abi/StdAssertions.json +2135 -2135
- package/abi/StdChains.json +1051 -1051
- package/abi/StdCheats.json +3257 -3257
- package/abi/StdCheatsSafe.json +3257 -3257
- package/abi/StdInvariant.json +337 -337
- package/abi/StdUtils.json +1122 -1122
- package/abi/Storage.json +491 -491
- package/abi/Store.json +374 -209
- package/abi/StoreCore.json +10665 -7865
- package/abi/StoreCoreExtended.json +10443 -7722
- package/abi/StoreCoreInternal.json +10482 -7638
- package/abi/StoreMetadata.json +3719 -2417
- package/abi/StoreSwitch.json +1692 -783
- package/abi/System.json +16 -16
- package/abi/SystemRouteSchemaLib.json +402 -402
- package/abi/SystemRouteTable.json +336 -336
- package/abi/SystemTable.json +8544 -651
- package/abi/SystemTest.json +287 -303
- package/abi/Test.json +124 -124
- package/abi/TestBase.json +125 -125
- package/abi/TestSystem.json +287 -303
- package/abi/TightCoder.json +272 -272
- package/abi/Utils.json +67 -67
- package/abi/Vm.json +1850 -1850
- package/abi/VmSafe.json +1850 -1850
- package/abi/World.json +5183 -3374
- package/abi/WorldTest.json +9983 -10520
- package/abi/WorldTestSystem.json +9992 -10503
- package/abi/WorldTestTableHook.json +9978 -10511
- package/abi/console.json +11417 -11417
- package/abi/console2.json +11459 -11459
- package/abi/stdError.json +79 -79
- package/abi/stdJson.json +1016 -1016
- package/abi/stdMath.json +218 -218
- package/abi/stdStorage.json +2400 -2400
- package/abi/stdStorageSafe.json +2400 -2400
- package/package.json +8 -8
- package/src/World.sol +78 -32
- package/src/schemas/AddressArray.sol +5 -19
- package/src/tables/RouteAccess.sol +35 -30
- package/src/tables/SystemTable.sol +142 -23
- package/types/ethers-contracts/IStore.ts +49 -0
- package/types/ethers-contracts/Store.ts +49 -0
- package/types/ethers-contracts/World.ts +94 -0
- package/types/ethers-contracts/WorldTest.ts +27 -0
- package/types/ethers-contracts/factories/IStore__factory.ts +28 -0
- package/types/ethers-contracts/factories/StoreCore__factory.ts +2 -23
- package/types/ethers-contracts/factories/StoreSwitch__factory.ts +1 -1
- package/types/ethers-contracts/factories/Store__factory.ts +81 -0
- package/types/ethers-contracts/factories/SystemTest__factory.ts +1 -1
- package/types/ethers-contracts/factories/TestSystem__factory.ts +1 -1
- package/types/ethers-contracts/factories/WorldTestSystem__factory.ts +12 -1
- package/types/ethers-contracts/factories/WorldTestTableHook__factory.ts +1 -1
- package/types/ethers-contracts/factories/WorldTest__factory.ts +11 -34
- package/types/ethers-contracts/factories/World__factory.ts +70 -30
- package/types/ethers-contracts/index.ts +0 -2
- package/abi/SystemSchemaLib.json +0 -3704
- package/src/schemas/SystemSchema.sol +0 -78
- package/types/ethers-contracts/StoreCoreExtended.ts +0 -141
- package/types/ethers-contracts/factories/StoreCoreExtended__factory.ts +0 -123
package/abi/StdInvariant.json
CHANGED
|
@@ -136,7 +136,7 @@
|
|
|
136
136
|
},
|
|
137
137
|
"deployedBytecode": {
|
|
138
138
|
"object": "0x608060405234801561001057600080fd5b50600436106100885760003560e01c806385226c811161005b57806385226c81146100d0578063916a17c6146100e5578063b5508aa9146100ed578063e20c9f71146100f557600080fd5b80631ed7831c1461008d5780633e5e3c23146100ab5780633f7286f4146100b357806366d9a9a0146100bb575b600080fd5b6100956100fd565b6040516100a2919061066c565b60405180910390f35b61009561016c565b6100956101d9565b6100c3610246565b6040516100a291906106c6565b6100d8610357565b6040516100a2919061079e565b6100c3610427565b6100d861052f565b6100956105ff565b6060600180548060200260200160405190810160405280929190818152602001828054801561016257602002820191906000526020600020905b815473ffffffffffffffffffffffffffffffffffffffff168152600190910190602001808311610137575b5050505050905090565b606060038054806020026020016040519081016040528092919081815260200182805480156101625760200282019190600052602060002090815473ffffffffffffffffffffffffffffffffffffffff168152600190910190602001808311610137575050505050905090565b606060028054806020026020016040519081016040528092919081815260200182805480156101625760200282019190600052602060002090815473ffffffffffffffffffffffffffffffffffffffff168152600190910190602001808311610137575050505050905090565b60606006805480602002602001604051908101604052809291908181526020016000905b8282101561034e57600084815260209081902060408051808201825260028602909201805473ffffffffffffffffffffffffffffffffffffffff16835260018101805483518187028101870190945280845293949193858301939283018282801561033657602002820191906000526020600020906000905b82829054906101000a900460e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200190600401906020826003010492830192600103820291508084116102e35790505b5050505050815250508152602001906001019061026a565b50505050905090565b60606005805480602002602001604051908101604052809291908181526020016000905b8282101561034e57838290600052602060002001805461039a90610857565b80601f01602080910402602001604051908101604052809291908181526020018280546103c690610857565b80156104135780601f106103e857610100808354040283529160200191610413565b820191906000526020600020905b8154815290600101906020018083116103f657829003601f168201915b50505050508152602001906001019061037b565b60606007805480602002602001604051908101604052809291908181526020016000905b8282101561034e57600084815260209081902060408051808201825260028602909201805473ffffffffffffffffffffffffffffffffffffffff16835260018101805483518187028101870190945280845293949193858301939283018282801561051757602002820191906000526020600020906000905b82829054906101000a900460e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200190600401906020826003010492830192600103820291508084116104c45790505b5050505050815250508152602001906001019061044b565b60606004805480602002602001604051908101604052809291908181526020016000905b8282101561034e57838290600052602060002001805461057290610857565b80601f016020809104026020016040519081016040528092919081815260200182805461059e90610857565b80156105eb5780601f106105c0576101008083540402835291602001916105eb565b820191906000526020600020905b8154815290600101906020018083116105ce57829003601f168201915b505050505081526020019060010190610553565b606060008054806020026020016040519081016040528092919081815260200182805480156101625760200282019190600052602060002090815473ffffffffffffffffffffffffffffffffffffffff168152600190910190602001808311610137575050505050905090565b6020808252825182820181905260009190848201906040850190845b818110156106ba57835173ffffffffffffffffffffffffffffffffffffffff1683529284019291840191600101610688565b50909695505050505050565b60006020808301818452808551808352604092508286019150828160051b8701018488016000805b8481101561078f57898403603f190186528251805173ffffffffffffffffffffffffffffffffffffffff168552880151888501889052805188860181905290890190839060608701905b8083101561077a5783517fffffffff00000000000000000000000000000000000000000000000000000000168252928b019260019290920191908b0190610738565b50978a019795505050918701916001016106ee565b50919998505050505050505050565b6000602080830181845280855180835260408601915060408160051b87010192508387016000805b8381101561084957603f1989870301855282518051808852835b818110156107fb578281018a01518982018b015289016107e0565b8181111561080b57848a838b0101525b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016969096018701955093860193918601916001016107c6565b509398975050505050505050565b600181811c9082168061086b57607f821691505b6020821081036108a4577f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b5091905056fea2646970667358221220903179da083faa0ae34880b9e4dd3194d4c0fefd90b4bffbcd1c6f08d10ee0e664736f6c634300080d0033",
|
|
139
|
-
"sourceMap": "100:2965:23:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2161:134;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2930:133;;;:::i;2631:141::-;;;:::i;2447:178::-;;;:::i;:::-;;;;;;;:::i;2301:140::-;;;:::i;:::-;;;;;;;:::i;2778:146::-;;;:::i;1866:141::-;;;:::i;2013:142::-;;;:::i;2161:134::-;2208:33;2272:16;2253:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2161:134;:::o;2930:133::-;2976:33;3040:16;3021:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2930:133;:::o;2631:141::-;2679:35;2747:18;2726:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2631:141;:::o;2447:178::-;2503:48;2592:26;2563:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2447:178;:::o;2301:140::-;2349:34;2416:18;2395:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2778:146;2826:40;2899:18;2878:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1866:141;1915:34;1982:18;1961:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2013:142;2062:35;2130:18;2109:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2013:142;:::o;14:681:
|
|
139
|
+
"sourceMap": "100:2965:23:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2161:134;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2930:133;;;:::i;2631:141::-;;;:::i;2447:178::-;;;:::i;:::-;;;;;;;:::i;2301:140::-;;;:::i;:::-;;;;;;;:::i;2778:146::-;;;:::i;1866:141::-;;;:::i;2013:142::-;;;:::i;2161:134::-;2208:33;2272:16;2253:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2161:134;:::o;2930:133::-;2976:33;3040:16;3021:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2930:133;:::o;2631:141::-;2679:35;2747:18;2726:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2631:141;:::o;2447:178::-;2503:48;2592:26;2563:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2447:178;:::o;2301:140::-;2349:34;2416:18;2395:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2778:146;2826:40;2899:18;2878:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1866:141;1915:34;1982:18;1961:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2013:142;2062:35;2130:18;2109:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2013:142;:::o;14:681:78:-;185:2;237:21;;;307:13;;210:18;;;329:22;;;156:4;;185:2;408:15;;;;382:2;367:18;;;156:4;451:218;465:6;462:1;459:13;451:218;;;530:13;;545:42;526:62;514:75;;644:15;;;;609:12;;;;487:1;480:9;451:218;;;-1:-1:-1;686:3:78;;14:681;-1:-1:-1;;;;;;14:681:78:o;700:1697::-;904:4;933:2;973;962:9;958:18;1003:2;992:9;985:21;1026:6;1061;1055:13;1092:6;1084;1077:22;1118:2;1108:12;;1151:2;1140:9;1136:18;1129:25;;1213:2;1203:6;1200:1;1196:14;1185:9;1181:30;1177:39;1251:2;1243:6;1239:15;1272:1;1293;1303:1065;1319:6;1314:3;1311:15;1303:1065;;;1388:22;;;-1:-1:-1;;1384:95:78;1372:108;;1503:13;;1590:9;;1601:42;1586:58;1571:74;;1684:11;;1678:18;1716:15;;;1709:27;;;1797:19;;1543:15;;;1829:24;;;1919:21;;;;1964:1;;1887:2;1875:15;;;1978:282;1994:8;1989:3;1986:17;1978:282;;;2075:15;;2092:66;2071:88;2057:103;;2229:17;;;;2022:1;2013:11;;;;;2186:14;;;;1978:282;;;-1:-1:-1;2346:12:78;;;;2283:5;-1:-1:-1;;;2311:15:78;;;;1345:1;1336:11;1303:1065;;;-1:-1:-1;2385:6:78;;700:1697;-1:-1:-1;;;;;;;;;700:1697:78:o;2402:1386::-;2564:4;2593:2;2633;2622:9;2618:18;2663:2;2652:9;2645:21;2686:6;2721;2715:13;2752:6;2744;2737:22;2790:2;2779:9;2775:18;2768:25;;2852:2;2842:6;2839:1;2835:14;2824:9;2820:30;2816:39;2802:53;;2890:2;2882:6;2878:15;2911:1;2932;2942:817;2958:6;2953:3;2950:15;2942:817;;;-1:-1:-1;;3039:9:78;3031:6;3027:22;3023:95;3018:3;3011:108;3148:6;3142:13;3190:2;3184:9;3221:8;3213:6;3206:24;3254:1;3268:157;3284:8;3279:3;3276:17;3268:157;;;3392:12;;;3388:21;;3382:28;3359:16;;;3355:25;;3348:63;3303:12;;3268:157;;;3449:8;3444:3;3441:17;3438:106;;;3528:1;3523:2;3512:8;3504:6;3500:21;3496:30;3489:41;3438:106;-1:-1:-1;3601:2:78;3587:17;3606:66;3583:90;3571:103;;;;3567:112;;;-1:-1:-1;3737:12:78;;;;3702:15;;;;2984:1;2975:11;2942:817;;;-1:-1:-1;3776:6:78;;2402:1386;-1:-1:-1;;;;;;;;2402:1386:78:o;3793:437::-;3872:1;3868:12;;;;3915;;;3936:61;;3990:4;3982:6;3978:17;3968:27;;3936:61;4043:2;4035:6;4032:14;4012:18;4009:38;4006:218;;4080:77;4077:1;4070:88;4181:4;4178:1;4171:15;4209:4;4206:1;4199:15;4006:218;;3793:437;;;:::o",
|
|
140
140
|
"linkReferences": {}
|
|
141
141
|
},
|
|
142
142
|
"methodIdentifiers": {
|
|
@@ -339,17 +339,17 @@
|
|
|
339
339
|
},
|
|
340
340
|
"ast": {
|
|
341
341
|
"absolutePath": "../../node_modules/forge-std/src/StdInvariant.sol",
|
|
342
|
-
"id":
|
|
342
|
+
"id": 67568,
|
|
343
343
|
"exportedSymbols": {
|
|
344
344
|
"StdInvariant": [
|
|
345
|
-
|
|
345
|
+
67567
|
|
346
346
|
]
|
|
347
347
|
},
|
|
348
348
|
"nodeType": "SourceUnit",
|
|
349
349
|
"src": "32:3034:23",
|
|
350
350
|
"nodes": [
|
|
351
351
|
{
|
|
352
|
-
"id":
|
|
352
|
+
"id": 67345,
|
|
353
353
|
"nodeType": "PragmaDirective",
|
|
354
354
|
"src": "32:31:23",
|
|
355
355
|
"nodes": [],
|
|
@@ -364,7 +364,7 @@
|
|
|
364
364
|
]
|
|
365
365
|
},
|
|
366
366
|
{
|
|
367
|
-
"id":
|
|
367
|
+
"id": 67346,
|
|
368
368
|
"nodeType": "PragmaDirective",
|
|
369
369
|
"src": "65:33:23",
|
|
370
370
|
"nodes": [],
|
|
@@ -374,12 +374,12 @@
|
|
|
374
374
|
]
|
|
375
375
|
},
|
|
376
376
|
{
|
|
377
|
-
"id":
|
|
377
|
+
"id": 67567,
|
|
378
378
|
"nodeType": "ContractDefinition",
|
|
379
379
|
"src": "100:2965:23",
|
|
380
380
|
"nodes": [
|
|
381
381
|
{
|
|
382
|
-
"id":
|
|
382
|
+
"id": 67352,
|
|
383
383
|
"nodeType": "StructDefinition",
|
|
384
384
|
"src": "128:77:23",
|
|
385
385
|
"nodes": [],
|
|
@@ -387,12 +387,12 @@
|
|
|
387
387
|
"members": [
|
|
388
388
|
{
|
|
389
389
|
"constant": false,
|
|
390
|
-
"id":
|
|
390
|
+
"id": 67348,
|
|
391
391
|
"mutability": "mutable",
|
|
392
392
|
"name": "addr",
|
|
393
393
|
"nameLocation": "166:4:23",
|
|
394
394
|
"nodeType": "VariableDeclaration",
|
|
395
|
-
"scope":
|
|
395
|
+
"scope": 67352,
|
|
396
396
|
"src": "158:12:23",
|
|
397
397
|
"stateVariable": false,
|
|
398
398
|
"storageLocation": "default",
|
|
@@ -401,7 +401,7 @@
|
|
|
401
401
|
"typeString": "address"
|
|
402
402
|
},
|
|
403
403
|
"typeName": {
|
|
404
|
-
"id":
|
|
404
|
+
"id": 67347,
|
|
405
405
|
"name": "address",
|
|
406
406
|
"nodeType": "ElementaryTypeName",
|
|
407
407
|
"src": "158:7:23",
|
|
@@ -415,12 +415,12 @@
|
|
|
415
415
|
},
|
|
416
416
|
{
|
|
417
417
|
"constant": false,
|
|
418
|
-
"id":
|
|
418
|
+
"id": 67351,
|
|
419
419
|
"mutability": "mutable",
|
|
420
420
|
"name": "selectors",
|
|
421
421
|
"nameLocation": "189:9:23",
|
|
422
422
|
"nodeType": "VariableDeclaration",
|
|
423
|
-
"scope":
|
|
423
|
+
"scope": 67352,
|
|
424
424
|
"src": "180:18:23",
|
|
425
425
|
"stateVariable": false,
|
|
426
426
|
"storageLocation": "default",
|
|
@@ -430,7 +430,7 @@
|
|
|
430
430
|
},
|
|
431
431
|
"typeName": {
|
|
432
432
|
"baseType": {
|
|
433
|
-
"id":
|
|
433
|
+
"id": 67349,
|
|
434
434
|
"name": "bytes4",
|
|
435
435
|
"nodeType": "ElementaryTypeName",
|
|
436
436
|
"src": "180:6:23",
|
|
@@ -439,7 +439,7 @@
|
|
|
439
439
|
"typeString": "bytes4"
|
|
440
440
|
}
|
|
441
441
|
},
|
|
442
|
-
"id":
|
|
442
|
+
"id": 67350,
|
|
443
443
|
"nodeType": "ArrayTypeName",
|
|
444
444
|
"src": "180:8:23",
|
|
445
445
|
"typeDescriptions": {
|
|
@@ -452,11 +452,11 @@
|
|
|
452
452
|
],
|
|
453
453
|
"name": "FuzzSelector",
|
|
454
454
|
"nameLocation": "135:12:23",
|
|
455
|
-
"scope":
|
|
455
|
+
"scope": 67567,
|
|
456
456
|
"visibility": "public"
|
|
457
457
|
},
|
|
458
458
|
{
|
|
459
|
-
"id":
|
|
459
|
+
"id": 67355,
|
|
460
460
|
"nodeType": "VariableDeclaration",
|
|
461
461
|
"src": "211:36:23",
|
|
462
462
|
"nodes": [],
|
|
@@ -464,7 +464,7 @@
|
|
|
464
464
|
"mutability": "mutable",
|
|
465
465
|
"name": "_excludedContracts",
|
|
466
466
|
"nameLocation": "229:18:23",
|
|
467
|
-
"scope":
|
|
467
|
+
"scope": 67567,
|
|
468
468
|
"stateVariable": true,
|
|
469
469
|
"storageLocation": "default",
|
|
470
470
|
"typeDescriptions": {
|
|
@@ -473,7 +473,7 @@
|
|
|
473
473
|
},
|
|
474
474
|
"typeName": {
|
|
475
475
|
"baseType": {
|
|
476
|
-
"id":
|
|
476
|
+
"id": 67353,
|
|
477
477
|
"name": "address",
|
|
478
478
|
"nodeType": "ElementaryTypeName",
|
|
479
479
|
"src": "211:7:23",
|
|
@@ -483,7 +483,7 @@
|
|
|
483
483
|
"typeString": "address"
|
|
484
484
|
}
|
|
485
485
|
},
|
|
486
|
-
"id":
|
|
486
|
+
"id": 67354,
|
|
487
487
|
"nodeType": "ArrayTypeName",
|
|
488
488
|
"src": "211:9:23",
|
|
489
489
|
"typeDescriptions": {
|
|
@@ -494,7 +494,7 @@
|
|
|
494
494
|
"visibility": "private"
|
|
495
495
|
},
|
|
496
496
|
{
|
|
497
|
-
"id":
|
|
497
|
+
"id": 67358,
|
|
498
498
|
"nodeType": "VariableDeclaration",
|
|
499
499
|
"src": "253:34:23",
|
|
500
500
|
"nodes": [],
|
|
@@ -502,7 +502,7 @@
|
|
|
502
502
|
"mutability": "mutable",
|
|
503
503
|
"name": "_excludedSenders",
|
|
504
504
|
"nameLocation": "271:16:23",
|
|
505
|
-
"scope":
|
|
505
|
+
"scope": 67567,
|
|
506
506
|
"stateVariable": true,
|
|
507
507
|
"storageLocation": "default",
|
|
508
508
|
"typeDescriptions": {
|
|
@@ -511,7 +511,7 @@
|
|
|
511
511
|
},
|
|
512
512
|
"typeName": {
|
|
513
513
|
"baseType": {
|
|
514
|
-
"id":
|
|
514
|
+
"id": 67356,
|
|
515
515
|
"name": "address",
|
|
516
516
|
"nodeType": "ElementaryTypeName",
|
|
517
517
|
"src": "253:7:23",
|
|
@@ -521,7 +521,7 @@
|
|
|
521
521
|
"typeString": "address"
|
|
522
522
|
}
|
|
523
523
|
},
|
|
524
|
-
"id":
|
|
524
|
+
"id": 67357,
|
|
525
525
|
"nodeType": "ArrayTypeName",
|
|
526
526
|
"src": "253:9:23",
|
|
527
527
|
"typeDescriptions": {
|
|
@@ -532,7 +532,7 @@
|
|
|
532
532
|
"visibility": "private"
|
|
533
533
|
},
|
|
534
534
|
{
|
|
535
|
-
"id":
|
|
535
|
+
"id": 67361,
|
|
536
536
|
"nodeType": "VariableDeclaration",
|
|
537
537
|
"src": "293:36:23",
|
|
538
538
|
"nodes": [],
|
|
@@ -540,7 +540,7 @@
|
|
|
540
540
|
"mutability": "mutable",
|
|
541
541
|
"name": "_targetedContracts",
|
|
542
542
|
"nameLocation": "311:18:23",
|
|
543
|
-
"scope":
|
|
543
|
+
"scope": 67567,
|
|
544
544
|
"stateVariable": true,
|
|
545
545
|
"storageLocation": "default",
|
|
546
546
|
"typeDescriptions": {
|
|
@@ -549,7 +549,7 @@
|
|
|
549
549
|
},
|
|
550
550
|
"typeName": {
|
|
551
551
|
"baseType": {
|
|
552
|
-
"id":
|
|
552
|
+
"id": 67359,
|
|
553
553
|
"name": "address",
|
|
554
554
|
"nodeType": "ElementaryTypeName",
|
|
555
555
|
"src": "293:7:23",
|
|
@@ -559,7 +559,7 @@
|
|
|
559
559
|
"typeString": "address"
|
|
560
560
|
}
|
|
561
561
|
},
|
|
562
|
-
"id":
|
|
562
|
+
"id": 67360,
|
|
563
563
|
"nodeType": "ArrayTypeName",
|
|
564
564
|
"src": "293:9:23",
|
|
565
565
|
"typeDescriptions": {
|
|
@@ -570,7 +570,7 @@
|
|
|
570
570
|
"visibility": "private"
|
|
571
571
|
},
|
|
572
572
|
{
|
|
573
|
-
"id":
|
|
573
|
+
"id": 67364,
|
|
574
574
|
"nodeType": "VariableDeclaration",
|
|
575
575
|
"src": "335:34:23",
|
|
576
576
|
"nodes": [],
|
|
@@ -578,7 +578,7 @@
|
|
|
578
578
|
"mutability": "mutable",
|
|
579
579
|
"name": "_targetedSenders",
|
|
580
580
|
"nameLocation": "353:16:23",
|
|
581
|
-
"scope":
|
|
581
|
+
"scope": 67567,
|
|
582
582
|
"stateVariable": true,
|
|
583
583
|
"storageLocation": "default",
|
|
584
584
|
"typeDescriptions": {
|
|
@@ -587,7 +587,7 @@
|
|
|
587
587
|
},
|
|
588
588
|
"typeName": {
|
|
589
589
|
"baseType": {
|
|
590
|
-
"id":
|
|
590
|
+
"id": 67362,
|
|
591
591
|
"name": "address",
|
|
592
592
|
"nodeType": "ElementaryTypeName",
|
|
593
593
|
"src": "335:7:23",
|
|
@@ -597,7 +597,7 @@
|
|
|
597
597
|
"typeString": "address"
|
|
598
598
|
}
|
|
599
599
|
},
|
|
600
|
-
"id":
|
|
600
|
+
"id": 67363,
|
|
601
601
|
"nodeType": "ArrayTypeName",
|
|
602
602
|
"src": "335:9:23",
|
|
603
603
|
"typeDescriptions": {
|
|
@@ -608,7 +608,7 @@
|
|
|
608
608
|
"visibility": "private"
|
|
609
609
|
},
|
|
610
610
|
{
|
|
611
|
-
"id":
|
|
611
|
+
"id": 67367,
|
|
612
612
|
"nodeType": "VariableDeclaration",
|
|
613
613
|
"src": "376:35:23",
|
|
614
614
|
"nodes": [],
|
|
@@ -616,7 +616,7 @@
|
|
|
616
616
|
"mutability": "mutable",
|
|
617
617
|
"name": "_excludedArtifacts",
|
|
618
618
|
"nameLocation": "393:18:23",
|
|
619
|
-
"scope":
|
|
619
|
+
"scope": 67567,
|
|
620
620
|
"stateVariable": true,
|
|
621
621
|
"storageLocation": "default",
|
|
622
622
|
"typeDescriptions": {
|
|
@@ -625,7 +625,7 @@
|
|
|
625
625
|
},
|
|
626
626
|
"typeName": {
|
|
627
627
|
"baseType": {
|
|
628
|
-
"id":
|
|
628
|
+
"id": 67365,
|
|
629
629
|
"name": "string",
|
|
630
630
|
"nodeType": "ElementaryTypeName",
|
|
631
631
|
"src": "376:6:23",
|
|
@@ -634,7 +634,7 @@
|
|
|
634
634
|
"typeString": "string"
|
|
635
635
|
}
|
|
636
636
|
},
|
|
637
|
-
"id":
|
|
637
|
+
"id": 67366,
|
|
638
638
|
"nodeType": "ArrayTypeName",
|
|
639
639
|
"src": "376:8:23",
|
|
640
640
|
"typeDescriptions": {
|
|
@@ -645,7 +645,7 @@
|
|
|
645
645
|
"visibility": "private"
|
|
646
646
|
},
|
|
647
647
|
{
|
|
648
|
-
"id":
|
|
648
|
+
"id": 67370,
|
|
649
649
|
"nodeType": "VariableDeclaration",
|
|
650
650
|
"src": "417:35:23",
|
|
651
651
|
"nodes": [],
|
|
@@ -653,7 +653,7 @@
|
|
|
653
653
|
"mutability": "mutable",
|
|
654
654
|
"name": "_targetedArtifacts",
|
|
655
655
|
"nameLocation": "434:18:23",
|
|
656
|
-
"scope":
|
|
656
|
+
"scope": 67567,
|
|
657
657
|
"stateVariable": true,
|
|
658
658
|
"storageLocation": "default",
|
|
659
659
|
"typeDescriptions": {
|
|
@@ -662,7 +662,7 @@
|
|
|
662
662
|
},
|
|
663
663
|
"typeName": {
|
|
664
664
|
"baseType": {
|
|
665
|
-
"id":
|
|
665
|
+
"id": 67368,
|
|
666
666
|
"name": "string",
|
|
667
667
|
"nodeType": "ElementaryTypeName",
|
|
668
668
|
"src": "417:6:23",
|
|
@@ -671,7 +671,7 @@
|
|
|
671
671
|
"typeString": "string"
|
|
672
672
|
}
|
|
673
673
|
},
|
|
674
|
-
"id":
|
|
674
|
+
"id": 67369,
|
|
675
675
|
"nodeType": "ArrayTypeName",
|
|
676
676
|
"src": "417:8:23",
|
|
677
677
|
"typeDescriptions": {
|
|
@@ -682,7 +682,7 @@
|
|
|
682
682
|
"visibility": "private"
|
|
683
683
|
},
|
|
684
684
|
{
|
|
685
|
-
"id":
|
|
685
|
+
"id": 67374,
|
|
686
686
|
"nodeType": "VariableDeclaration",
|
|
687
687
|
"src": "459:49:23",
|
|
688
688
|
"nodes": [],
|
|
@@ -690,43 +690,43 @@
|
|
|
690
690
|
"mutability": "mutable",
|
|
691
691
|
"name": "_targetedArtifactSelectors",
|
|
692
692
|
"nameLocation": "482:26:23",
|
|
693
|
-
"scope":
|
|
693
|
+
"scope": 67567,
|
|
694
694
|
"stateVariable": true,
|
|
695
695
|
"storageLocation": "default",
|
|
696
696
|
"typeDescriptions": {
|
|
697
|
-
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$
|
|
697
|
+
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$67352_storage_$dyn_storage",
|
|
698
698
|
"typeString": "struct StdInvariant.FuzzSelector[]"
|
|
699
699
|
},
|
|
700
700
|
"typeName": {
|
|
701
701
|
"baseType": {
|
|
702
|
-
"id":
|
|
702
|
+
"id": 67372,
|
|
703
703
|
"nodeType": "UserDefinedTypeName",
|
|
704
704
|
"pathNode": {
|
|
705
|
-
"id":
|
|
705
|
+
"id": 67371,
|
|
706
706
|
"name": "FuzzSelector",
|
|
707
707
|
"nodeType": "IdentifierPath",
|
|
708
|
-
"referencedDeclaration":
|
|
708
|
+
"referencedDeclaration": 67352,
|
|
709
709
|
"src": "459:12:23"
|
|
710
710
|
},
|
|
711
|
-
"referencedDeclaration":
|
|
711
|
+
"referencedDeclaration": 67352,
|
|
712
712
|
"src": "459:12:23",
|
|
713
713
|
"typeDescriptions": {
|
|
714
|
-
"typeIdentifier": "t_struct$_FuzzSelector_$
|
|
714
|
+
"typeIdentifier": "t_struct$_FuzzSelector_$67352_storage_ptr",
|
|
715
715
|
"typeString": "struct StdInvariant.FuzzSelector"
|
|
716
716
|
}
|
|
717
717
|
},
|
|
718
|
-
"id":
|
|
718
|
+
"id": 67373,
|
|
719
719
|
"nodeType": "ArrayTypeName",
|
|
720
720
|
"src": "459:14:23",
|
|
721
721
|
"typeDescriptions": {
|
|
722
|
-
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$
|
|
722
|
+
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$67352_storage_$dyn_storage_ptr",
|
|
723
723
|
"typeString": "struct StdInvariant.FuzzSelector[]"
|
|
724
724
|
}
|
|
725
725
|
},
|
|
726
726
|
"visibility": "private"
|
|
727
727
|
},
|
|
728
728
|
{
|
|
729
|
-
"id":
|
|
729
|
+
"id": 67378,
|
|
730
730
|
"nodeType": "VariableDeclaration",
|
|
731
731
|
"src": "514:41:23",
|
|
732
732
|
"nodes": [],
|
|
@@ -734,48 +734,48 @@
|
|
|
734
734
|
"mutability": "mutable",
|
|
735
735
|
"name": "_targetedSelectors",
|
|
736
736
|
"nameLocation": "537:18:23",
|
|
737
|
-
"scope":
|
|
737
|
+
"scope": 67567,
|
|
738
738
|
"stateVariable": true,
|
|
739
739
|
"storageLocation": "default",
|
|
740
740
|
"typeDescriptions": {
|
|
741
|
-
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$
|
|
741
|
+
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$67352_storage_$dyn_storage",
|
|
742
742
|
"typeString": "struct StdInvariant.FuzzSelector[]"
|
|
743
743
|
},
|
|
744
744
|
"typeName": {
|
|
745
745
|
"baseType": {
|
|
746
|
-
"id":
|
|
746
|
+
"id": 67376,
|
|
747
747
|
"nodeType": "UserDefinedTypeName",
|
|
748
748
|
"pathNode": {
|
|
749
|
-
"id":
|
|
749
|
+
"id": 67375,
|
|
750
750
|
"name": "FuzzSelector",
|
|
751
751
|
"nodeType": "IdentifierPath",
|
|
752
|
-
"referencedDeclaration":
|
|
752
|
+
"referencedDeclaration": 67352,
|
|
753
753
|
"src": "514:12:23"
|
|
754
754
|
},
|
|
755
|
-
"referencedDeclaration":
|
|
755
|
+
"referencedDeclaration": 67352,
|
|
756
756
|
"src": "514:12:23",
|
|
757
757
|
"typeDescriptions": {
|
|
758
|
-
"typeIdentifier": "t_struct$_FuzzSelector_$
|
|
758
|
+
"typeIdentifier": "t_struct$_FuzzSelector_$67352_storage_ptr",
|
|
759
759
|
"typeString": "struct StdInvariant.FuzzSelector"
|
|
760
760
|
}
|
|
761
761
|
},
|
|
762
|
-
"id":
|
|
762
|
+
"id": 67377,
|
|
763
763
|
"nodeType": "ArrayTypeName",
|
|
764
764
|
"src": "514:14:23",
|
|
765
765
|
"typeDescriptions": {
|
|
766
|
-
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$
|
|
766
|
+
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$67352_storage_$dyn_storage_ptr",
|
|
767
767
|
"typeString": "struct StdInvariant.FuzzSelector[]"
|
|
768
768
|
}
|
|
769
769
|
},
|
|
770
770
|
"visibility": "private"
|
|
771
771
|
},
|
|
772
772
|
{
|
|
773
|
-
"id":
|
|
773
|
+
"id": 67390,
|
|
774
774
|
"nodeType": "FunctionDefinition",
|
|
775
775
|
"src": "640:126:23",
|
|
776
776
|
"nodes": [],
|
|
777
777
|
"body": {
|
|
778
|
-
"id":
|
|
778
|
+
"id": 67389,
|
|
779
779
|
"nodeType": "Block",
|
|
780
780
|
"src": "704:62:23",
|
|
781
781
|
"nodes": [],
|
|
@@ -784,11 +784,11 @@
|
|
|
784
784
|
"expression": {
|
|
785
785
|
"arguments": [
|
|
786
786
|
{
|
|
787
|
-
"id":
|
|
787
|
+
"id": 67386,
|
|
788
788
|
"name": "newExcludedContract_",
|
|
789
789
|
"nodeType": "Identifier",
|
|
790
790
|
"overloadedDeclarations": [],
|
|
791
|
-
"referencedDeclaration":
|
|
791
|
+
"referencedDeclaration": 67380,
|
|
792
792
|
"src": "738:20:23",
|
|
793
793
|
"typeDescriptions": {
|
|
794
794
|
"typeIdentifier": "t_address",
|
|
@@ -804,18 +804,18 @@
|
|
|
804
804
|
}
|
|
805
805
|
],
|
|
806
806
|
"expression": {
|
|
807
|
-
"id":
|
|
807
|
+
"id": 67383,
|
|
808
808
|
"name": "_excludedContracts",
|
|
809
809
|
"nodeType": "Identifier",
|
|
810
810
|
"overloadedDeclarations": [],
|
|
811
|
-
"referencedDeclaration":
|
|
811
|
+
"referencedDeclaration": 67355,
|
|
812
812
|
"src": "714:18:23",
|
|
813
813
|
"typeDescriptions": {
|
|
814
814
|
"typeIdentifier": "t_array$_t_address_$dyn_storage",
|
|
815
815
|
"typeString": "address[] storage ref"
|
|
816
816
|
}
|
|
817
817
|
},
|
|
818
|
-
"id":
|
|
818
|
+
"id": 67385,
|
|
819
819
|
"isConstant": false,
|
|
820
820
|
"isLValue": false,
|
|
821
821
|
"isPure": false,
|
|
@@ -828,7 +828,7 @@
|
|
|
828
828
|
"typeString": "function (address[] storage pointer,address)"
|
|
829
829
|
}
|
|
830
830
|
},
|
|
831
|
-
"id":
|
|
831
|
+
"id": 67387,
|
|
832
832
|
"isConstant": false,
|
|
833
833
|
"isLValue": false,
|
|
834
834
|
"isPure": false,
|
|
@@ -843,7 +843,7 @@
|
|
|
843
843
|
"typeString": "tuple()"
|
|
844
844
|
}
|
|
845
845
|
},
|
|
846
|
-
"id":
|
|
846
|
+
"id": 67388,
|
|
847
847
|
"nodeType": "ExpressionStatement",
|
|
848
848
|
"src": "714:45:23"
|
|
849
849
|
}
|
|
@@ -855,17 +855,17 @@
|
|
|
855
855
|
"name": "excludeContract",
|
|
856
856
|
"nameLocation": "649:15:23",
|
|
857
857
|
"parameters": {
|
|
858
|
-
"id":
|
|
858
|
+
"id": 67381,
|
|
859
859
|
"nodeType": "ParameterList",
|
|
860
860
|
"parameters": [
|
|
861
861
|
{
|
|
862
862
|
"constant": false,
|
|
863
|
-
"id":
|
|
863
|
+
"id": 67380,
|
|
864
864
|
"mutability": "mutable",
|
|
865
865
|
"name": "newExcludedContract_",
|
|
866
866
|
"nameLocation": "673:20:23",
|
|
867
867
|
"nodeType": "VariableDeclaration",
|
|
868
|
-
"scope":
|
|
868
|
+
"scope": 67390,
|
|
869
869
|
"src": "665:28:23",
|
|
870
870
|
"stateVariable": false,
|
|
871
871
|
"storageLocation": "default",
|
|
@@ -874,7 +874,7 @@
|
|
|
874
874
|
"typeString": "address"
|
|
875
875
|
},
|
|
876
876
|
"typeName": {
|
|
877
|
-
"id":
|
|
877
|
+
"id": 67379,
|
|
878
878
|
"name": "address",
|
|
879
879
|
"nodeType": "ElementaryTypeName",
|
|
880
880
|
"src": "665:7:23",
|
|
@@ -890,23 +890,23 @@
|
|
|
890
890
|
"src": "664:30:23"
|
|
891
891
|
},
|
|
892
892
|
"returnParameters": {
|
|
893
|
-
"id":
|
|
893
|
+
"id": 67382,
|
|
894
894
|
"nodeType": "ParameterList",
|
|
895
895
|
"parameters": [],
|
|
896
896
|
"src": "704:0:23"
|
|
897
897
|
},
|
|
898
|
-
"scope":
|
|
898
|
+
"scope": 67567,
|
|
899
899
|
"stateMutability": "nonpayable",
|
|
900
900
|
"virtual": false,
|
|
901
901
|
"visibility": "internal"
|
|
902
902
|
},
|
|
903
903
|
{
|
|
904
|
-
"id":
|
|
904
|
+
"id": 67402,
|
|
905
905
|
"nodeType": "FunctionDefinition",
|
|
906
906
|
"src": "772:118:23",
|
|
907
907
|
"nodes": [],
|
|
908
908
|
"body": {
|
|
909
|
-
"id":
|
|
909
|
+
"id": 67401,
|
|
910
910
|
"nodeType": "Block",
|
|
911
911
|
"src": "832:58:23",
|
|
912
912
|
"nodes": [],
|
|
@@ -915,11 +915,11 @@
|
|
|
915
915
|
"expression": {
|
|
916
916
|
"arguments": [
|
|
917
917
|
{
|
|
918
|
-
"id":
|
|
918
|
+
"id": 67398,
|
|
919
919
|
"name": "newExcludedSender_",
|
|
920
920
|
"nodeType": "Identifier",
|
|
921
921
|
"overloadedDeclarations": [],
|
|
922
|
-
"referencedDeclaration":
|
|
922
|
+
"referencedDeclaration": 67392,
|
|
923
923
|
"src": "864:18:23",
|
|
924
924
|
"typeDescriptions": {
|
|
925
925
|
"typeIdentifier": "t_address",
|
|
@@ -935,18 +935,18 @@
|
|
|
935
935
|
}
|
|
936
936
|
],
|
|
937
937
|
"expression": {
|
|
938
|
-
"id":
|
|
938
|
+
"id": 67395,
|
|
939
939
|
"name": "_excludedSenders",
|
|
940
940
|
"nodeType": "Identifier",
|
|
941
941
|
"overloadedDeclarations": [],
|
|
942
|
-
"referencedDeclaration":
|
|
942
|
+
"referencedDeclaration": 67358,
|
|
943
943
|
"src": "842:16:23",
|
|
944
944
|
"typeDescriptions": {
|
|
945
945
|
"typeIdentifier": "t_array$_t_address_$dyn_storage",
|
|
946
946
|
"typeString": "address[] storage ref"
|
|
947
947
|
}
|
|
948
948
|
},
|
|
949
|
-
"id":
|
|
949
|
+
"id": 67397,
|
|
950
950
|
"isConstant": false,
|
|
951
951
|
"isLValue": false,
|
|
952
952
|
"isPure": false,
|
|
@@ -959,7 +959,7 @@
|
|
|
959
959
|
"typeString": "function (address[] storage pointer,address)"
|
|
960
960
|
}
|
|
961
961
|
},
|
|
962
|
-
"id":
|
|
962
|
+
"id": 67399,
|
|
963
963
|
"isConstant": false,
|
|
964
964
|
"isLValue": false,
|
|
965
965
|
"isPure": false,
|
|
@@ -974,7 +974,7 @@
|
|
|
974
974
|
"typeString": "tuple()"
|
|
975
975
|
}
|
|
976
976
|
},
|
|
977
|
-
"id":
|
|
977
|
+
"id": 67400,
|
|
978
978
|
"nodeType": "ExpressionStatement",
|
|
979
979
|
"src": "842:41:23"
|
|
980
980
|
}
|
|
@@ -986,17 +986,17 @@
|
|
|
986
986
|
"name": "excludeSender",
|
|
987
987
|
"nameLocation": "781:13:23",
|
|
988
988
|
"parameters": {
|
|
989
|
-
"id":
|
|
989
|
+
"id": 67393,
|
|
990
990
|
"nodeType": "ParameterList",
|
|
991
991
|
"parameters": [
|
|
992
992
|
{
|
|
993
993
|
"constant": false,
|
|
994
|
-
"id":
|
|
994
|
+
"id": 67392,
|
|
995
995
|
"mutability": "mutable",
|
|
996
996
|
"name": "newExcludedSender_",
|
|
997
997
|
"nameLocation": "803:18:23",
|
|
998
998
|
"nodeType": "VariableDeclaration",
|
|
999
|
-
"scope":
|
|
999
|
+
"scope": 67402,
|
|
1000
1000
|
"src": "795:26:23",
|
|
1001
1001
|
"stateVariable": false,
|
|
1002
1002
|
"storageLocation": "default",
|
|
@@ -1005,7 +1005,7 @@
|
|
|
1005
1005
|
"typeString": "address"
|
|
1006
1006
|
},
|
|
1007
1007
|
"typeName": {
|
|
1008
|
-
"id":
|
|
1008
|
+
"id": 67391,
|
|
1009
1009
|
"name": "address",
|
|
1010
1010
|
"nodeType": "ElementaryTypeName",
|
|
1011
1011
|
"src": "795:7:23",
|
|
@@ -1021,23 +1021,23 @@
|
|
|
1021
1021
|
"src": "794:28:23"
|
|
1022
1022
|
},
|
|
1023
1023
|
"returnParameters": {
|
|
1024
|
-
"id":
|
|
1024
|
+
"id": 67394,
|
|
1025
1025
|
"nodeType": "ParameterList",
|
|
1026
1026
|
"parameters": [],
|
|
1027
1027
|
"src": "832:0:23"
|
|
1028
1028
|
},
|
|
1029
|
-
"scope":
|
|
1029
|
+
"scope": 67567,
|
|
1030
1030
|
"stateMutability": "nonpayable",
|
|
1031
1031
|
"virtual": false,
|
|
1032
1032
|
"visibility": "internal"
|
|
1033
1033
|
},
|
|
1034
1034
|
{
|
|
1035
|
-
"id":
|
|
1035
|
+
"id": 67414,
|
|
1036
1036
|
"nodeType": "FunctionDefinition",
|
|
1037
1037
|
"src": "896:132:23",
|
|
1038
1038
|
"nodes": [],
|
|
1039
1039
|
"body": {
|
|
1040
|
-
"id":
|
|
1040
|
+
"id": 67413,
|
|
1041
1041
|
"nodeType": "Block",
|
|
1042
1042
|
"src": "966:62:23",
|
|
1043
1043
|
"nodes": [],
|
|
@@ -1046,11 +1046,11 @@
|
|
|
1046
1046
|
"expression": {
|
|
1047
1047
|
"arguments": [
|
|
1048
1048
|
{
|
|
1049
|
-
"id":
|
|
1049
|
+
"id": 67410,
|
|
1050
1050
|
"name": "newExcludedArtifact_",
|
|
1051
1051
|
"nodeType": "Identifier",
|
|
1052
1052
|
"overloadedDeclarations": [],
|
|
1053
|
-
"referencedDeclaration":
|
|
1053
|
+
"referencedDeclaration": 67404,
|
|
1054
1054
|
"src": "1000:20:23",
|
|
1055
1055
|
"typeDescriptions": {
|
|
1056
1056
|
"typeIdentifier": "t_string_memory_ptr",
|
|
@@ -1066,18 +1066,18 @@
|
|
|
1066
1066
|
}
|
|
1067
1067
|
],
|
|
1068
1068
|
"expression": {
|
|
1069
|
-
"id":
|
|
1069
|
+
"id": 67407,
|
|
1070
1070
|
"name": "_excludedArtifacts",
|
|
1071
1071
|
"nodeType": "Identifier",
|
|
1072
1072
|
"overloadedDeclarations": [],
|
|
1073
|
-
"referencedDeclaration":
|
|
1073
|
+
"referencedDeclaration": 67367,
|
|
1074
1074
|
"src": "976:18:23",
|
|
1075
1075
|
"typeDescriptions": {
|
|
1076
1076
|
"typeIdentifier": "t_array$_t_string_storage_$dyn_storage",
|
|
1077
1077
|
"typeString": "string storage ref[] storage ref"
|
|
1078
1078
|
}
|
|
1079
1079
|
},
|
|
1080
|
-
"id":
|
|
1080
|
+
"id": 67409,
|
|
1081
1081
|
"isConstant": false,
|
|
1082
1082
|
"isLValue": false,
|
|
1083
1083
|
"isPure": false,
|
|
@@ -1090,7 +1090,7 @@
|
|
|
1090
1090
|
"typeString": "function (string storage ref[] storage pointer,string storage ref)"
|
|
1091
1091
|
}
|
|
1092
1092
|
},
|
|
1093
|
-
"id":
|
|
1093
|
+
"id": 67411,
|
|
1094
1094
|
"isConstant": false,
|
|
1095
1095
|
"isLValue": false,
|
|
1096
1096
|
"isPure": false,
|
|
@@ -1105,7 +1105,7 @@
|
|
|
1105
1105
|
"typeString": "tuple()"
|
|
1106
1106
|
}
|
|
1107
1107
|
},
|
|
1108
|
-
"id":
|
|
1108
|
+
"id": 67412,
|
|
1109
1109
|
"nodeType": "ExpressionStatement",
|
|
1110
1110
|
"src": "976:45:23"
|
|
1111
1111
|
}
|
|
@@ -1117,17 +1117,17 @@
|
|
|
1117
1117
|
"name": "excludeArtifact",
|
|
1118
1118
|
"nameLocation": "905:15:23",
|
|
1119
1119
|
"parameters": {
|
|
1120
|
-
"id":
|
|
1120
|
+
"id": 67405,
|
|
1121
1121
|
"nodeType": "ParameterList",
|
|
1122
1122
|
"parameters": [
|
|
1123
1123
|
{
|
|
1124
1124
|
"constant": false,
|
|
1125
|
-
"id":
|
|
1125
|
+
"id": 67404,
|
|
1126
1126
|
"mutability": "mutable",
|
|
1127
1127
|
"name": "newExcludedArtifact_",
|
|
1128
1128
|
"nameLocation": "935:20:23",
|
|
1129
1129
|
"nodeType": "VariableDeclaration",
|
|
1130
|
-
"scope":
|
|
1130
|
+
"scope": 67414,
|
|
1131
1131
|
"src": "921:34:23",
|
|
1132
1132
|
"stateVariable": false,
|
|
1133
1133
|
"storageLocation": "memory",
|
|
@@ -1136,7 +1136,7 @@
|
|
|
1136
1136
|
"typeString": "string"
|
|
1137
1137
|
},
|
|
1138
1138
|
"typeName": {
|
|
1139
|
-
"id":
|
|
1139
|
+
"id": 67403,
|
|
1140
1140
|
"name": "string",
|
|
1141
1141
|
"nodeType": "ElementaryTypeName",
|
|
1142
1142
|
"src": "921:6:23",
|
|
@@ -1151,23 +1151,23 @@
|
|
|
1151
1151
|
"src": "920:36:23"
|
|
1152
1152
|
},
|
|
1153
1153
|
"returnParameters": {
|
|
1154
|
-
"id":
|
|
1154
|
+
"id": 67406,
|
|
1155
1155
|
"nodeType": "ParameterList",
|
|
1156
1156
|
"parameters": [],
|
|
1157
1157
|
"src": "966:0:23"
|
|
1158
1158
|
},
|
|
1159
|
-
"scope":
|
|
1159
|
+
"scope": 67567,
|
|
1160
1160
|
"stateMutability": "nonpayable",
|
|
1161
1161
|
"virtual": false,
|
|
1162
1162
|
"visibility": "internal"
|
|
1163
1163
|
},
|
|
1164
1164
|
{
|
|
1165
|
-
"id":
|
|
1165
|
+
"id": 67426,
|
|
1166
1166
|
"nodeType": "FunctionDefinition",
|
|
1167
1167
|
"src": "1034:131:23",
|
|
1168
1168
|
"nodes": [],
|
|
1169
1169
|
"body": {
|
|
1170
|
-
"id":
|
|
1170
|
+
"id": 67425,
|
|
1171
1171
|
"nodeType": "Block",
|
|
1172
1172
|
"src": "1103:62:23",
|
|
1173
1173
|
"nodes": [],
|
|
@@ -1176,11 +1176,11 @@
|
|
|
1176
1176
|
"expression": {
|
|
1177
1177
|
"arguments": [
|
|
1178
1178
|
{
|
|
1179
|
-
"id":
|
|
1179
|
+
"id": 67422,
|
|
1180
1180
|
"name": "newTargetedArtifact_",
|
|
1181
1181
|
"nodeType": "Identifier",
|
|
1182
1182
|
"overloadedDeclarations": [],
|
|
1183
|
-
"referencedDeclaration":
|
|
1183
|
+
"referencedDeclaration": 67416,
|
|
1184
1184
|
"src": "1137:20:23",
|
|
1185
1185
|
"typeDescriptions": {
|
|
1186
1186
|
"typeIdentifier": "t_string_memory_ptr",
|
|
@@ -1196,18 +1196,18 @@
|
|
|
1196
1196
|
}
|
|
1197
1197
|
],
|
|
1198
1198
|
"expression": {
|
|
1199
|
-
"id":
|
|
1199
|
+
"id": 67419,
|
|
1200
1200
|
"name": "_targetedArtifacts",
|
|
1201
1201
|
"nodeType": "Identifier",
|
|
1202
1202
|
"overloadedDeclarations": [],
|
|
1203
|
-
"referencedDeclaration":
|
|
1203
|
+
"referencedDeclaration": 67370,
|
|
1204
1204
|
"src": "1113:18:23",
|
|
1205
1205
|
"typeDescriptions": {
|
|
1206
1206
|
"typeIdentifier": "t_array$_t_string_storage_$dyn_storage",
|
|
1207
1207
|
"typeString": "string storage ref[] storage ref"
|
|
1208
1208
|
}
|
|
1209
1209
|
},
|
|
1210
|
-
"id":
|
|
1210
|
+
"id": 67421,
|
|
1211
1211
|
"isConstant": false,
|
|
1212
1212
|
"isLValue": false,
|
|
1213
1213
|
"isPure": false,
|
|
@@ -1220,7 +1220,7 @@
|
|
|
1220
1220
|
"typeString": "function (string storage ref[] storage pointer,string storage ref)"
|
|
1221
1221
|
}
|
|
1222
1222
|
},
|
|
1223
|
-
"id":
|
|
1223
|
+
"id": 67423,
|
|
1224
1224
|
"isConstant": false,
|
|
1225
1225
|
"isLValue": false,
|
|
1226
1226
|
"isPure": false,
|
|
@@ -1235,7 +1235,7 @@
|
|
|
1235
1235
|
"typeString": "tuple()"
|
|
1236
1236
|
}
|
|
1237
1237
|
},
|
|
1238
|
-
"id":
|
|
1238
|
+
"id": 67424,
|
|
1239
1239
|
"nodeType": "ExpressionStatement",
|
|
1240
1240
|
"src": "1113:45:23"
|
|
1241
1241
|
}
|
|
@@ -1247,17 +1247,17 @@
|
|
|
1247
1247
|
"name": "targetArtifact",
|
|
1248
1248
|
"nameLocation": "1043:14:23",
|
|
1249
1249
|
"parameters": {
|
|
1250
|
-
"id":
|
|
1250
|
+
"id": 67417,
|
|
1251
1251
|
"nodeType": "ParameterList",
|
|
1252
1252
|
"parameters": [
|
|
1253
1253
|
{
|
|
1254
1254
|
"constant": false,
|
|
1255
|
-
"id":
|
|
1255
|
+
"id": 67416,
|
|
1256
1256
|
"mutability": "mutable",
|
|
1257
1257
|
"name": "newTargetedArtifact_",
|
|
1258
1258
|
"nameLocation": "1072:20:23",
|
|
1259
1259
|
"nodeType": "VariableDeclaration",
|
|
1260
|
-
"scope":
|
|
1260
|
+
"scope": 67426,
|
|
1261
1261
|
"src": "1058:34:23",
|
|
1262
1262
|
"stateVariable": false,
|
|
1263
1263
|
"storageLocation": "memory",
|
|
@@ -1266,7 +1266,7 @@
|
|
|
1266
1266
|
"typeString": "string"
|
|
1267
1267
|
},
|
|
1268
1268
|
"typeName": {
|
|
1269
|
-
"id":
|
|
1269
|
+
"id": 67415,
|
|
1270
1270
|
"name": "string",
|
|
1271
1271
|
"nodeType": "ElementaryTypeName",
|
|
1272
1272
|
"src": "1058:6:23",
|
|
@@ -1281,23 +1281,23 @@
|
|
|
1281
1281
|
"src": "1057:36:23"
|
|
1282
1282
|
},
|
|
1283
1283
|
"returnParameters": {
|
|
1284
|
-
"id":
|
|
1284
|
+
"id": 67418,
|
|
1285
1285
|
"nodeType": "ParameterList",
|
|
1286
1286
|
"parameters": [],
|
|
1287
1287
|
"src": "1103:0:23"
|
|
1288
1288
|
},
|
|
1289
|
-
"scope":
|
|
1289
|
+
"scope": 67567,
|
|
1290
1290
|
"stateMutability": "nonpayable",
|
|
1291
1291
|
"virtual": false,
|
|
1292
1292
|
"visibility": "internal"
|
|
1293
1293
|
},
|
|
1294
1294
|
{
|
|
1295
|
-
"id":
|
|
1295
|
+
"id": 67439,
|
|
1296
1296
|
"nodeType": "FunctionDefinition",
|
|
1297
1297
|
"src": "1171:169:23",
|
|
1298
1298
|
"nodes": [],
|
|
1299
1299
|
"body": {
|
|
1300
|
-
"id":
|
|
1300
|
+
"id": 67438,
|
|
1301
1301
|
"nodeType": "Block",
|
|
1302
1302
|
"src": "1262:78:23",
|
|
1303
1303
|
"nodes": [],
|
|
@@ -1306,14 +1306,14 @@
|
|
|
1306
1306
|
"expression": {
|
|
1307
1307
|
"arguments": [
|
|
1308
1308
|
{
|
|
1309
|
-
"id":
|
|
1309
|
+
"id": 67435,
|
|
1310
1310
|
"name": "newTargetedArtifactSelector_",
|
|
1311
1311
|
"nodeType": "Identifier",
|
|
1312
1312
|
"overloadedDeclarations": [],
|
|
1313
|
-
"referencedDeclaration":
|
|
1313
|
+
"referencedDeclaration": 67429,
|
|
1314
1314
|
"src": "1304:28:23",
|
|
1315
1315
|
"typeDescriptions": {
|
|
1316
|
-
"typeIdentifier": "t_struct$_FuzzSelector_$
|
|
1316
|
+
"typeIdentifier": "t_struct$_FuzzSelector_$67352_memory_ptr",
|
|
1317
1317
|
"typeString": "struct StdInvariant.FuzzSelector memory"
|
|
1318
1318
|
}
|
|
1319
1319
|
}
|
|
@@ -1321,23 +1321,23 @@
|
|
|
1321
1321
|
"expression": {
|
|
1322
1322
|
"argumentTypes": [
|
|
1323
1323
|
{
|
|
1324
|
-
"typeIdentifier": "t_struct$_FuzzSelector_$
|
|
1324
|
+
"typeIdentifier": "t_struct$_FuzzSelector_$67352_memory_ptr",
|
|
1325
1325
|
"typeString": "struct StdInvariant.FuzzSelector memory"
|
|
1326
1326
|
}
|
|
1327
1327
|
],
|
|
1328
1328
|
"expression": {
|
|
1329
|
-
"id":
|
|
1329
|
+
"id": 67432,
|
|
1330
1330
|
"name": "_targetedArtifactSelectors",
|
|
1331
1331
|
"nodeType": "Identifier",
|
|
1332
1332
|
"overloadedDeclarations": [],
|
|
1333
|
-
"referencedDeclaration":
|
|
1333
|
+
"referencedDeclaration": 67374,
|
|
1334
1334
|
"src": "1272:26:23",
|
|
1335
1335
|
"typeDescriptions": {
|
|
1336
|
-
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$
|
|
1336
|
+
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$67352_storage_$dyn_storage",
|
|
1337
1337
|
"typeString": "struct StdInvariant.FuzzSelector storage ref[] storage ref"
|
|
1338
1338
|
}
|
|
1339
1339
|
},
|
|
1340
|
-
"id":
|
|
1340
|
+
"id": 67434,
|
|
1341
1341
|
"isConstant": false,
|
|
1342
1342
|
"isLValue": false,
|
|
1343
1343
|
"isPure": false,
|
|
@@ -1346,11 +1346,11 @@
|
|
|
1346
1346
|
"nodeType": "MemberAccess",
|
|
1347
1347
|
"src": "1272:31:23",
|
|
1348
1348
|
"typeDescriptions": {
|
|
1349
|
-
"typeIdentifier": "t_function_arraypush_nonpayable$_t_array$_t_struct$_FuzzSelector_$
|
|
1349
|
+
"typeIdentifier": "t_function_arraypush_nonpayable$_t_array$_t_struct$_FuzzSelector_$67352_storage_$dyn_storage_ptr_$_t_struct$_FuzzSelector_$67352_storage_$returns$__$bound_to$_t_array$_t_struct$_FuzzSelector_$67352_storage_$dyn_storage_ptr_$",
|
|
1350
1350
|
"typeString": "function (struct StdInvariant.FuzzSelector storage ref[] storage pointer,struct StdInvariant.FuzzSelector storage ref)"
|
|
1351
1351
|
}
|
|
1352
1352
|
},
|
|
1353
|
-
"id":
|
|
1353
|
+
"id": 67436,
|
|
1354
1354
|
"isConstant": false,
|
|
1355
1355
|
"isLValue": false,
|
|
1356
1356
|
"isPure": false,
|
|
@@ -1365,7 +1365,7 @@
|
|
|
1365
1365
|
"typeString": "tuple()"
|
|
1366
1366
|
}
|
|
1367
1367
|
},
|
|
1368
|
-
"id":
|
|
1368
|
+
"id": 67437,
|
|
1369
1369
|
"nodeType": "ExpressionStatement",
|
|
1370
1370
|
"src": "1272:61:23"
|
|
1371
1371
|
}
|
|
@@ -1377,38 +1377,38 @@
|
|
|
1377
1377
|
"name": "targetArtifactSelector",
|
|
1378
1378
|
"nameLocation": "1180:22:23",
|
|
1379
1379
|
"parameters": {
|
|
1380
|
-
"id":
|
|
1380
|
+
"id": 67430,
|
|
1381
1381
|
"nodeType": "ParameterList",
|
|
1382
1382
|
"parameters": [
|
|
1383
1383
|
{
|
|
1384
1384
|
"constant": false,
|
|
1385
|
-
"id":
|
|
1385
|
+
"id": 67429,
|
|
1386
1386
|
"mutability": "mutable",
|
|
1387
1387
|
"name": "newTargetedArtifactSelector_",
|
|
1388
1388
|
"nameLocation": "1223:28:23",
|
|
1389
1389
|
"nodeType": "VariableDeclaration",
|
|
1390
|
-
"scope":
|
|
1390
|
+
"scope": 67439,
|
|
1391
1391
|
"src": "1203:48:23",
|
|
1392
1392
|
"stateVariable": false,
|
|
1393
1393
|
"storageLocation": "memory",
|
|
1394
1394
|
"typeDescriptions": {
|
|
1395
|
-
"typeIdentifier": "t_struct$_FuzzSelector_$
|
|
1395
|
+
"typeIdentifier": "t_struct$_FuzzSelector_$67352_memory_ptr",
|
|
1396
1396
|
"typeString": "struct StdInvariant.FuzzSelector"
|
|
1397
1397
|
},
|
|
1398
1398
|
"typeName": {
|
|
1399
|
-
"id":
|
|
1399
|
+
"id": 67428,
|
|
1400
1400
|
"nodeType": "UserDefinedTypeName",
|
|
1401
1401
|
"pathNode": {
|
|
1402
|
-
"id":
|
|
1402
|
+
"id": 67427,
|
|
1403
1403
|
"name": "FuzzSelector",
|
|
1404
1404
|
"nodeType": "IdentifierPath",
|
|
1405
|
-
"referencedDeclaration":
|
|
1405
|
+
"referencedDeclaration": 67352,
|
|
1406
1406
|
"src": "1203:12:23"
|
|
1407
1407
|
},
|
|
1408
|
-
"referencedDeclaration":
|
|
1408
|
+
"referencedDeclaration": 67352,
|
|
1409
1409
|
"src": "1203:12:23",
|
|
1410
1410
|
"typeDescriptions": {
|
|
1411
|
-
"typeIdentifier": "t_struct$_FuzzSelector_$
|
|
1411
|
+
"typeIdentifier": "t_struct$_FuzzSelector_$67352_storage_ptr",
|
|
1412
1412
|
"typeString": "struct StdInvariant.FuzzSelector"
|
|
1413
1413
|
}
|
|
1414
1414
|
},
|
|
@@ -1418,23 +1418,23 @@
|
|
|
1418
1418
|
"src": "1202:50:23"
|
|
1419
1419
|
},
|
|
1420
1420
|
"returnParameters": {
|
|
1421
|
-
"id":
|
|
1421
|
+
"id": 67431,
|
|
1422
1422
|
"nodeType": "ParameterList",
|
|
1423
1423
|
"parameters": [],
|
|
1424
1424
|
"src": "1262:0:23"
|
|
1425
1425
|
},
|
|
1426
|
-
"scope":
|
|
1426
|
+
"scope": 67567,
|
|
1427
1427
|
"stateMutability": "nonpayable",
|
|
1428
1428
|
"virtual": false,
|
|
1429
1429
|
"visibility": "internal"
|
|
1430
1430
|
},
|
|
1431
1431
|
{
|
|
1432
|
-
"id":
|
|
1432
|
+
"id": 67451,
|
|
1433
1433
|
"nodeType": "FunctionDefinition",
|
|
1434
1434
|
"src": "1346:125:23",
|
|
1435
1435
|
"nodes": [],
|
|
1436
1436
|
"body": {
|
|
1437
|
-
"id":
|
|
1437
|
+
"id": 67450,
|
|
1438
1438
|
"nodeType": "Block",
|
|
1439
1439
|
"src": "1409:62:23",
|
|
1440
1440
|
"nodes": [],
|
|
@@ -1443,11 +1443,11 @@
|
|
|
1443
1443
|
"expression": {
|
|
1444
1444
|
"arguments": [
|
|
1445
1445
|
{
|
|
1446
|
-
"id":
|
|
1446
|
+
"id": 67447,
|
|
1447
1447
|
"name": "newTargetedContract_",
|
|
1448
1448
|
"nodeType": "Identifier",
|
|
1449
1449
|
"overloadedDeclarations": [],
|
|
1450
|
-
"referencedDeclaration":
|
|
1450
|
+
"referencedDeclaration": 67441,
|
|
1451
1451
|
"src": "1443:20:23",
|
|
1452
1452
|
"typeDescriptions": {
|
|
1453
1453
|
"typeIdentifier": "t_address",
|
|
@@ -1463,18 +1463,18 @@
|
|
|
1463
1463
|
}
|
|
1464
1464
|
],
|
|
1465
1465
|
"expression": {
|
|
1466
|
-
"id":
|
|
1466
|
+
"id": 67444,
|
|
1467
1467
|
"name": "_targetedContracts",
|
|
1468
1468
|
"nodeType": "Identifier",
|
|
1469
1469
|
"overloadedDeclarations": [],
|
|
1470
|
-
"referencedDeclaration":
|
|
1470
|
+
"referencedDeclaration": 67361,
|
|
1471
1471
|
"src": "1419:18:23",
|
|
1472
1472
|
"typeDescriptions": {
|
|
1473
1473
|
"typeIdentifier": "t_array$_t_address_$dyn_storage",
|
|
1474
1474
|
"typeString": "address[] storage ref"
|
|
1475
1475
|
}
|
|
1476
1476
|
},
|
|
1477
|
-
"id":
|
|
1477
|
+
"id": 67446,
|
|
1478
1478
|
"isConstant": false,
|
|
1479
1479
|
"isLValue": false,
|
|
1480
1480
|
"isPure": false,
|
|
@@ -1487,7 +1487,7 @@
|
|
|
1487
1487
|
"typeString": "function (address[] storage pointer,address)"
|
|
1488
1488
|
}
|
|
1489
1489
|
},
|
|
1490
|
-
"id":
|
|
1490
|
+
"id": 67448,
|
|
1491
1491
|
"isConstant": false,
|
|
1492
1492
|
"isLValue": false,
|
|
1493
1493
|
"isPure": false,
|
|
@@ -1502,7 +1502,7 @@
|
|
|
1502
1502
|
"typeString": "tuple()"
|
|
1503
1503
|
}
|
|
1504
1504
|
},
|
|
1505
|
-
"id":
|
|
1505
|
+
"id": 67449,
|
|
1506
1506
|
"nodeType": "ExpressionStatement",
|
|
1507
1507
|
"src": "1419:45:23"
|
|
1508
1508
|
}
|
|
@@ -1514,17 +1514,17 @@
|
|
|
1514
1514
|
"name": "targetContract",
|
|
1515
1515
|
"nameLocation": "1355:14:23",
|
|
1516
1516
|
"parameters": {
|
|
1517
|
-
"id":
|
|
1517
|
+
"id": 67442,
|
|
1518
1518
|
"nodeType": "ParameterList",
|
|
1519
1519
|
"parameters": [
|
|
1520
1520
|
{
|
|
1521
1521
|
"constant": false,
|
|
1522
|
-
"id":
|
|
1522
|
+
"id": 67441,
|
|
1523
1523
|
"mutability": "mutable",
|
|
1524
1524
|
"name": "newTargetedContract_",
|
|
1525
1525
|
"nameLocation": "1378:20:23",
|
|
1526
1526
|
"nodeType": "VariableDeclaration",
|
|
1527
|
-
"scope":
|
|
1527
|
+
"scope": 67451,
|
|
1528
1528
|
"src": "1370:28:23",
|
|
1529
1529
|
"stateVariable": false,
|
|
1530
1530
|
"storageLocation": "default",
|
|
@@ -1533,7 +1533,7 @@
|
|
|
1533
1533
|
"typeString": "address"
|
|
1534
1534
|
},
|
|
1535
1535
|
"typeName": {
|
|
1536
|
-
"id":
|
|
1536
|
+
"id": 67440,
|
|
1537
1537
|
"name": "address",
|
|
1538
1538
|
"nodeType": "ElementaryTypeName",
|
|
1539
1539
|
"src": "1370:7:23",
|
|
@@ -1549,23 +1549,23 @@
|
|
|
1549
1549
|
"src": "1369:30:23"
|
|
1550
1550
|
},
|
|
1551
1551
|
"returnParameters": {
|
|
1552
|
-
"id":
|
|
1552
|
+
"id": 67443,
|
|
1553
1553
|
"nodeType": "ParameterList",
|
|
1554
1554
|
"parameters": [],
|
|
1555
1555
|
"src": "1409:0:23"
|
|
1556
1556
|
},
|
|
1557
|
-
"scope":
|
|
1557
|
+
"scope": 67567,
|
|
1558
1558
|
"stateMutability": "nonpayable",
|
|
1559
1559
|
"virtual": false,
|
|
1560
1560
|
"visibility": "internal"
|
|
1561
1561
|
},
|
|
1562
1562
|
{
|
|
1563
|
-
"id":
|
|
1563
|
+
"id": 67464,
|
|
1564
1564
|
"nodeType": "FunctionDefinition",
|
|
1565
1565
|
"src": "1477:137:23",
|
|
1566
1566
|
"nodes": [],
|
|
1567
1567
|
"body": {
|
|
1568
|
-
"id":
|
|
1568
|
+
"id": 67463,
|
|
1569
1569
|
"nodeType": "Block",
|
|
1570
1570
|
"src": "1552:62:23",
|
|
1571
1571
|
"nodes": [],
|
|
@@ -1574,14 +1574,14 @@
|
|
|
1574
1574
|
"expression": {
|
|
1575
1575
|
"arguments": [
|
|
1576
1576
|
{
|
|
1577
|
-
"id":
|
|
1577
|
+
"id": 67460,
|
|
1578
1578
|
"name": "newTargetedSelector_",
|
|
1579
1579
|
"nodeType": "Identifier",
|
|
1580
1580
|
"overloadedDeclarations": [],
|
|
1581
|
-
"referencedDeclaration":
|
|
1581
|
+
"referencedDeclaration": 67454,
|
|
1582
1582
|
"src": "1586:20:23",
|
|
1583
1583
|
"typeDescriptions": {
|
|
1584
|
-
"typeIdentifier": "t_struct$_FuzzSelector_$
|
|
1584
|
+
"typeIdentifier": "t_struct$_FuzzSelector_$67352_memory_ptr",
|
|
1585
1585
|
"typeString": "struct StdInvariant.FuzzSelector memory"
|
|
1586
1586
|
}
|
|
1587
1587
|
}
|
|
@@ -1589,23 +1589,23 @@
|
|
|
1589
1589
|
"expression": {
|
|
1590
1590
|
"argumentTypes": [
|
|
1591
1591
|
{
|
|
1592
|
-
"typeIdentifier": "t_struct$_FuzzSelector_$
|
|
1592
|
+
"typeIdentifier": "t_struct$_FuzzSelector_$67352_memory_ptr",
|
|
1593
1593
|
"typeString": "struct StdInvariant.FuzzSelector memory"
|
|
1594
1594
|
}
|
|
1595
1595
|
],
|
|
1596
1596
|
"expression": {
|
|
1597
|
-
"id":
|
|
1597
|
+
"id": 67457,
|
|
1598
1598
|
"name": "_targetedSelectors",
|
|
1599
1599
|
"nodeType": "Identifier",
|
|
1600
1600
|
"overloadedDeclarations": [],
|
|
1601
|
-
"referencedDeclaration":
|
|
1601
|
+
"referencedDeclaration": 67378,
|
|
1602
1602
|
"src": "1562:18:23",
|
|
1603
1603
|
"typeDescriptions": {
|
|
1604
|
-
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$
|
|
1604
|
+
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$67352_storage_$dyn_storage",
|
|
1605
1605
|
"typeString": "struct StdInvariant.FuzzSelector storage ref[] storage ref"
|
|
1606
1606
|
}
|
|
1607
1607
|
},
|
|
1608
|
-
"id":
|
|
1608
|
+
"id": 67459,
|
|
1609
1609
|
"isConstant": false,
|
|
1610
1610
|
"isLValue": false,
|
|
1611
1611
|
"isPure": false,
|
|
@@ -1614,11 +1614,11 @@
|
|
|
1614
1614
|
"nodeType": "MemberAccess",
|
|
1615
1615
|
"src": "1562:23:23",
|
|
1616
1616
|
"typeDescriptions": {
|
|
1617
|
-
"typeIdentifier": "t_function_arraypush_nonpayable$_t_array$_t_struct$_FuzzSelector_$
|
|
1617
|
+
"typeIdentifier": "t_function_arraypush_nonpayable$_t_array$_t_struct$_FuzzSelector_$67352_storage_$dyn_storage_ptr_$_t_struct$_FuzzSelector_$67352_storage_$returns$__$bound_to$_t_array$_t_struct$_FuzzSelector_$67352_storage_$dyn_storage_ptr_$",
|
|
1618
1618
|
"typeString": "function (struct StdInvariant.FuzzSelector storage ref[] storage pointer,struct StdInvariant.FuzzSelector storage ref)"
|
|
1619
1619
|
}
|
|
1620
1620
|
},
|
|
1621
|
-
"id":
|
|
1621
|
+
"id": 67461,
|
|
1622
1622
|
"isConstant": false,
|
|
1623
1623
|
"isLValue": false,
|
|
1624
1624
|
"isPure": false,
|
|
@@ -1633,7 +1633,7 @@
|
|
|
1633
1633
|
"typeString": "tuple()"
|
|
1634
1634
|
}
|
|
1635
1635
|
},
|
|
1636
|
-
"id":
|
|
1636
|
+
"id": 67462,
|
|
1637
1637
|
"nodeType": "ExpressionStatement",
|
|
1638
1638
|
"src": "1562:45:23"
|
|
1639
1639
|
}
|
|
@@ -1645,38 +1645,38 @@
|
|
|
1645
1645
|
"name": "targetSelector",
|
|
1646
1646
|
"nameLocation": "1486:14:23",
|
|
1647
1647
|
"parameters": {
|
|
1648
|
-
"id":
|
|
1648
|
+
"id": 67455,
|
|
1649
1649
|
"nodeType": "ParameterList",
|
|
1650
1650
|
"parameters": [
|
|
1651
1651
|
{
|
|
1652
1652
|
"constant": false,
|
|
1653
|
-
"id":
|
|
1653
|
+
"id": 67454,
|
|
1654
1654
|
"mutability": "mutable",
|
|
1655
1655
|
"name": "newTargetedSelector_",
|
|
1656
1656
|
"nameLocation": "1521:20:23",
|
|
1657
1657
|
"nodeType": "VariableDeclaration",
|
|
1658
|
-
"scope":
|
|
1658
|
+
"scope": 67464,
|
|
1659
1659
|
"src": "1501:40:23",
|
|
1660
1660
|
"stateVariable": false,
|
|
1661
1661
|
"storageLocation": "memory",
|
|
1662
1662
|
"typeDescriptions": {
|
|
1663
|
-
"typeIdentifier": "t_struct$_FuzzSelector_$
|
|
1663
|
+
"typeIdentifier": "t_struct$_FuzzSelector_$67352_memory_ptr",
|
|
1664
1664
|
"typeString": "struct StdInvariant.FuzzSelector"
|
|
1665
1665
|
},
|
|
1666
1666
|
"typeName": {
|
|
1667
|
-
"id":
|
|
1667
|
+
"id": 67453,
|
|
1668
1668
|
"nodeType": "UserDefinedTypeName",
|
|
1669
1669
|
"pathNode": {
|
|
1670
|
-
"id":
|
|
1670
|
+
"id": 67452,
|
|
1671
1671
|
"name": "FuzzSelector",
|
|
1672
1672
|
"nodeType": "IdentifierPath",
|
|
1673
|
-
"referencedDeclaration":
|
|
1673
|
+
"referencedDeclaration": 67352,
|
|
1674
1674
|
"src": "1501:12:23"
|
|
1675
1675
|
},
|
|
1676
|
-
"referencedDeclaration":
|
|
1676
|
+
"referencedDeclaration": 67352,
|
|
1677
1677
|
"src": "1501:12:23",
|
|
1678
1678
|
"typeDescriptions": {
|
|
1679
|
-
"typeIdentifier": "t_struct$_FuzzSelector_$
|
|
1679
|
+
"typeIdentifier": "t_struct$_FuzzSelector_$67352_storage_ptr",
|
|
1680
1680
|
"typeString": "struct StdInvariant.FuzzSelector"
|
|
1681
1681
|
}
|
|
1682
1682
|
},
|
|
@@ -1686,23 +1686,23 @@
|
|
|
1686
1686
|
"src": "1500:42:23"
|
|
1687
1687
|
},
|
|
1688
1688
|
"returnParameters": {
|
|
1689
|
-
"id":
|
|
1689
|
+
"id": 67456,
|
|
1690
1690
|
"nodeType": "ParameterList",
|
|
1691
1691
|
"parameters": [],
|
|
1692
1692
|
"src": "1552:0:23"
|
|
1693
1693
|
},
|
|
1694
|
-
"scope":
|
|
1694
|
+
"scope": 67567,
|
|
1695
1695
|
"stateMutability": "nonpayable",
|
|
1696
1696
|
"virtual": false,
|
|
1697
1697
|
"visibility": "internal"
|
|
1698
1698
|
},
|
|
1699
1699
|
{
|
|
1700
|
-
"id":
|
|
1700
|
+
"id": 67476,
|
|
1701
1701
|
"nodeType": "FunctionDefinition",
|
|
1702
1702
|
"src": "1620:117:23",
|
|
1703
1703
|
"nodes": [],
|
|
1704
1704
|
"body": {
|
|
1705
|
-
"id":
|
|
1705
|
+
"id": 67475,
|
|
1706
1706
|
"nodeType": "Block",
|
|
1707
1707
|
"src": "1679:58:23",
|
|
1708
1708
|
"nodes": [],
|
|
@@ -1711,11 +1711,11 @@
|
|
|
1711
1711
|
"expression": {
|
|
1712
1712
|
"arguments": [
|
|
1713
1713
|
{
|
|
1714
|
-
"id":
|
|
1714
|
+
"id": 67472,
|
|
1715
1715
|
"name": "newTargetedSender_",
|
|
1716
1716
|
"nodeType": "Identifier",
|
|
1717
1717
|
"overloadedDeclarations": [],
|
|
1718
|
-
"referencedDeclaration":
|
|
1718
|
+
"referencedDeclaration": 67466,
|
|
1719
1719
|
"src": "1711:18:23",
|
|
1720
1720
|
"typeDescriptions": {
|
|
1721
1721
|
"typeIdentifier": "t_address",
|
|
@@ -1731,18 +1731,18 @@
|
|
|
1731
1731
|
}
|
|
1732
1732
|
],
|
|
1733
1733
|
"expression": {
|
|
1734
|
-
"id":
|
|
1734
|
+
"id": 67469,
|
|
1735
1735
|
"name": "_targetedSenders",
|
|
1736
1736
|
"nodeType": "Identifier",
|
|
1737
1737
|
"overloadedDeclarations": [],
|
|
1738
|
-
"referencedDeclaration":
|
|
1738
|
+
"referencedDeclaration": 67364,
|
|
1739
1739
|
"src": "1689:16:23",
|
|
1740
1740
|
"typeDescriptions": {
|
|
1741
1741
|
"typeIdentifier": "t_array$_t_address_$dyn_storage",
|
|
1742
1742
|
"typeString": "address[] storage ref"
|
|
1743
1743
|
}
|
|
1744
1744
|
},
|
|
1745
|
-
"id":
|
|
1745
|
+
"id": 67471,
|
|
1746
1746
|
"isConstant": false,
|
|
1747
1747
|
"isLValue": false,
|
|
1748
1748
|
"isPure": false,
|
|
@@ -1755,7 +1755,7 @@
|
|
|
1755
1755
|
"typeString": "function (address[] storage pointer,address)"
|
|
1756
1756
|
}
|
|
1757
1757
|
},
|
|
1758
|
-
"id":
|
|
1758
|
+
"id": 67473,
|
|
1759
1759
|
"isConstant": false,
|
|
1760
1760
|
"isLValue": false,
|
|
1761
1761
|
"isPure": false,
|
|
@@ -1770,7 +1770,7 @@
|
|
|
1770
1770
|
"typeString": "tuple()"
|
|
1771
1771
|
}
|
|
1772
1772
|
},
|
|
1773
|
-
"id":
|
|
1773
|
+
"id": 67474,
|
|
1774
1774
|
"nodeType": "ExpressionStatement",
|
|
1775
1775
|
"src": "1689:41:23"
|
|
1776
1776
|
}
|
|
@@ -1782,17 +1782,17 @@
|
|
|
1782
1782
|
"name": "targetSender",
|
|
1783
1783
|
"nameLocation": "1629:12:23",
|
|
1784
1784
|
"parameters": {
|
|
1785
|
-
"id":
|
|
1785
|
+
"id": 67467,
|
|
1786
1786
|
"nodeType": "ParameterList",
|
|
1787
1787
|
"parameters": [
|
|
1788
1788
|
{
|
|
1789
1789
|
"constant": false,
|
|
1790
|
-
"id":
|
|
1790
|
+
"id": 67466,
|
|
1791
1791
|
"mutability": "mutable",
|
|
1792
1792
|
"name": "newTargetedSender_",
|
|
1793
1793
|
"nameLocation": "1650:18:23",
|
|
1794
1794
|
"nodeType": "VariableDeclaration",
|
|
1795
|
-
"scope":
|
|
1795
|
+
"scope": 67476,
|
|
1796
1796
|
"src": "1642:26:23",
|
|
1797
1797
|
"stateVariable": false,
|
|
1798
1798
|
"storageLocation": "default",
|
|
@@ -1801,7 +1801,7 @@
|
|
|
1801
1801
|
"typeString": "address"
|
|
1802
1802
|
},
|
|
1803
1803
|
"typeName": {
|
|
1804
|
-
"id":
|
|
1804
|
+
"id": 67465,
|
|
1805
1805
|
"name": "address",
|
|
1806
1806
|
"nodeType": "ElementaryTypeName",
|
|
1807
1807
|
"src": "1642:7:23",
|
|
@@ -1817,40 +1817,40 @@
|
|
|
1817
1817
|
"src": "1641:28:23"
|
|
1818
1818
|
},
|
|
1819
1819
|
"returnParameters": {
|
|
1820
|
-
"id":
|
|
1820
|
+
"id": 67468,
|
|
1821
1821
|
"nodeType": "ParameterList",
|
|
1822
1822
|
"parameters": [],
|
|
1823
1823
|
"src": "1679:0:23"
|
|
1824
1824
|
},
|
|
1825
|
-
"scope":
|
|
1825
|
+
"scope": 67567,
|
|
1826
1826
|
"stateMutability": "nonpayable",
|
|
1827
1827
|
"virtual": false,
|
|
1828
1828
|
"visibility": "internal"
|
|
1829
1829
|
},
|
|
1830
1830
|
{
|
|
1831
|
-
"id":
|
|
1831
|
+
"id": 67487,
|
|
1832
1832
|
"nodeType": "FunctionDefinition",
|
|
1833
1833
|
"src": "1866:141:23",
|
|
1834
1834
|
"nodes": [],
|
|
1835
1835
|
"body": {
|
|
1836
|
-
"id":
|
|
1836
|
+
"id": 67486,
|
|
1837
1837
|
"nodeType": "Block",
|
|
1838
1838
|
"src": "1951:56:23",
|
|
1839
1839
|
"nodes": [],
|
|
1840
1840
|
"statements": [
|
|
1841
1841
|
{
|
|
1842
1842
|
"expression": {
|
|
1843
|
-
"id":
|
|
1843
|
+
"id": 67484,
|
|
1844
1844
|
"isConstant": false,
|
|
1845
1845
|
"isLValue": false,
|
|
1846
1846
|
"isPure": false,
|
|
1847
1847
|
"lValueRequested": false,
|
|
1848
1848
|
"leftHandSide": {
|
|
1849
|
-
"id":
|
|
1849
|
+
"id": 67482,
|
|
1850
1850
|
"name": "excludedArtifacts_",
|
|
1851
1851
|
"nodeType": "Identifier",
|
|
1852
1852
|
"overloadedDeclarations": [],
|
|
1853
|
-
"referencedDeclaration":
|
|
1853
|
+
"referencedDeclaration": 67480,
|
|
1854
1854
|
"src": "1961:18:23",
|
|
1855
1855
|
"typeDescriptions": {
|
|
1856
1856
|
"typeIdentifier": "t_array$_t_string_memory_ptr_$dyn_memory_ptr",
|
|
@@ -1860,11 +1860,11 @@
|
|
|
1860
1860
|
"nodeType": "Assignment",
|
|
1861
1861
|
"operator": "=",
|
|
1862
1862
|
"rightHandSide": {
|
|
1863
|
-
"id":
|
|
1863
|
+
"id": 67483,
|
|
1864
1864
|
"name": "_excludedArtifacts",
|
|
1865
1865
|
"nodeType": "Identifier",
|
|
1866
1866
|
"overloadedDeclarations": [],
|
|
1867
|
-
"referencedDeclaration":
|
|
1867
|
+
"referencedDeclaration": 67367,
|
|
1868
1868
|
"src": "1982:18:23",
|
|
1869
1869
|
"typeDescriptions": {
|
|
1870
1870
|
"typeIdentifier": "t_array$_t_string_storage_$dyn_storage",
|
|
@@ -1877,7 +1877,7 @@
|
|
|
1877
1877
|
"typeString": "string memory[] memory"
|
|
1878
1878
|
}
|
|
1879
1879
|
},
|
|
1880
|
-
"id":
|
|
1880
|
+
"id": 67485,
|
|
1881
1881
|
"nodeType": "ExpressionStatement",
|
|
1882
1882
|
"src": "1961:39:23"
|
|
1883
1883
|
}
|
|
@@ -1890,23 +1890,23 @@
|
|
|
1890
1890
|
"name": "excludeArtifacts",
|
|
1891
1891
|
"nameLocation": "1875:16:23",
|
|
1892
1892
|
"parameters": {
|
|
1893
|
-
"id":
|
|
1893
|
+
"id": 67477,
|
|
1894
1894
|
"nodeType": "ParameterList",
|
|
1895
1895
|
"parameters": [],
|
|
1896
1896
|
"src": "1891:2:23"
|
|
1897
1897
|
},
|
|
1898
1898
|
"returnParameters": {
|
|
1899
|
-
"id":
|
|
1899
|
+
"id": 67481,
|
|
1900
1900
|
"nodeType": "ParameterList",
|
|
1901
1901
|
"parameters": [
|
|
1902
1902
|
{
|
|
1903
1903
|
"constant": false,
|
|
1904
|
-
"id":
|
|
1904
|
+
"id": 67480,
|
|
1905
1905
|
"mutability": "mutable",
|
|
1906
1906
|
"name": "excludedArtifacts_",
|
|
1907
1907
|
"nameLocation": "1931:18:23",
|
|
1908
1908
|
"nodeType": "VariableDeclaration",
|
|
1909
|
-
"scope":
|
|
1909
|
+
"scope": 67487,
|
|
1910
1910
|
"src": "1915:34:23",
|
|
1911
1911
|
"stateVariable": false,
|
|
1912
1912
|
"storageLocation": "memory",
|
|
@@ -1916,7 +1916,7 @@
|
|
|
1916
1916
|
},
|
|
1917
1917
|
"typeName": {
|
|
1918
1918
|
"baseType": {
|
|
1919
|
-
"id":
|
|
1919
|
+
"id": 67478,
|
|
1920
1920
|
"name": "string",
|
|
1921
1921
|
"nodeType": "ElementaryTypeName",
|
|
1922
1922
|
"src": "1915:6:23",
|
|
@@ -1925,7 +1925,7 @@
|
|
|
1925
1925
|
"typeString": "string"
|
|
1926
1926
|
}
|
|
1927
1927
|
},
|
|
1928
|
-
"id":
|
|
1928
|
+
"id": 67479,
|
|
1929
1929
|
"nodeType": "ArrayTypeName",
|
|
1930
1930
|
"src": "1915:8:23",
|
|
1931
1931
|
"typeDescriptions": {
|
|
@@ -1938,35 +1938,35 @@
|
|
|
1938
1938
|
],
|
|
1939
1939
|
"src": "1914:36:23"
|
|
1940
1940
|
},
|
|
1941
|
-
"scope":
|
|
1941
|
+
"scope": 67567,
|
|
1942
1942
|
"stateMutability": "view",
|
|
1943
1943
|
"virtual": false,
|
|
1944
1944
|
"visibility": "public"
|
|
1945
1945
|
},
|
|
1946
1946
|
{
|
|
1947
|
-
"id":
|
|
1947
|
+
"id": 67498,
|
|
1948
1948
|
"nodeType": "FunctionDefinition",
|
|
1949
1949
|
"src": "2013:142:23",
|
|
1950
1950
|
"nodes": [],
|
|
1951
1951
|
"body": {
|
|
1952
|
-
"id":
|
|
1952
|
+
"id": 67497,
|
|
1953
1953
|
"nodeType": "Block",
|
|
1954
1954
|
"src": "2099:56:23",
|
|
1955
1955
|
"nodes": [],
|
|
1956
1956
|
"statements": [
|
|
1957
1957
|
{
|
|
1958
1958
|
"expression": {
|
|
1959
|
-
"id":
|
|
1959
|
+
"id": 67495,
|
|
1960
1960
|
"isConstant": false,
|
|
1961
1961
|
"isLValue": false,
|
|
1962
1962
|
"isPure": false,
|
|
1963
1963
|
"lValueRequested": false,
|
|
1964
1964
|
"leftHandSide": {
|
|
1965
|
-
"id":
|
|
1965
|
+
"id": 67493,
|
|
1966
1966
|
"name": "excludedContracts_",
|
|
1967
1967
|
"nodeType": "Identifier",
|
|
1968
1968
|
"overloadedDeclarations": [],
|
|
1969
|
-
"referencedDeclaration":
|
|
1969
|
+
"referencedDeclaration": 67491,
|
|
1970
1970
|
"src": "2109:18:23",
|
|
1971
1971
|
"typeDescriptions": {
|
|
1972
1972
|
"typeIdentifier": "t_array$_t_address_$dyn_memory_ptr",
|
|
@@ -1976,11 +1976,11 @@
|
|
|
1976
1976
|
"nodeType": "Assignment",
|
|
1977
1977
|
"operator": "=",
|
|
1978
1978
|
"rightHandSide": {
|
|
1979
|
-
"id":
|
|
1979
|
+
"id": 67494,
|
|
1980
1980
|
"name": "_excludedContracts",
|
|
1981
1981
|
"nodeType": "Identifier",
|
|
1982
1982
|
"overloadedDeclarations": [],
|
|
1983
|
-
"referencedDeclaration":
|
|
1983
|
+
"referencedDeclaration": 67355,
|
|
1984
1984
|
"src": "2130:18:23",
|
|
1985
1985
|
"typeDescriptions": {
|
|
1986
1986
|
"typeIdentifier": "t_array$_t_address_$dyn_storage",
|
|
@@ -1993,7 +1993,7 @@
|
|
|
1993
1993
|
"typeString": "address[] memory"
|
|
1994
1994
|
}
|
|
1995
1995
|
},
|
|
1996
|
-
"id":
|
|
1996
|
+
"id": 67496,
|
|
1997
1997
|
"nodeType": "ExpressionStatement",
|
|
1998
1998
|
"src": "2109:39:23"
|
|
1999
1999
|
}
|
|
@@ -2006,23 +2006,23 @@
|
|
|
2006
2006
|
"name": "excludeContracts",
|
|
2007
2007
|
"nameLocation": "2022:16:23",
|
|
2008
2008
|
"parameters": {
|
|
2009
|
-
"id":
|
|
2009
|
+
"id": 67488,
|
|
2010
2010
|
"nodeType": "ParameterList",
|
|
2011
2011
|
"parameters": [],
|
|
2012
2012
|
"src": "2038:2:23"
|
|
2013
2013
|
},
|
|
2014
2014
|
"returnParameters": {
|
|
2015
|
-
"id":
|
|
2015
|
+
"id": 67492,
|
|
2016
2016
|
"nodeType": "ParameterList",
|
|
2017
2017
|
"parameters": [
|
|
2018
2018
|
{
|
|
2019
2019
|
"constant": false,
|
|
2020
|
-
"id":
|
|
2020
|
+
"id": 67491,
|
|
2021
2021
|
"mutability": "mutable",
|
|
2022
2022
|
"name": "excludedContracts_",
|
|
2023
2023
|
"nameLocation": "2079:18:23",
|
|
2024
2024
|
"nodeType": "VariableDeclaration",
|
|
2025
|
-
"scope":
|
|
2025
|
+
"scope": 67498,
|
|
2026
2026
|
"src": "2062:35:23",
|
|
2027
2027
|
"stateVariable": false,
|
|
2028
2028
|
"storageLocation": "memory",
|
|
@@ -2032,7 +2032,7 @@
|
|
|
2032
2032
|
},
|
|
2033
2033
|
"typeName": {
|
|
2034
2034
|
"baseType": {
|
|
2035
|
-
"id":
|
|
2035
|
+
"id": 67489,
|
|
2036
2036
|
"name": "address",
|
|
2037
2037
|
"nodeType": "ElementaryTypeName",
|
|
2038
2038
|
"src": "2062:7:23",
|
|
@@ -2042,7 +2042,7 @@
|
|
|
2042
2042
|
"typeString": "address"
|
|
2043
2043
|
}
|
|
2044
2044
|
},
|
|
2045
|
-
"id":
|
|
2045
|
+
"id": 67490,
|
|
2046
2046
|
"nodeType": "ArrayTypeName",
|
|
2047
2047
|
"src": "2062:9:23",
|
|
2048
2048
|
"typeDescriptions": {
|
|
@@ -2055,35 +2055,35 @@
|
|
|
2055
2055
|
],
|
|
2056
2056
|
"src": "2061:37:23"
|
|
2057
2057
|
},
|
|
2058
|
-
"scope":
|
|
2058
|
+
"scope": 67567,
|
|
2059
2059
|
"stateMutability": "view",
|
|
2060
2060
|
"virtual": false,
|
|
2061
2061
|
"visibility": "public"
|
|
2062
2062
|
},
|
|
2063
2063
|
{
|
|
2064
|
-
"id":
|
|
2064
|
+
"id": 67509,
|
|
2065
2065
|
"nodeType": "FunctionDefinition",
|
|
2066
2066
|
"src": "2161:134:23",
|
|
2067
2067
|
"nodes": [],
|
|
2068
2068
|
"body": {
|
|
2069
|
-
"id":
|
|
2069
|
+
"id": 67508,
|
|
2070
2070
|
"nodeType": "Block",
|
|
2071
2071
|
"src": "2243:52:23",
|
|
2072
2072
|
"nodes": [],
|
|
2073
2073
|
"statements": [
|
|
2074
2074
|
{
|
|
2075
2075
|
"expression": {
|
|
2076
|
-
"id":
|
|
2076
|
+
"id": 67506,
|
|
2077
2077
|
"isConstant": false,
|
|
2078
2078
|
"isLValue": false,
|
|
2079
2079
|
"isPure": false,
|
|
2080
2080
|
"lValueRequested": false,
|
|
2081
2081
|
"leftHandSide": {
|
|
2082
|
-
"id":
|
|
2082
|
+
"id": 67504,
|
|
2083
2083
|
"name": "excludedSenders_",
|
|
2084
2084
|
"nodeType": "Identifier",
|
|
2085
2085
|
"overloadedDeclarations": [],
|
|
2086
|
-
"referencedDeclaration":
|
|
2086
|
+
"referencedDeclaration": 67502,
|
|
2087
2087
|
"src": "2253:16:23",
|
|
2088
2088
|
"typeDescriptions": {
|
|
2089
2089
|
"typeIdentifier": "t_array$_t_address_$dyn_memory_ptr",
|
|
@@ -2093,11 +2093,11 @@
|
|
|
2093
2093
|
"nodeType": "Assignment",
|
|
2094
2094
|
"operator": "=",
|
|
2095
2095
|
"rightHandSide": {
|
|
2096
|
-
"id":
|
|
2096
|
+
"id": 67505,
|
|
2097
2097
|
"name": "_excludedSenders",
|
|
2098
2098
|
"nodeType": "Identifier",
|
|
2099
2099
|
"overloadedDeclarations": [],
|
|
2100
|
-
"referencedDeclaration":
|
|
2100
|
+
"referencedDeclaration": 67358,
|
|
2101
2101
|
"src": "2272:16:23",
|
|
2102
2102
|
"typeDescriptions": {
|
|
2103
2103
|
"typeIdentifier": "t_array$_t_address_$dyn_storage",
|
|
@@ -2110,7 +2110,7 @@
|
|
|
2110
2110
|
"typeString": "address[] memory"
|
|
2111
2111
|
}
|
|
2112
2112
|
},
|
|
2113
|
-
"id":
|
|
2113
|
+
"id": 67507,
|
|
2114
2114
|
"nodeType": "ExpressionStatement",
|
|
2115
2115
|
"src": "2253:35:23"
|
|
2116
2116
|
}
|
|
@@ -2123,23 +2123,23 @@
|
|
|
2123
2123
|
"name": "excludeSenders",
|
|
2124
2124
|
"nameLocation": "2170:14:23",
|
|
2125
2125
|
"parameters": {
|
|
2126
|
-
"id":
|
|
2126
|
+
"id": 67499,
|
|
2127
2127
|
"nodeType": "ParameterList",
|
|
2128
2128
|
"parameters": [],
|
|
2129
2129
|
"src": "2184:2:23"
|
|
2130
2130
|
},
|
|
2131
2131
|
"returnParameters": {
|
|
2132
|
-
"id":
|
|
2132
|
+
"id": 67503,
|
|
2133
2133
|
"nodeType": "ParameterList",
|
|
2134
2134
|
"parameters": [
|
|
2135
2135
|
{
|
|
2136
2136
|
"constant": false,
|
|
2137
|
-
"id":
|
|
2137
|
+
"id": 67502,
|
|
2138
2138
|
"mutability": "mutable",
|
|
2139
2139
|
"name": "excludedSenders_",
|
|
2140
2140
|
"nameLocation": "2225:16:23",
|
|
2141
2141
|
"nodeType": "VariableDeclaration",
|
|
2142
|
-
"scope":
|
|
2142
|
+
"scope": 67509,
|
|
2143
2143
|
"src": "2208:33:23",
|
|
2144
2144
|
"stateVariable": false,
|
|
2145
2145
|
"storageLocation": "memory",
|
|
@@ -2149,7 +2149,7 @@
|
|
|
2149
2149
|
},
|
|
2150
2150
|
"typeName": {
|
|
2151
2151
|
"baseType": {
|
|
2152
|
-
"id":
|
|
2152
|
+
"id": 67500,
|
|
2153
2153
|
"name": "address",
|
|
2154
2154
|
"nodeType": "ElementaryTypeName",
|
|
2155
2155
|
"src": "2208:7:23",
|
|
@@ -2159,7 +2159,7 @@
|
|
|
2159
2159
|
"typeString": "address"
|
|
2160
2160
|
}
|
|
2161
2161
|
},
|
|
2162
|
-
"id":
|
|
2162
|
+
"id": 67501,
|
|
2163
2163
|
"nodeType": "ArrayTypeName",
|
|
2164
2164
|
"src": "2208:9:23",
|
|
2165
2165
|
"typeDescriptions": {
|
|
@@ -2172,35 +2172,35 @@
|
|
|
2172
2172
|
],
|
|
2173
2173
|
"src": "2207:35:23"
|
|
2174
2174
|
},
|
|
2175
|
-
"scope":
|
|
2175
|
+
"scope": 67567,
|
|
2176
2176
|
"stateMutability": "view",
|
|
2177
2177
|
"virtual": false,
|
|
2178
2178
|
"visibility": "public"
|
|
2179
2179
|
},
|
|
2180
2180
|
{
|
|
2181
|
-
"id":
|
|
2181
|
+
"id": 67520,
|
|
2182
2182
|
"nodeType": "FunctionDefinition",
|
|
2183
2183
|
"src": "2301:140:23",
|
|
2184
2184
|
"nodes": [],
|
|
2185
2185
|
"body": {
|
|
2186
|
-
"id":
|
|
2186
|
+
"id": 67519,
|
|
2187
2187
|
"nodeType": "Block",
|
|
2188
2188
|
"src": "2385:56:23",
|
|
2189
2189
|
"nodes": [],
|
|
2190
2190
|
"statements": [
|
|
2191
2191
|
{
|
|
2192
2192
|
"expression": {
|
|
2193
|
-
"id":
|
|
2193
|
+
"id": 67517,
|
|
2194
2194
|
"isConstant": false,
|
|
2195
2195
|
"isLValue": false,
|
|
2196
2196
|
"isPure": false,
|
|
2197
2197
|
"lValueRequested": false,
|
|
2198
2198
|
"leftHandSide": {
|
|
2199
|
-
"id":
|
|
2199
|
+
"id": 67515,
|
|
2200
2200
|
"name": "targetedArtifacts_",
|
|
2201
2201
|
"nodeType": "Identifier",
|
|
2202
2202
|
"overloadedDeclarations": [],
|
|
2203
|
-
"referencedDeclaration":
|
|
2203
|
+
"referencedDeclaration": 67513,
|
|
2204
2204
|
"src": "2395:18:23",
|
|
2205
2205
|
"typeDescriptions": {
|
|
2206
2206
|
"typeIdentifier": "t_array$_t_string_memory_ptr_$dyn_memory_ptr",
|
|
@@ -2210,11 +2210,11 @@
|
|
|
2210
2210
|
"nodeType": "Assignment",
|
|
2211
2211
|
"operator": "=",
|
|
2212
2212
|
"rightHandSide": {
|
|
2213
|
-
"id":
|
|
2213
|
+
"id": 67516,
|
|
2214
2214
|
"name": "_targetedArtifacts",
|
|
2215
2215
|
"nodeType": "Identifier",
|
|
2216
2216
|
"overloadedDeclarations": [],
|
|
2217
|
-
"referencedDeclaration":
|
|
2217
|
+
"referencedDeclaration": 67370,
|
|
2218
2218
|
"src": "2416:18:23",
|
|
2219
2219
|
"typeDescriptions": {
|
|
2220
2220
|
"typeIdentifier": "t_array$_t_string_storage_$dyn_storage",
|
|
@@ -2227,7 +2227,7 @@
|
|
|
2227
2227
|
"typeString": "string memory[] memory"
|
|
2228
2228
|
}
|
|
2229
2229
|
},
|
|
2230
|
-
"id":
|
|
2230
|
+
"id": 67518,
|
|
2231
2231
|
"nodeType": "ExpressionStatement",
|
|
2232
2232
|
"src": "2395:39:23"
|
|
2233
2233
|
}
|
|
@@ -2240,23 +2240,23 @@
|
|
|
2240
2240
|
"name": "targetArtifacts",
|
|
2241
2241
|
"nameLocation": "2310:15:23",
|
|
2242
2242
|
"parameters": {
|
|
2243
|
-
"id":
|
|
2243
|
+
"id": 67510,
|
|
2244
2244
|
"nodeType": "ParameterList",
|
|
2245
2245
|
"parameters": [],
|
|
2246
2246
|
"src": "2325:2:23"
|
|
2247
2247
|
},
|
|
2248
2248
|
"returnParameters": {
|
|
2249
|
-
"id":
|
|
2249
|
+
"id": 67514,
|
|
2250
2250
|
"nodeType": "ParameterList",
|
|
2251
2251
|
"parameters": [
|
|
2252
2252
|
{
|
|
2253
2253
|
"constant": false,
|
|
2254
|
-
"id":
|
|
2254
|
+
"id": 67513,
|
|
2255
2255
|
"mutability": "mutable",
|
|
2256
2256
|
"name": "targetedArtifacts_",
|
|
2257
2257
|
"nameLocation": "2365:18:23",
|
|
2258
2258
|
"nodeType": "VariableDeclaration",
|
|
2259
|
-
"scope":
|
|
2259
|
+
"scope": 67520,
|
|
2260
2260
|
"src": "2349:34:23",
|
|
2261
2261
|
"stateVariable": false,
|
|
2262
2262
|
"storageLocation": "memory",
|
|
@@ -2266,7 +2266,7 @@
|
|
|
2266
2266
|
},
|
|
2267
2267
|
"typeName": {
|
|
2268
2268
|
"baseType": {
|
|
2269
|
-
"id":
|
|
2269
|
+
"id": 67511,
|
|
2270
2270
|
"name": "string",
|
|
2271
2271
|
"nodeType": "ElementaryTypeName",
|
|
2272
2272
|
"src": "2349:6:23",
|
|
@@ -2275,7 +2275,7 @@
|
|
|
2275
2275
|
"typeString": "string"
|
|
2276
2276
|
}
|
|
2277
2277
|
},
|
|
2278
|
-
"id":
|
|
2278
|
+
"id": 67512,
|
|
2279
2279
|
"nodeType": "ArrayTypeName",
|
|
2280
2280
|
"src": "2349:8:23",
|
|
2281
2281
|
"typeDescriptions": {
|
|
@@ -2288,62 +2288,62 @@
|
|
|
2288
2288
|
],
|
|
2289
2289
|
"src": "2348:36:23"
|
|
2290
2290
|
},
|
|
2291
|
-
"scope":
|
|
2291
|
+
"scope": 67567,
|
|
2292
2292
|
"stateMutability": "view",
|
|
2293
2293
|
"virtual": false,
|
|
2294
2294
|
"visibility": "public"
|
|
2295
2295
|
},
|
|
2296
2296
|
{
|
|
2297
|
-
"id":
|
|
2297
|
+
"id": 67532,
|
|
2298
2298
|
"nodeType": "FunctionDefinition",
|
|
2299
2299
|
"src": "2447:178:23",
|
|
2300
2300
|
"nodes": [],
|
|
2301
2301
|
"body": {
|
|
2302
|
-
"id":
|
|
2302
|
+
"id": 67531,
|
|
2303
2303
|
"nodeType": "Block",
|
|
2304
2304
|
"src": "2553:72:23",
|
|
2305
2305
|
"nodes": [],
|
|
2306
2306
|
"statements": [
|
|
2307
2307
|
{
|
|
2308
2308
|
"expression": {
|
|
2309
|
-
"id":
|
|
2309
|
+
"id": 67529,
|
|
2310
2310
|
"isConstant": false,
|
|
2311
2311
|
"isLValue": false,
|
|
2312
2312
|
"isPure": false,
|
|
2313
2313
|
"lValueRequested": false,
|
|
2314
2314
|
"leftHandSide": {
|
|
2315
|
-
"id":
|
|
2315
|
+
"id": 67527,
|
|
2316
2316
|
"name": "targetedArtifactSelectors_",
|
|
2317
2317
|
"nodeType": "Identifier",
|
|
2318
2318
|
"overloadedDeclarations": [],
|
|
2319
|
-
"referencedDeclaration":
|
|
2319
|
+
"referencedDeclaration": 67525,
|
|
2320
2320
|
"src": "2563:26:23",
|
|
2321
2321
|
"typeDescriptions": {
|
|
2322
|
-
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$
|
|
2322
|
+
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$67352_memory_ptr_$dyn_memory_ptr",
|
|
2323
2323
|
"typeString": "struct StdInvariant.FuzzSelector memory[] memory"
|
|
2324
2324
|
}
|
|
2325
2325
|
},
|
|
2326
2326
|
"nodeType": "Assignment",
|
|
2327
2327
|
"operator": "=",
|
|
2328
2328
|
"rightHandSide": {
|
|
2329
|
-
"id":
|
|
2329
|
+
"id": 67528,
|
|
2330
2330
|
"name": "_targetedArtifactSelectors",
|
|
2331
2331
|
"nodeType": "Identifier",
|
|
2332
2332
|
"overloadedDeclarations": [],
|
|
2333
|
-
"referencedDeclaration":
|
|
2333
|
+
"referencedDeclaration": 67374,
|
|
2334
2334
|
"src": "2592:26:23",
|
|
2335
2335
|
"typeDescriptions": {
|
|
2336
|
-
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$
|
|
2336
|
+
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$67352_storage_$dyn_storage",
|
|
2337
2337
|
"typeString": "struct StdInvariant.FuzzSelector storage ref[] storage ref"
|
|
2338
2338
|
}
|
|
2339
2339
|
},
|
|
2340
2340
|
"src": "2563:55:23",
|
|
2341
2341
|
"typeDescriptions": {
|
|
2342
|
-
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$
|
|
2342
|
+
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$67352_memory_ptr_$dyn_memory_ptr",
|
|
2343
2343
|
"typeString": "struct StdInvariant.FuzzSelector memory[] memory"
|
|
2344
2344
|
}
|
|
2345
2345
|
},
|
|
2346
|
-
"id":
|
|
2346
|
+
"id": 67530,
|
|
2347
2347
|
"nodeType": "ExpressionStatement",
|
|
2348
2348
|
"src": "2563:55:23"
|
|
2349
2349
|
}
|
|
@@ -2356,53 +2356,53 @@
|
|
|
2356
2356
|
"name": "targetArtifactSelectors",
|
|
2357
2357
|
"nameLocation": "2456:23:23",
|
|
2358
2358
|
"parameters": {
|
|
2359
|
-
"id":
|
|
2359
|
+
"id": 67521,
|
|
2360
2360
|
"nodeType": "ParameterList",
|
|
2361
2361
|
"parameters": [],
|
|
2362
2362
|
"src": "2479:2:23"
|
|
2363
2363
|
},
|
|
2364
2364
|
"returnParameters": {
|
|
2365
|
-
"id":
|
|
2365
|
+
"id": 67526,
|
|
2366
2366
|
"nodeType": "ParameterList",
|
|
2367
2367
|
"parameters": [
|
|
2368
2368
|
{
|
|
2369
2369
|
"constant": false,
|
|
2370
|
-
"id":
|
|
2370
|
+
"id": 67525,
|
|
2371
2371
|
"mutability": "mutable",
|
|
2372
2372
|
"name": "targetedArtifactSelectors_",
|
|
2373
2373
|
"nameLocation": "2525:26:23",
|
|
2374
2374
|
"nodeType": "VariableDeclaration",
|
|
2375
|
-
"scope":
|
|
2375
|
+
"scope": 67532,
|
|
2376
2376
|
"src": "2503:48:23",
|
|
2377
2377
|
"stateVariable": false,
|
|
2378
2378
|
"storageLocation": "memory",
|
|
2379
2379
|
"typeDescriptions": {
|
|
2380
|
-
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$
|
|
2380
|
+
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$67352_memory_ptr_$dyn_memory_ptr",
|
|
2381
2381
|
"typeString": "struct StdInvariant.FuzzSelector[]"
|
|
2382
2382
|
},
|
|
2383
2383
|
"typeName": {
|
|
2384
2384
|
"baseType": {
|
|
2385
|
-
"id":
|
|
2385
|
+
"id": 67523,
|
|
2386
2386
|
"nodeType": "UserDefinedTypeName",
|
|
2387
2387
|
"pathNode": {
|
|
2388
|
-
"id":
|
|
2388
|
+
"id": 67522,
|
|
2389
2389
|
"name": "FuzzSelector",
|
|
2390
2390
|
"nodeType": "IdentifierPath",
|
|
2391
|
-
"referencedDeclaration":
|
|
2391
|
+
"referencedDeclaration": 67352,
|
|
2392
2392
|
"src": "2503:12:23"
|
|
2393
2393
|
},
|
|
2394
|
-
"referencedDeclaration":
|
|
2394
|
+
"referencedDeclaration": 67352,
|
|
2395
2395
|
"src": "2503:12:23",
|
|
2396
2396
|
"typeDescriptions": {
|
|
2397
|
-
"typeIdentifier": "t_struct$_FuzzSelector_$
|
|
2397
|
+
"typeIdentifier": "t_struct$_FuzzSelector_$67352_storage_ptr",
|
|
2398
2398
|
"typeString": "struct StdInvariant.FuzzSelector"
|
|
2399
2399
|
}
|
|
2400
2400
|
},
|
|
2401
|
-
"id":
|
|
2401
|
+
"id": 67524,
|
|
2402
2402
|
"nodeType": "ArrayTypeName",
|
|
2403
2403
|
"src": "2503:14:23",
|
|
2404
2404
|
"typeDescriptions": {
|
|
2405
|
-
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$
|
|
2405
|
+
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$67352_storage_$dyn_storage_ptr",
|
|
2406
2406
|
"typeString": "struct StdInvariant.FuzzSelector[]"
|
|
2407
2407
|
}
|
|
2408
2408
|
},
|
|
@@ -2411,35 +2411,35 @@
|
|
|
2411
2411
|
],
|
|
2412
2412
|
"src": "2502:50:23"
|
|
2413
2413
|
},
|
|
2414
|
-
"scope":
|
|
2414
|
+
"scope": 67567,
|
|
2415
2415
|
"stateMutability": "view",
|
|
2416
2416
|
"virtual": false,
|
|
2417
2417
|
"visibility": "public"
|
|
2418
2418
|
},
|
|
2419
2419
|
{
|
|
2420
|
-
"id":
|
|
2420
|
+
"id": 67543,
|
|
2421
2421
|
"nodeType": "FunctionDefinition",
|
|
2422
2422
|
"src": "2631:141:23",
|
|
2423
2423
|
"nodes": [],
|
|
2424
2424
|
"body": {
|
|
2425
|
-
"id":
|
|
2425
|
+
"id": 67542,
|
|
2426
2426
|
"nodeType": "Block",
|
|
2427
2427
|
"src": "2716:56:23",
|
|
2428
2428
|
"nodes": [],
|
|
2429
2429
|
"statements": [
|
|
2430
2430
|
{
|
|
2431
2431
|
"expression": {
|
|
2432
|
-
"id":
|
|
2432
|
+
"id": 67540,
|
|
2433
2433
|
"isConstant": false,
|
|
2434
2434
|
"isLValue": false,
|
|
2435
2435
|
"isPure": false,
|
|
2436
2436
|
"lValueRequested": false,
|
|
2437
2437
|
"leftHandSide": {
|
|
2438
|
-
"id":
|
|
2438
|
+
"id": 67538,
|
|
2439
2439
|
"name": "targetedContracts_",
|
|
2440
2440
|
"nodeType": "Identifier",
|
|
2441
2441
|
"overloadedDeclarations": [],
|
|
2442
|
-
"referencedDeclaration":
|
|
2442
|
+
"referencedDeclaration": 67536,
|
|
2443
2443
|
"src": "2726:18:23",
|
|
2444
2444
|
"typeDescriptions": {
|
|
2445
2445
|
"typeIdentifier": "t_array$_t_address_$dyn_memory_ptr",
|
|
@@ -2449,11 +2449,11 @@
|
|
|
2449
2449
|
"nodeType": "Assignment",
|
|
2450
2450
|
"operator": "=",
|
|
2451
2451
|
"rightHandSide": {
|
|
2452
|
-
"id":
|
|
2452
|
+
"id": 67539,
|
|
2453
2453
|
"name": "_targetedContracts",
|
|
2454
2454
|
"nodeType": "Identifier",
|
|
2455
2455
|
"overloadedDeclarations": [],
|
|
2456
|
-
"referencedDeclaration":
|
|
2456
|
+
"referencedDeclaration": 67361,
|
|
2457
2457
|
"src": "2747:18:23",
|
|
2458
2458
|
"typeDescriptions": {
|
|
2459
2459
|
"typeIdentifier": "t_array$_t_address_$dyn_storage",
|
|
@@ -2466,7 +2466,7 @@
|
|
|
2466
2466
|
"typeString": "address[] memory"
|
|
2467
2467
|
}
|
|
2468
2468
|
},
|
|
2469
|
-
"id":
|
|
2469
|
+
"id": 67541,
|
|
2470
2470
|
"nodeType": "ExpressionStatement",
|
|
2471
2471
|
"src": "2726:39:23"
|
|
2472
2472
|
}
|
|
@@ -2479,23 +2479,23 @@
|
|
|
2479
2479
|
"name": "targetContracts",
|
|
2480
2480
|
"nameLocation": "2640:15:23",
|
|
2481
2481
|
"parameters": {
|
|
2482
|
-
"id":
|
|
2482
|
+
"id": 67533,
|
|
2483
2483
|
"nodeType": "ParameterList",
|
|
2484
2484
|
"parameters": [],
|
|
2485
2485
|
"src": "2655:2:23"
|
|
2486
2486
|
},
|
|
2487
2487
|
"returnParameters": {
|
|
2488
|
-
"id":
|
|
2488
|
+
"id": 67537,
|
|
2489
2489
|
"nodeType": "ParameterList",
|
|
2490
2490
|
"parameters": [
|
|
2491
2491
|
{
|
|
2492
2492
|
"constant": false,
|
|
2493
|
-
"id":
|
|
2493
|
+
"id": 67536,
|
|
2494
2494
|
"mutability": "mutable",
|
|
2495
2495
|
"name": "targetedContracts_",
|
|
2496
2496
|
"nameLocation": "2696:18:23",
|
|
2497
2497
|
"nodeType": "VariableDeclaration",
|
|
2498
|
-
"scope":
|
|
2498
|
+
"scope": 67543,
|
|
2499
2499
|
"src": "2679:35:23",
|
|
2500
2500
|
"stateVariable": false,
|
|
2501
2501
|
"storageLocation": "memory",
|
|
@@ -2505,7 +2505,7 @@
|
|
|
2505
2505
|
},
|
|
2506
2506
|
"typeName": {
|
|
2507
2507
|
"baseType": {
|
|
2508
|
-
"id":
|
|
2508
|
+
"id": 67534,
|
|
2509
2509
|
"name": "address",
|
|
2510
2510
|
"nodeType": "ElementaryTypeName",
|
|
2511
2511
|
"src": "2679:7:23",
|
|
@@ -2515,7 +2515,7 @@
|
|
|
2515
2515
|
"typeString": "address"
|
|
2516
2516
|
}
|
|
2517
2517
|
},
|
|
2518
|
-
"id":
|
|
2518
|
+
"id": 67535,
|
|
2519
2519
|
"nodeType": "ArrayTypeName",
|
|
2520
2520
|
"src": "2679:9:23",
|
|
2521
2521
|
"typeDescriptions": {
|
|
@@ -2528,62 +2528,62 @@
|
|
|
2528
2528
|
],
|
|
2529
2529
|
"src": "2678:37:23"
|
|
2530
2530
|
},
|
|
2531
|
-
"scope":
|
|
2531
|
+
"scope": 67567,
|
|
2532
2532
|
"stateMutability": "view",
|
|
2533
2533
|
"virtual": false,
|
|
2534
2534
|
"visibility": "public"
|
|
2535
2535
|
},
|
|
2536
2536
|
{
|
|
2537
|
-
"id":
|
|
2537
|
+
"id": 67555,
|
|
2538
2538
|
"nodeType": "FunctionDefinition",
|
|
2539
2539
|
"src": "2778:146:23",
|
|
2540
2540
|
"nodes": [],
|
|
2541
2541
|
"body": {
|
|
2542
|
-
"id":
|
|
2542
|
+
"id": 67554,
|
|
2543
2543
|
"nodeType": "Block",
|
|
2544
2544
|
"src": "2868:56:23",
|
|
2545
2545
|
"nodes": [],
|
|
2546
2546
|
"statements": [
|
|
2547
2547
|
{
|
|
2548
2548
|
"expression": {
|
|
2549
|
-
"id":
|
|
2549
|
+
"id": 67552,
|
|
2550
2550
|
"isConstant": false,
|
|
2551
2551
|
"isLValue": false,
|
|
2552
2552
|
"isPure": false,
|
|
2553
2553
|
"lValueRequested": false,
|
|
2554
2554
|
"leftHandSide": {
|
|
2555
|
-
"id":
|
|
2555
|
+
"id": 67550,
|
|
2556
2556
|
"name": "targetedSelectors_",
|
|
2557
2557
|
"nodeType": "Identifier",
|
|
2558
2558
|
"overloadedDeclarations": [],
|
|
2559
|
-
"referencedDeclaration":
|
|
2559
|
+
"referencedDeclaration": 67548,
|
|
2560
2560
|
"src": "2878:18:23",
|
|
2561
2561
|
"typeDescriptions": {
|
|
2562
|
-
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$
|
|
2562
|
+
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$67352_memory_ptr_$dyn_memory_ptr",
|
|
2563
2563
|
"typeString": "struct StdInvariant.FuzzSelector memory[] memory"
|
|
2564
2564
|
}
|
|
2565
2565
|
},
|
|
2566
2566
|
"nodeType": "Assignment",
|
|
2567
2567
|
"operator": "=",
|
|
2568
2568
|
"rightHandSide": {
|
|
2569
|
-
"id":
|
|
2569
|
+
"id": 67551,
|
|
2570
2570
|
"name": "_targetedSelectors",
|
|
2571
2571
|
"nodeType": "Identifier",
|
|
2572
2572
|
"overloadedDeclarations": [],
|
|
2573
|
-
"referencedDeclaration":
|
|
2573
|
+
"referencedDeclaration": 67378,
|
|
2574
2574
|
"src": "2899:18:23",
|
|
2575
2575
|
"typeDescriptions": {
|
|
2576
|
-
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$
|
|
2576
|
+
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$67352_storage_$dyn_storage",
|
|
2577
2577
|
"typeString": "struct StdInvariant.FuzzSelector storage ref[] storage ref"
|
|
2578
2578
|
}
|
|
2579
2579
|
},
|
|
2580
2580
|
"src": "2878:39:23",
|
|
2581
2581
|
"typeDescriptions": {
|
|
2582
|
-
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$
|
|
2582
|
+
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$67352_memory_ptr_$dyn_memory_ptr",
|
|
2583
2583
|
"typeString": "struct StdInvariant.FuzzSelector memory[] memory"
|
|
2584
2584
|
}
|
|
2585
2585
|
},
|
|
2586
|
-
"id":
|
|
2586
|
+
"id": 67553,
|
|
2587
2587
|
"nodeType": "ExpressionStatement",
|
|
2588
2588
|
"src": "2878:39:23"
|
|
2589
2589
|
}
|
|
@@ -2596,53 +2596,53 @@
|
|
|
2596
2596
|
"name": "targetSelectors",
|
|
2597
2597
|
"nameLocation": "2787:15:23",
|
|
2598
2598
|
"parameters": {
|
|
2599
|
-
"id":
|
|
2599
|
+
"id": 67544,
|
|
2600
2600
|
"nodeType": "ParameterList",
|
|
2601
2601
|
"parameters": [],
|
|
2602
2602
|
"src": "2802:2:23"
|
|
2603
2603
|
},
|
|
2604
2604
|
"returnParameters": {
|
|
2605
|
-
"id":
|
|
2605
|
+
"id": 67549,
|
|
2606
2606
|
"nodeType": "ParameterList",
|
|
2607
2607
|
"parameters": [
|
|
2608
2608
|
{
|
|
2609
2609
|
"constant": false,
|
|
2610
|
-
"id":
|
|
2610
|
+
"id": 67548,
|
|
2611
2611
|
"mutability": "mutable",
|
|
2612
2612
|
"name": "targetedSelectors_",
|
|
2613
2613
|
"nameLocation": "2848:18:23",
|
|
2614
2614
|
"nodeType": "VariableDeclaration",
|
|
2615
|
-
"scope":
|
|
2615
|
+
"scope": 67555,
|
|
2616
2616
|
"src": "2826:40:23",
|
|
2617
2617
|
"stateVariable": false,
|
|
2618
2618
|
"storageLocation": "memory",
|
|
2619
2619
|
"typeDescriptions": {
|
|
2620
|
-
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$
|
|
2620
|
+
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$67352_memory_ptr_$dyn_memory_ptr",
|
|
2621
2621
|
"typeString": "struct StdInvariant.FuzzSelector[]"
|
|
2622
2622
|
},
|
|
2623
2623
|
"typeName": {
|
|
2624
2624
|
"baseType": {
|
|
2625
|
-
"id":
|
|
2625
|
+
"id": 67546,
|
|
2626
2626
|
"nodeType": "UserDefinedTypeName",
|
|
2627
2627
|
"pathNode": {
|
|
2628
|
-
"id":
|
|
2628
|
+
"id": 67545,
|
|
2629
2629
|
"name": "FuzzSelector",
|
|
2630
2630
|
"nodeType": "IdentifierPath",
|
|
2631
|
-
"referencedDeclaration":
|
|
2631
|
+
"referencedDeclaration": 67352,
|
|
2632
2632
|
"src": "2826:12:23"
|
|
2633
2633
|
},
|
|
2634
|
-
"referencedDeclaration":
|
|
2634
|
+
"referencedDeclaration": 67352,
|
|
2635
2635
|
"src": "2826:12:23",
|
|
2636
2636
|
"typeDescriptions": {
|
|
2637
|
-
"typeIdentifier": "t_struct$_FuzzSelector_$
|
|
2637
|
+
"typeIdentifier": "t_struct$_FuzzSelector_$67352_storage_ptr",
|
|
2638
2638
|
"typeString": "struct StdInvariant.FuzzSelector"
|
|
2639
2639
|
}
|
|
2640
2640
|
},
|
|
2641
|
-
"id":
|
|
2641
|
+
"id": 67547,
|
|
2642
2642
|
"nodeType": "ArrayTypeName",
|
|
2643
2643
|
"src": "2826:14:23",
|
|
2644
2644
|
"typeDescriptions": {
|
|
2645
|
-
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$
|
|
2645
|
+
"typeIdentifier": "t_array$_t_struct$_FuzzSelector_$67352_storage_$dyn_storage_ptr",
|
|
2646
2646
|
"typeString": "struct StdInvariant.FuzzSelector[]"
|
|
2647
2647
|
}
|
|
2648
2648
|
},
|
|
@@ -2651,35 +2651,35 @@
|
|
|
2651
2651
|
],
|
|
2652
2652
|
"src": "2825:42:23"
|
|
2653
2653
|
},
|
|
2654
|
-
"scope":
|
|
2654
|
+
"scope": 67567,
|
|
2655
2655
|
"stateMutability": "view",
|
|
2656
2656
|
"virtual": false,
|
|
2657
2657
|
"visibility": "public"
|
|
2658
2658
|
},
|
|
2659
2659
|
{
|
|
2660
|
-
"id":
|
|
2660
|
+
"id": 67566,
|
|
2661
2661
|
"nodeType": "FunctionDefinition",
|
|
2662
2662
|
"src": "2930:133:23",
|
|
2663
2663
|
"nodes": [],
|
|
2664
2664
|
"body": {
|
|
2665
|
-
"id":
|
|
2665
|
+
"id": 67565,
|
|
2666
2666
|
"nodeType": "Block",
|
|
2667
2667
|
"src": "3011:52:23",
|
|
2668
2668
|
"nodes": [],
|
|
2669
2669
|
"statements": [
|
|
2670
2670
|
{
|
|
2671
2671
|
"expression": {
|
|
2672
|
-
"id":
|
|
2672
|
+
"id": 67563,
|
|
2673
2673
|
"isConstant": false,
|
|
2674
2674
|
"isLValue": false,
|
|
2675
2675
|
"isPure": false,
|
|
2676
2676
|
"lValueRequested": false,
|
|
2677
2677
|
"leftHandSide": {
|
|
2678
|
-
"id":
|
|
2678
|
+
"id": 67561,
|
|
2679
2679
|
"name": "targetedSenders_",
|
|
2680
2680
|
"nodeType": "Identifier",
|
|
2681
2681
|
"overloadedDeclarations": [],
|
|
2682
|
-
"referencedDeclaration":
|
|
2682
|
+
"referencedDeclaration": 67559,
|
|
2683
2683
|
"src": "3021:16:23",
|
|
2684
2684
|
"typeDescriptions": {
|
|
2685
2685
|
"typeIdentifier": "t_array$_t_address_$dyn_memory_ptr",
|
|
@@ -2689,11 +2689,11 @@
|
|
|
2689
2689
|
"nodeType": "Assignment",
|
|
2690
2690
|
"operator": "=",
|
|
2691
2691
|
"rightHandSide": {
|
|
2692
|
-
"id":
|
|
2692
|
+
"id": 67562,
|
|
2693
2693
|
"name": "_targetedSenders",
|
|
2694
2694
|
"nodeType": "Identifier",
|
|
2695
2695
|
"overloadedDeclarations": [],
|
|
2696
|
-
"referencedDeclaration":
|
|
2696
|
+
"referencedDeclaration": 67364,
|
|
2697
2697
|
"src": "3040:16:23",
|
|
2698
2698
|
"typeDescriptions": {
|
|
2699
2699
|
"typeIdentifier": "t_array$_t_address_$dyn_storage",
|
|
@@ -2706,7 +2706,7 @@
|
|
|
2706
2706
|
"typeString": "address[] memory"
|
|
2707
2707
|
}
|
|
2708
2708
|
},
|
|
2709
|
-
"id":
|
|
2709
|
+
"id": 67564,
|
|
2710
2710
|
"nodeType": "ExpressionStatement",
|
|
2711
2711
|
"src": "3021:35:23"
|
|
2712
2712
|
}
|
|
@@ -2719,23 +2719,23 @@
|
|
|
2719
2719
|
"name": "targetSenders",
|
|
2720
2720
|
"nameLocation": "2939:13:23",
|
|
2721
2721
|
"parameters": {
|
|
2722
|
-
"id":
|
|
2722
|
+
"id": 67556,
|
|
2723
2723
|
"nodeType": "ParameterList",
|
|
2724
2724
|
"parameters": [],
|
|
2725
2725
|
"src": "2952:2:23"
|
|
2726
2726
|
},
|
|
2727
2727
|
"returnParameters": {
|
|
2728
|
-
"id":
|
|
2728
|
+
"id": 67560,
|
|
2729
2729
|
"nodeType": "ParameterList",
|
|
2730
2730
|
"parameters": [
|
|
2731
2731
|
{
|
|
2732
2732
|
"constant": false,
|
|
2733
|
-
"id":
|
|
2733
|
+
"id": 67559,
|
|
2734
2734
|
"mutability": "mutable",
|
|
2735
2735
|
"name": "targetedSenders_",
|
|
2736
2736
|
"nameLocation": "2993:16:23",
|
|
2737
2737
|
"nodeType": "VariableDeclaration",
|
|
2738
|
-
"scope":
|
|
2738
|
+
"scope": 67566,
|
|
2739
2739
|
"src": "2976:33:23",
|
|
2740
2740
|
"stateVariable": false,
|
|
2741
2741
|
"storageLocation": "memory",
|
|
@@ -2745,7 +2745,7 @@
|
|
|
2745
2745
|
},
|
|
2746
2746
|
"typeName": {
|
|
2747
2747
|
"baseType": {
|
|
2748
|
-
"id":
|
|
2748
|
+
"id": 67557,
|
|
2749
2749
|
"name": "address",
|
|
2750
2750
|
"nodeType": "ElementaryTypeName",
|
|
2751
2751
|
"src": "2976:7:23",
|
|
@@ -2755,7 +2755,7 @@
|
|
|
2755
2755
|
"typeString": "address"
|
|
2756
2756
|
}
|
|
2757
2757
|
},
|
|
2758
|
-
"id":
|
|
2758
|
+
"id": 67558,
|
|
2759
2759
|
"nodeType": "ArrayTypeName",
|
|
2760
2760
|
"src": "2976:9:23",
|
|
2761
2761
|
"typeDescriptions": {
|
|
@@ -2768,7 +2768,7 @@
|
|
|
2768
2768
|
],
|
|
2769
2769
|
"src": "2975:35:23"
|
|
2770
2770
|
},
|
|
2771
|
-
"scope":
|
|
2771
|
+
"scope": 67567,
|
|
2772
2772
|
"stateMutability": "view",
|
|
2773
2773
|
"virtual": false,
|
|
2774
2774
|
"visibility": "public"
|
|
@@ -2781,11 +2781,11 @@
|
|
|
2781
2781
|
"contractKind": "contract",
|
|
2782
2782
|
"fullyImplemented": true,
|
|
2783
2783
|
"linearizedBaseContracts": [
|
|
2784
|
-
|
|
2784
|
+
67567
|
|
2785
2785
|
],
|
|
2786
2786
|
"name": "StdInvariant",
|
|
2787
2787
|
"nameLocation": "109:12:23",
|
|
2788
|
-
"scope":
|
|
2788
|
+
"scope": 67568,
|
|
2789
2789
|
"usedErrors": []
|
|
2790
2790
|
}
|
|
2791
2791
|
],
|