Module SymbolicVm 

Module containing a contract’s types and functions.

interface SymbolicVm {
    function createAddress(string calldata name) external returns (address value);
    function createBool(string calldata name) external returns (bool value);
    function createBytes(string calldata name) external returns (bytes memory value);
    function createBytes(uint256 len, string calldata name) external returns (bytes memory value);
    function createCalldata(string calldata name) external returns (bytes memory value);
    function createInt(uint256 bits, string calldata name) external returns (int256 value);
    function createString(string calldata name) external returns (string memory value);
    function createString(uint256 len, string calldata name) external returns (string memory value);
    function createUint(uint256 bits, string calldata name) external returns (uint256 value);
    function enableSymbolicStorage(address target) external;
    function snapshotStorage(address target) external returns (uint256 id);
    function createUint8(string calldata name) external returns (uint8 value);
    function createUint16(string calldata name) external returns (uint16 value);
    function createUint24(string calldata name) external returns (uint24 value);
    function createUint32(string calldata name) external returns (uint32 value);
    function createUint40(string calldata name) external returns (uint40 value);
    function createUint48(string calldata name) external returns (uint48 value);
    function createUint56(string calldata name) external returns (uint56 value);
    function createUint64(string calldata name) external returns (uint64 value);
    function createUint72(string calldata name) external returns (uint72 value);
    function createUint80(string calldata name) external returns (uint80 value);
    function createUint88(string calldata name) external returns (uint88 value);
    function createUint96(string calldata name) external returns (uint96 value);
    function createUint104(string calldata name) external returns (uint104 value);
    function createUint112(string calldata name) external returns (uint112 value);
    function createUint120(string calldata name) external returns (uint120 value);
    function createUint128(string calldata name) external returns (uint128 value);
    function createUint136(string calldata name) external returns (uint136 value);
    function createUint144(string calldata name) external returns (uint144 value);
    function createUint152(string calldata name) external returns (uint152 value);
    function createUint160(string calldata name) external returns (uint160 value);
    function createUint168(string calldata name) external returns (uint168 value);
    function createUint176(string calldata name) external returns (uint176 value);
    function createUint184(string calldata name) external returns (uint184 value);
    function createUint192(string calldata name) external returns (uint192 value);
    function createUint200(string calldata name) external returns (uint200 value);
    function createUint208(string calldata name) external returns (uint208 value);
    function createUint216(string calldata name) external returns (uint216 value);
    function createUint224(string calldata name) external returns (uint224 value);
    function createUint232(string calldata name) external returns (uint232 value);
    function createUint240(string calldata name) external returns (uint240 value);
    function createUint248(string calldata name) external returns (uint248 value);
    function createUint256(string calldata name) external returns (uint256 value);
    function createInt8(string calldata name) external returns (int8 value);
    function createInt16(string calldata name) external returns (int16 value);
    function createInt24(string calldata name) external returns (int24 value);
    function createInt32(string calldata name) external returns (int32 value);
    function createInt40(string calldata name) external returns (int40 value);
    function createInt48(string calldata name) external returns (int48 value);
    function createInt56(string calldata name) external returns (int56 value);
    function createInt64(string calldata name) external returns (int64 value);
    function createInt72(string calldata name) external returns (int72 value);
    function createInt80(string calldata name) external returns (int80 value);
    function createInt88(string calldata name) external returns (int88 value);
    function createInt96(string calldata name) external returns (int96 value);
    function createInt104(string calldata name) external returns (int104 value);
    function createInt112(string calldata name) external returns (int112 value);
    function createInt120(string calldata name) external returns (int120 value);
    function createInt128(string calldata name) external returns (int128 value);
    function createInt136(string calldata name) external returns (int136 value);
    function createInt144(string calldata name) external returns (int144 value);
    function createInt152(string calldata name) external returns (int152 value);
    function createInt160(string calldata name) external returns (int160 value);
    function createInt168(string calldata name) external returns (int168 value);
    function createInt176(string calldata name) external returns (int176 value);
    function createInt184(string calldata name) external returns (int184 value);
    function createInt192(string calldata name) external returns (int192 value);
    function createInt200(string calldata name) external returns (int200 value);
    function createInt208(string calldata name) external returns (int208 value);
    function createInt216(string calldata name) external returns (int216 value);
    function createInt224(string calldata name) external returns (int224 value);
    function createInt232(string calldata name) external returns (int232 value);
    function createInt240(string calldata name) external returns (int240 value);
    function createInt248(string calldata name) external returns (int248 value);
    function createInt256(string calldata name) external returns (int256 value);
    function createBytes1(string calldata name) external returns (bytes1 value);
    function createBytes2(string calldata name) external returns (bytes2 value);
    function createBytes3(string calldata name) external returns (bytes3 value);
    function createBytes4(string calldata name) external returns (bytes4 value);
    function createBytes5(string calldata name) external returns (bytes5 value);
    function createBytes6(string calldata name) external returns (bytes6 value);
    function createBytes7(string calldata name) external returns (bytes7 value);
    function createBytes8(string calldata name) external returns (bytes8 value);
    function createBytes9(string calldata name) external returns (bytes9 value);
    function createBytes10(string calldata name) external returns (bytes10 value);
    function createBytes11(string calldata name) external returns (bytes11 value);
    function createBytes12(string calldata name) external returns (bytes12 value);
    function createBytes13(string calldata name) external returns (bytes13 value);
    function createBytes14(string calldata name) external returns (bytes14 value);
    function createBytes15(string calldata name) external returns (bytes15 value);
    function createBytes16(string calldata name) external returns (bytes16 value);
    function createBytes17(string calldata name) external returns (bytes17 value);
    function createBytes18(string calldata name) external returns (bytes18 value);
    function createBytes19(string calldata name) external returns (bytes19 value);
    function createBytes20(string calldata name) external returns (bytes20 value);
    function createBytes21(string calldata name) external returns (bytes21 value);
    function createBytes22(string calldata name) external returns (bytes22 value);
    function createBytes23(string calldata name) external returns (bytes23 value);
    function createBytes24(string calldata name) external returns (bytes24 value);
    function createBytes25(string calldata name) external returns (bytes25 value);
    function createBytes26(string calldata name) external returns (bytes26 value);
    function createBytes27(string calldata name) external returns (bytes27 value);
    function createBytes28(string calldata name) external returns (bytes28 value);
    function createBytes29(string calldata name) external returns (bytes29 value);
    function createBytes30(string calldata name) external returns (bytes30 value);
    function createBytes31(string calldata name) external returns (bytes31 value);
    function createBytes32(string calldata name) external returns (bytes32 value);
}

