Function: balance(IERC20 asset, address user)

This function is used to return the asset amount corresponding to the vault token balance of the user.

Inputs

• asset

  • Control: Arbitrary.

  • Constraints: Only registered assets' address.

  • Impact: Address of the asset.

• user

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Address of the user.

Branches and code coverage

Intended branches

• Return the asset amount corresponding to the vault token balance of the user.

  Test coverage

Negative behavior

• Revert if asset is not registered.

  Negative test