Function: deposit(uint256 _amount)

This function is for depositing the USDC.

Inputs

• _amount

  • Control: Completely controlled by the caller.

  • Constraints: The caller must have enough USDC to transfer.

  • Impact: Amount to deposit.

Branches and code coverage

Intended branches

• Transfer the USDC to this contract.

  Test coverage

• Transfer the USDz to the caller.

  Test coverage

Negative behavior

• Revert when the contract is paused.

  Negative test

• Revert when the given amount is zero.

  Negative test

• Revert when the calculated amount is smaller than the reserve.

  Negative test