Structs

createAddressCall

Function with signature createAddress(string) and selector 0x3b0fa01b.

createAddressReturn

Container type for the return parameters of the createAddress(string) function.

createBoolCall

Function with signature createBool(string) and selector 0x6e0bb659.

createBoolReturn

Container type for the return parameters of the createBool(string) function.

createBytes1Call

Function with signature createBytes1(string) and selector 0xf92bd7d1.

createBytes1Return

Container type for the return parameters of the createBytes1(string) function.

createBytes2Call

Function with signature createBytes2(string) and selector 0xb1d5a552.

createBytes2Return

Container type for the return parameters of the createBytes2(string) function.

createBytes3Call

Function with signature createBytes3(string) and selector 0x6b6adb18.

createBytes3Return

Container type for the return parameters of the createBytes3(string) function.

createBytes4Call

Function with signature createBytes4(string) and selector 0xde143925.

createBytes4Return

Container type for the return parameters of the createBytes4(string) function.

createBytes5Call

Function with signature createBytes5(string) and selector 0x93d65f2e.

createBytes5Return

Container type for the return parameters of the createBytes5(string) function.

createBytes6Call

Function with signature createBytes6(string) and selector 0xb60110a2.

createBytes6Return

Container type for the return parameters of the createBytes6(string) function.

