SlotDerivationTest

Inherits: Test, SymTest

State Variables

_array

bytes[] private _array;

_addressMapping

mapping(address => bytes) private _addressMapping;

_boolMapping

mapping(bool => bytes) private _boolMapping;

_bytes32Mapping

mapping(bytes32 => bytes) private _bytes32Mapping;

_bytes4Mapping

mapping(bytes4 => bytes) private _bytes4Mapping;

_uint256Mapping

mapping(uint256 => bytes) private _uint256Mapping;

_uint32Mapping

mapping(uint32 => bytes) private _uint32Mapping;

_int256Mapping

mapping(int256 => bytes) private _int256Mapping;

_int32Mapping

mapping(int32 => bytes) private _int32Mapping;

_stringMapping

mapping(string => bytes) private _stringMapping;

_bytesMapping

mapping(bytes => bytes) private _bytesMapping;

Functions

symbolicDeriveArray

function symbolicDeriveArray(uint256 length, uint256 offset) public;

testDeriveArray

function testDeriveArray(uint256 length, uint256 offset) public;

_assertDeriveArray

function _assertDeriveArray(uint256 length, uint256 offset) public;

testSymbolicDeriveMappingAddress

function testSymbolicDeriveMappingAddress(address key) public view;

testSymbolicDeriveMappingBoolean

function testSymbolicDeriveMappingBoolean(bool key) public view;

testSymbolicDeriveMappingBytes32

function testSymbolicDeriveMappingBytes32(bytes32 key) public view;

testSymbolicDeriveMappingBytes4

function testSymbolicDeriveMappingBytes4(bytes4 key) public view;

testSymbolicDeriveMappingUint256

function testSymbolicDeriveMappingUint256(uint256 key) public view;

testSymbolicDeriveMappingUint32

function testSymbolicDeriveMappingUint32(uint32 key) public view;

testSymbolicDeriveMappingInt256

function testSymbolicDeriveMappingInt256(int256 key) public view;

testSymbolicDeriveMappingInt32

function testSymbolicDeriveMappingInt32(int32 key) public view;

testDeriveMappingString

function testDeriveMappingString(string memory key) public view;

symbolicDeriveMappingString

function symbolicDeriveMappingString() public view;

_assertDeriveMappingString

function _assertDeriveMappingString(string memory key) internal view;

testDeriveMappingBytes

function testDeriveMappingBytes(bytes memory key) public view;

symbolicDeriveMappingBytes

function symbolicDeriveMappingBytes() public view;

_assertDeriveMappingBytes

function _assertDeriveMappingBytes(bytes memory key) internal view;

testSymbolicDeriveMappingBooleanDirty

function testSymbolicDeriveMappingBooleanDirty(bytes32 dirtyKey) public;

testSymbolicDeriveMappingAddressDirty

function testSymbolicDeriveMappingAddressDirty(bytes32 dirtyKey) public;