Function: completeErc20Deposit(DepositRequest req, byte[] signature)

This completes ERC-20 deposit given a valid signature.

Inputs

• req

  • Control: Arbitrarily set by caller.

  • Constraints: Digest must be in outstanding deposit requests. Must pass checks done in Teller.depositFunds (see section ref↗).

  • Impact: Calls Teller.depositFunds with data.

• signature

  • Control: Arbitrarily set by caller.

  • Constraints: Must be a valid signature made by screener of digest of req.

  • Impact: None.

Branches and code coverage

Intended branches

• Calls Teller.depositFunds.

  Test coverage

• Actual gas compensation made.

  Test coverage

• Remaining gas compensation made.

  Test coverage

Negative behavior

• Deposit limits exceeded.

  Negative test

• Signature of req digest is not a screener.

  Negative test

• Deposit digest is not outstanding deposit.

  Negative test

• The depositFunds reverts.

  Negative test