createBytes7Call

Function with signature createBytes7(string) and selector 0x7ea587e1.

createBytes7Return

Container type for the return parameters of the createBytes7(string) function.

createBytes8Call

Function with signature createBytes8(string) and selector 0xbe70140f.

createBytes8Return

Container type for the return parameters of the createBytes8(string) function.

createBytes9Call

Function with signature createBytes9(string) and selector 0xd47103f3.

createBytes9Return

Container type for the return parameters of the createBytes9(string) function.

createBytes10Call

Function with signature createBytes10(string) and selector 0x0e8613d9.

createBytes10Return

Container type for the return parameters of the createBytes10(string) function.

createBytes11Call

Function with signature createBytes11(string) and selector 0x41dfdc16.

createBytes11Return

Container type for the return parameters of the createBytes11(string) function.

createBytes12Call

Function with signature createBytes12(string) and selector 0x613b71dc.

createBytes12Return

Container type for the return parameters of the createBytes12(string) function.

createBytes13Call

Function with signature createBytes13(string) and selector 0x00da123b.

createBytes13Return

Container type for the return parameters of the createBytes13(string) function.

createBytes14Call

Function with signature createBytes14(string) and selector 0x18c8ed3f.

createBytes14Return

Container type for the return parameters of the createBytes14(string) function.

createBytes15Call

Function with signature createBytes15(string) and selector 0xa4446c65.

createBytes15Return

Container type for the return parameters of the createBytes15(string) function.

createBytes16Call

Function with signature createBytes16(string) and selector 0x7e8982b1.

createBytes16Return

Container type for the return parameters of the createBytes16(string) function.

createBytes17Call

Function with signature createBytes17(string) and selector 0xdffcd100.

createBytes17Return

Container type for the return parameters of the createBytes17(string) function.

createBytes18Call

Function with signature createBytes18(string) and selector 0x2483c6e9.

createBytes18Return

Container type for the return parameters of the createBytes18(string) function.

createBytes19Call

Function with signature createBytes19(string) and selector 0x0cc09066.

createBytes19Return

Container type for the return parameters of the createBytes19(string) function.

createBytes20Call

Function with signature createBytes20(string) and selector 0xec613a6f.

createBytes20Return

Container type for the return parameters of the createBytes20(string) function.

createBytes21Call

Function with signature createBytes21(string) and selector 0x8cd4aa14.

createBytes21Return

Container type for the return parameters of the createBytes21(string) function.

createBytes22Call

Function with signature createBytes22(string) and selector 0x17ddc482.

createBytes22Return

Container type for the return parameters of the createBytes22(string) function.

createBytes23Call

Function with signature createBytes23(string) and selector 0x30ee27dd.

createBytes23Return

Container type for the return parameters of the createBytes23(string) function.

createBytes24Call

Function with signature createBytes24(string) and selector 0xd99623a5.

createBytes24Return

Container type for the return parameters of the createBytes24(string) function.

createBytes25Call

Function with signature createBytes25(string) and selector 0xfa60080a.

createBytes25Return

Container type for the return parameters of the createBytes25(string) function.

createBytes26Call

Function with signature createBytes26(string) and selector 0xa195ca07.

createBytes26Return

Container type for the return parameters of the createBytes26(string) function.

createBytes27Call

Function with signature createBytes27(string) and selector 0xe4628c2d.

createBytes27Return

Container type for the return parameters of the createBytes27(string) function.

createBytes28Call

Function with signature createBytes28(string) and selector 0x800bbf15.

createBytes28Return

Container type for the return parameters of the createBytes28(string) function.

createBytes29Call

Function with signature createBytes29(string) and selector 0x274645be.

createBytes29Return

Container type for the return parameters of the createBytes29(string) function.

createBytes30Call

Function with signature createBytes30(string) and selector 0xd715142e.

