ERC4626Prop

Inherits: Test

State Variables

delta

uint256 internal _delta_;

underlying

address internal _underlying_;

vault

address internal _vault_;

_vaultMayBeEmpty

bool internal _vaultMayBeEmpty;

_unlimitedAmount

bool internal _unlimitedAmount;

Functions

prop_asset

function prop_asset(address caller) public;

prop_totalAssets

function prop_totalAssets(address caller) public;

prop_convertToShares

function prop_convertToShares(address caller1, address caller2, uint256 assets) public;

prop_convertToAssets

function prop_convertToAssets(address caller1, address caller2, uint256 shares) public;

prop_maxDeposit

function prop_maxDeposit(address caller, address receiver) public;

prop_previewDeposit

function prop_previewDeposit(address caller, address receiver, address other, uint256 assets) public;

prop_deposit

function prop_deposit(address caller, address receiver, uint256 assets) public;

prop_maxMint

function prop_maxMint(address caller, address receiver) public;

prop_previewMint

function prop_previewMint(address caller, address receiver, address other, uint256 shares) public;

prop_mint

function prop_mint(address caller, address receiver, uint256 shares) public;

prop_maxWithdraw

function prop_maxWithdraw(address caller, address owner) public;

prop_previewWithdraw

function prop_previewWithdraw(address caller, address receiver, address owner, address other, uint256 assets) public;

prop_withdraw

function prop_withdraw(address caller, address receiver, address owner, uint256 assets) public;

prop_maxRedeem

function prop_maxRedeem(address caller, address owner) public;

prop_previewRedeem

function prop_previewRedeem(address caller, address receiver, address owner, address other, uint256 shares) public;

prop_redeem

function prop_redeem(address caller, address receiver, address owner, uint256 shares) public;

prop_RT_deposit_redeem

function prop_RT_deposit_redeem(address caller, uint256 assets) public;

prop_RT_deposit_withdraw

function prop_RT_deposit_withdraw(address caller, uint256 assets) public;

prop_RT_redeem_deposit

function prop_RT_redeem_deposit(address caller, uint256 shares) public;

prop_RT_redeem_mint

function prop_RT_redeem_mint(address caller, uint256 shares) public;

prop_RT_mint_withdraw

function prop_RT_mint_withdraw(address caller, uint256 shares) public;

prop_RT_mint_redeem

function prop_RT_mint_redeem(address caller, uint256 shares) public;

prop_RT_withdraw_mint

function prop_RT_withdraw_mint(address caller, uint256 assets) public;

prop_RT_withdraw_deposit

function prop_RT_withdraw_deposit(address caller, uint256 assets) public;

vault_convertToShares

function vault_convertToShares(uint256 assets) internal returns (uint256);

vault_convertToAssets

function vault_convertToAssets(uint256 shares) internal returns (uint256);

vault_maxDeposit

function vault_maxDeposit(address receiver) internal returns (uint256);

vault_maxMint

function vault_maxMint(address receiver) internal returns (uint256);

vault_maxWithdraw

function vault_maxWithdraw(address owner) internal returns (uint256);

vault_maxRedeem

function vault_maxRedeem(address owner) internal returns (uint256);

vault_previewDeposit

function vault_previewDeposit(uint256 assets) internal returns (uint256);

vault_previewMint

function vault_previewMint(uint256 shares) internal returns (uint256);

vault_previewWithdraw

function vault_previewWithdraw(uint256 assets) internal returns (uint256);

vault_previewRedeem

function vault_previewRedeem(uint256 shares) internal returns (uint256);

vault_deposit

function vault_deposit(uint256 assets, address receiver) internal returns (uint256);

vault_mint

function vault_mint(uint256 shares, address receiver) internal returns (uint256);

vault_withdraw

function vault_withdraw(uint256 assets, address receiver, address owner) internal returns (uint256);

vault_redeem

function vault_redeem(uint256 shares, address receiver, address owner) internal returns (uint256);

_call_vault

function _call_vault(bytes memory data) internal returns (uint256);

assertApproxGeAbs

function assertApproxGeAbs(uint256 a, uint256 b, uint256 maxDelta) internal;

assertApproxLeAbs

function assertApproxLeAbs(uint256 a, uint256 b, uint256 maxDelta) internal;