SVM

Symbolic Virtual Machine

Functions

createUint

function createUint(uint256 bitSize, string memory name) external pure returns (uint256 value);

createUint256

function createUint256(string memory name) external pure returns (uint256 value);

createInt

function createInt(uint256 bitSize, string memory name) external pure returns (int256 value);

createInt256

function createInt256(string memory name) external pure returns (int256 value);

createBytes

function createBytes(uint256 byteSize, string memory name) external pure returns (bytes memory value);

createString

function createString(uint256 byteSize, string memory name) external pure returns (string memory value);

createBytes32

function createBytes32(string memory name) external pure returns (bytes32 value);

createBytes4

function createBytes4(string memory name) external pure returns (bytes4 value);

createAddress

function createAddress(string memory name) external pure returns (address value);

createBool

function createBool(string memory name) external pure returns (bool value);

createCalldata

function createCalldata(string memory contractOrInterfaceName) external pure returns (bytes memory data);

createCalldata

function createCalldata(string memory contractOrInterfaceName, bool includeViewAndPureFunctions)
    external
    pure
    returns (bytes memory data);

createCalldata

function createCalldata(string memory filename, string memory contractOrInterfaceName)
    external
    pure
    returns (bytes memory data);

createCalldata

function createCalldata(string memory filename, string memory contractOrInterfaceName, bool includeViewAndPureFunctions)
    external
    pure
    returns (bytes memory data);

enableSymbolicStorage

function enableSymbolicStorage(address) external;

snapshotStorage

function snapshotStorage(address) external returns (uint256 id);