createBytes30Return

Container type for the return parameters of the createBytes30(string) function.

createBytes31Call

Function with signature createBytes31(string) and selector 0x507a70c5.

createBytes31Return

Container type for the return parameters of the createBytes31(string) function.

createBytes32Call

Function with signature createBytes32(string) and selector 0xbf72fa66.

createBytes32Return

Container type for the return parameters of the createBytes32(string) function.

createBytes_0Call

Function with signature createBytes(string) and selector 0x96c79577.

createBytes_0Return

Container type for the return parameters of the createBytes(string) function.

createBytes_1Call

Function with signature createBytes(uint256,string) and selector 0xeef5311d.

createBytes_1Return

Container type for the return parameters of the createBytes(uint256,string) function.

createCalldataCall

Function with signature createCalldata(string) and selector 0xbe92d5a2.

createCalldataReturn

Container type for the return parameters of the createCalldata(string) function.

createInt8Call

Function with signature createInt8(string) and selector 0x3e24206e.

createInt8Return

Container type for the return parameters of the createInt8(string) function.

createInt16Call

Function with signature createInt16(string) and selector 0xfc68d7cb.

createInt16Return

Container type for the return parameters of the createInt16(string) function.

createInt24Call

Function with signature createInt24(string) and selector 0x6f3f5cfc.

createInt24Return

Container type for the return parameters of the createInt24(string) function.

createInt32Call

Function with signature createInt32(string) and selector 0x598d46b9.

createInt32Return

Container type for the return parameters of the createInt32(string) function.

createInt40Call

Function with signature createInt40(string) and selector 0x7c2855db.

createInt40Return

Container type for the return parameters of the createInt40(string) function.

createInt48Call

Function with signature createInt48(string) and selector 0xffedca90.

createInt48Return

Container type for the return parameters of the createInt48(string) function.

createInt56Call

Function with signature createInt56(string) and selector 0x523017ea.

createInt56Return

Container type for the return parameters of the createInt56(string) function.

createInt64Call

Function with signature createInt64(string) and selector 0x0d223b0f.

createInt64Return

Container type for the return parameters of the createInt64(string) function.

createInt72Call

Function with signature createInt72(string) and selector 0x6ce7a53e.

createInt72Return

Container type for the return parameters of the createInt72(string) function.

createInt80Call

Function with signature createInt80(string) and selector 0xeddefc0a.

createInt80Return

Container type for the return parameters of the createInt80(string) function.

createInt88Call

Function with signature createInt88(string) and selector 0x02587063.

createInt88Return

Container type for the return parameters of the createInt88(string) function.

createInt96Call

Function with signature createInt96(string) and selector 0x4a7eb521.

createInt96Return

Container type for the return parameters of the createInt96(string) function.

createInt104Call

Function with signature createInt104(string) and selector 0x7aac8995.

createInt104Return

Container type for the return parameters of the createInt104(string) function.

createInt112Call

Function with signature createInt112(string) and selector 0xb9103de7.

createInt112Return

Container type for the return parameters of the createInt112(string) function.

createInt120Call

Function with signature createInt120(string) and selector 0x0c75bd93.

createInt120Return

Container type for the return parameters of the createInt120(string) function.

createInt128Call

Function with signature createInt128(string) and selector 0xb139bc4c.

createInt128Return

Container type for the return parameters of the createInt128(string) function.

createInt136Call

Function with signature createInt136(string) and selector 0xf7c7ad27.

createInt136Return

Container type for the return parameters of the createInt136(string) function.

createInt144Call

Function with signature createInt144(string) and selector 0x3c86b8f2.

createInt144Return

Container type for the return parameters of the createInt144(string) function.

createInt152Call

Function with signature createInt152(string) and selector 0xc1cd3434.

createInt152Return

Container type for the return parameters of the createInt152(string) function.

createInt160Call

Function with signature createInt160(string) and selector 0xf7c2e1a8.

createInt160Return

