foundry_cheatcodes_spec/
symbolic.rs

1use alloy_sol_types::sol;
2
3sol! {
4    interface SymbolicVm {
5        function createAddress(string calldata name) external returns (address value);
6        function createBool(string calldata name) external returns (bool value);
7        function createBytes(string calldata name) external returns (bytes memory value);
8        function createBytes(uint256 len, string calldata name) external returns (bytes memory value);
9        function createCalldata(string calldata name) external returns (bytes memory value);
10        function createInt(uint256 bits, string calldata name) external returns (int256 value);
11        function createString(string calldata name) external returns (string memory value);
12        function createString(uint256 len, string calldata name) external returns (string memory value);
13        function createUint(uint256 bits, string calldata name) external returns (uint256 value);
14        function enableSymbolicStorage(address target) external;
15        function snapshotStorage(address target) external returns (uint256 id);
16
17        function createUint8(string calldata name) external returns (uint8 value);
18        function createUint16(string calldata name) external returns (uint16 value);
19        function createUint24(string calldata name) external returns (uint24 value);
20        function createUint32(string calldata name) external returns (uint32 value);
21        function createUint40(string calldata name) external returns (uint40 value);
22        function createUint48(string calldata name) external returns (uint48 value);
23        function createUint56(string calldata name) external returns (uint56 value);
24        function createUint64(string calldata name) external returns (uint64 value);
25        function createUint72(string calldata name) external returns (uint72 value);
26        function createUint80(string calldata name) external returns (uint80 value);
27        function createUint88(string calldata name) external returns (uint88 value);
28        function createUint96(string calldata name) external returns (uint96 value);
29        function createUint104(string calldata name) external returns (uint104 value);
30        function createUint112(string calldata name) external returns (uint112 value);
31        function createUint120(string calldata name) external returns (uint120 value);
32        function createUint128(string calldata name) external returns (uint128 value);
33        function createUint136(string calldata name) external returns (uint136 value);
34        function createUint144(string calldata name) external returns (uint144 value);
35        function createUint152(string calldata name) external returns (uint152 value);
36        function createUint160(string calldata name) external returns (uint160 value);
37        function createUint168(string calldata name) external returns (uint168 value);
38        function createUint176(string calldata name) external returns (uint176 value);
39        function createUint184(string calldata name) external returns (uint184 value);
40        function createUint192(string calldata name) external returns (uint192 value);
41        function createUint200(string calldata name) external returns (uint200 value);
42        function createUint208(string calldata name) external returns (uint208 value);
43        function createUint216(string calldata name) external returns (uint216 value);
44        function createUint224(string calldata name) external returns (uint224 value);
45        function createUint232(string calldata name) external returns (uint232 value);
46        function createUint240(string calldata name) external returns (uint240 value);
47        function createUint248(string calldata name) external returns (uint248 value);
48        function createUint256(string calldata name) external returns (uint256 value);
49
50        function createInt8(string calldata name) external returns (int8 value);
51        function createInt16(string calldata name) external returns (int16 value);
52        function createInt24(string calldata name) external returns (int24 value);
53        function createInt32(string calldata name) external returns (int32 value);
54        function createInt40(string calldata name) external returns (int40 value);
55        function createInt48(string calldata name) external returns (int48 value);
56        function createInt56(string calldata name) external returns (int56 value);
57        function createInt64(string calldata name) external returns (int64 value);
58        function createInt72(string calldata name) external returns (int72 value);
59        function createInt80(string calldata name) external returns (int80 value);
60        function createInt88(string calldata name) external returns (int88 value);
61        function createInt96(string calldata name) external returns (int96 value);
62        function createInt104(string calldata name) external returns (int104 value);
63        function createInt112(string calldata name) external returns (int112 value);
64        function createInt120(string calldata name) external returns (int120 value);
65        function createInt128(string calldata name) external returns (int128 value);
66        function createInt136(string calldata name) external returns (int136 value);
67        function createInt144(string calldata name) external returns (int144 value);
68        function createInt152(string calldata name) external returns (int152 value);
69        function createInt160(string calldata name) external returns (int160 value);
70        function createInt168(string calldata name) external returns (int168 value);
71        function createInt176(string calldata name) external returns (int176 value);
72        function createInt184(string calldata name) external returns (int184 value);
73        function createInt192(string calldata name) external returns (int192 value);
74        function createInt200(string calldata name) external returns (int200 value);
75        function createInt208(string calldata name) external returns (int208 value);
76        function createInt216(string calldata name) external returns (int216 value);
77        function createInt224(string calldata name) external returns (int224 value);
78        function createInt232(string calldata name) external returns (int232 value);
79        function createInt240(string calldata name) external returns (int240 value);
80        function createInt248(string calldata name) external returns (int248 value);
81        function createInt256(string calldata name) external returns (int256 value);
82
83        function createBytes1(string calldata name) external returns (bytes1 value);
84        function createBytes2(string calldata name) external returns (bytes2 value);
85        function createBytes3(string calldata name) external returns (bytes3 value);
86        function createBytes4(string calldata name) external returns (bytes4 value);
87        function createBytes5(string calldata name) external returns (bytes5 value);
88        function createBytes6(string calldata name) external returns (bytes6 value);
89        function createBytes7(string calldata name) external returns (bytes7 value);
90        function createBytes8(string calldata name) external returns (bytes8 value);
91        function createBytes9(string calldata name) external returns (bytes9 value);
92        function createBytes10(string calldata name) external returns (bytes10 value);
93        function createBytes11(string calldata name) external returns (bytes11 value);
94        function createBytes12(string calldata name) external returns (bytes12 value);
95        function createBytes13(string calldata name) external returns (bytes13 value);
96        function createBytes14(string calldata name) external returns (bytes14 value);
97        function createBytes15(string calldata name) external returns (bytes15 value);
98        function createBytes16(string calldata name) external returns (bytes16 value);
99        function createBytes17(string calldata name) external returns (bytes17 value);
100        function createBytes18(string calldata name) external returns (bytes18 value);
101        function createBytes19(string calldata name) external returns (bytes19 value);
102        function createBytes20(string calldata name) external returns (bytes20 value);
103        function createBytes21(string calldata name) external returns (bytes21 value);
104        function createBytes22(string calldata name) external returns (bytes22 value);
105        function createBytes23(string calldata name) external returns (bytes23 value);
106        function createBytes24(string calldata name) external returns (bytes24 value);
107        function createBytes25(string calldata name) external returns (bytes25 value);
108        function createBytes26(string calldata name) external returns (bytes26 value);
109        function createBytes27(string calldata name) external returns (bytes27 value);
110        function createBytes28(string calldata name) external returns (bytes28 value);
111        function createBytes29(string calldata name) external returns (bytes29 value);
112        function createBytes30(string calldata name) external returns (bytes30 value);
113        function createBytes31(string calldata name) external returns (bytes31 value);
114        function createBytes32(string calldata name) external returns (bytes32 value);
115    }
116}
foundry_cheatcodes_spec/symbolic.rs

foundry_cheatcodes_spec/
symbolic.rs