Container type for the return parameters of the createInt160(string) function.

createInt168Call

Function with signature createInt168(string) and selector 0x8dd35e07.

createInt168Return

Container type for the return parameters of the createInt168(string) function.

createInt176Call

Function with signature createInt176(string) and selector 0x6946c914.

createInt176Return

Container type for the return parameters of the createInt176(string) function.

createInt184Call

Function with signature createInt184(string) and selector 0xba35bbaa.

createInt184Return

Container type for the return parameters of the createInt184(string) function.

createInt192Call

Function with signature createInt192(string) and selector 0xb68d6edd.

createInt192Return

Container type for the return parameters of the createInt192(string) function.

createInt200Call

Function with signature createInt200(string) and selector 0x05e86ac3.

createInt200Return

Container type for the return parameters of the createInt200(string) function.

createInt208Call

Function with signature createInt208(string) and selector 0xa2e0194d.

createInt208Return

Container type for the return parameters of the createInt208(string) function.

createInt216Call

Function with signature createInt216(string) and selector 0xc8201323.

createInt216Return

Container type for the return parameters of the createInt216(string) function.

createInt224Call

Function with signature createInt224(string) and selector 0x54f95636.

createInt224Return

Container type for the return parameters of the createInt224(string) function.

createInt232Call

Function with signature createInt232(string) and selector 0x3a505782.

createInt232Return

Container type for the return parameters of the createInt232(string) function.

createInt240Call

Function with signature createInt240(string) and selector 0x2b16d44f.

createInt240Return

Container type for the return parameters of the createInt240(string) function.

createInt248Call

Function with signature createInt248(string) and selector 0x3dd6aa68.

createInt248Return

Container type for the return parameters of the createInt248(string) function.

createInt256Call

Function with signature createInt256(string) and selector 0xc2ce6aed.

createInt256Return

Container type for the return parameters of the createInt256(string) function.

createIntCall

Function with signature createInt(uint256,string) and selector 0x49b9c7d4.

createIntReturn

Container type for the return parameters of the createInt(uint256,string) function.

createString_0Call

Function with signature createString(string) and selector 0xd9852f4b.

createString_0Return

Container type for the return parameters of the createString(string) function.

createString_1Call

Function with signature createString(uint256,string) and selector 0xce68656c.

createString_1Return

Container type for the return parameters of the createString(uint256,string) function.

createUint8Call

Function with signature createUint8(string) and selector 0xc3c6ef75.

createUint8Return

Container type for the return parameters of the createUint8(string) function.

createUint16Call

Function with signature createUint16(string) and selector 0x38a45b05.

createUint16Return

Container type for the return parameters of the createUint16(string) function.

createUint24Call

Function with signature createUint24(string) and selector 0xce6237d4.

createUint24Return

Container type for the return parameters of the createUint24(string) function.

createUint32Call

Function with signature createUint32(string) and selector 0x30ea6c7b.

createUint32Return

Container type for the return parameters of the createUint32(string) function.

createUint40Call

Function with signature createUint40(string) and selector 0x487ba3c6.

createUint40Return

Container type for the return parameters of the createUint40(string) function.

createUint48Call

Function with signature createUint48(string) and selector 0x17fdb14f.

createUint48Return

Container type for the return parameters of the createUint48(string) function.

createUint56Call

Function with signature createUint56(string) and selector 0xae71749a.

createUint56Return

Container type for the return parameters of the createUint56(string) function.

createUint64Call

Function with signature createUint64(string) and selector 0x4f3d7165.

createUint64Return

Container type for the return parameters of the createUint64(string) function.

createUint72Call

Function with signature createUint72(string) and selector 0xa528a6a5.

createUint72Return

Container type for the return parameters of the createUint72(string) function.

createUint80Call

Function with signature createUint80(string) and selector 0x1d29cb32.

createUint80Return

Container type for the return parameters of the createUint80(string) function.

createUint88Call

Function with signature createUint88(string) and selector 0xef2373bc.

createUint88Return

Container type for the return parameters of the createUint88(string) function.

createUint96Call

Function with signature createUint96(string) and selector 0x18ec5061.

createUint96Return

Container type for the return parameters of the createUint96(string) function.

createUint104Call

Function with signature createUint104(string) and selector 0xc5fa0b0d.

createUint104Return

Container type for the return parameters of the createUint104(string) function.

createUint112Call

Function with signature createUint112(string) and selector 0x91d3045d.

createUint112Return

Container type for the return parameters of the createUint112(string) function.

createUint120Call

Function with signature createUint120(string) and selector 0xf43bea72.

createUint120Return

Container type for the return parameters of the createUint120(string) function.

createUint128Call

Function with signature createUint128(string) and selector 0x6541373d.

createUint128Return

Container type for the return parameters of the createUint128(string) function.

createUint136Call

Function with signature createUint136(string) and selector 0x947cad19.

createUint136Return

Container type for the return parameters of the createUint136(string) function.

createUint144Call

Function with signature createUint144(string) and selector 0x3509839f.

createUint144Return

Container type for the return parameters of the createUint144(string) function.

createUint152Call

Function with signature createUint152(string) and selector 0xf1574326.

createUint152Return

Container type for the return parameters of the createUint152(string) function.

createUint160Call

Function with signature createUint160(string) and selector 0x6190830a.

createUint160Return

Container type for the return parameters of the createUint160(string) function.

createUint168Call

Function with signature createUint168(string) and selector 0x3e49d9ca.

createUint168Return

Container type for the return parameters of the createUint168(string) function.

createUint176Call

Function with signature createUint176(string) and selector 0xe3755932.

createUint176Return

Container type for the return parameters of the createUint176(string) function.

createUint184Call

Function with signature createUint184(string) and selector 0x700e3b60.

createUint184Return

Container type for the return parameters of the createUint184(string) function.

createUint192Call

Function with signature createUint192(string) and selector 0x94bc6598.

createUint192Return

Container type for the return parameters of the createUint192(string) function.

createUint200Call

Function with signature createUint200(string) and selector 0x56144af3.

createUint200Return

Container type for the return parameters of the createUint200(string) function.

createUint208Call

Function with signature createUint208(string) and selector 0x45914a99.

createUint208Return

Container type for the return parameters of the createUint208(string) function.

createUint216Call

Function with signature createUint216(string) and selector 0x9f51ade1.

createUint216Return

Container type for the return parameters of the createUint216(string) function.

createUint224Call

Function with signature createUint224(string) and selector 0x83d1aa6f.

createUint224Return

Container type for the return parameters of the createUint224(string) function.

createUint232Call

Function with signature createUint232(string) and selector 0x3d13a16c.

createUint232Return

Container type for the return parameters of the createUint232(string) function.

createUint240Call

Function with signature createUint240(string) and selector 0x1d079758.

createUint240Return

Container type for the return parameters of the createUint240(string) function.

createUint248Call

Function with signature createUint248(string) and selector 0x709ea1dd.

createUint248Return

Container type for the return parameters of the createUint248(string) function.

createUint256Call

Function with signature createUint256(string) and selector 0xbc7beefc.

createUint256Return

Container type for the return parameters of the createUint256(string) function.

createUintCall

Function with signature createUint(uint256,string) and selector 0x66830dfa.

createUintReturn

Container type for the return parameters of the createUint(uint256,string) function.

enableSymbolicStorageCall

Function with signature enableSymbolicStorage(address) and selector 0xdc00ba4d.

enableSymbolicStorageReturn

Container type for the return parameters of the enableSymbolicStorage(address) function.

snapshotStorageCall

Function with signature snapshotStorage(address) and selector 0x5dbb8438.

snapshotStorageReturn

Container type for the return parameters of the snapshotStorage(address) function.

Enums

SymbolicVmCalls

Container for all the SymbolicVm function calls.