Function: lock(address token, string receipt, uint256 amount)

This function locks the tokens for bridging the tokens.

Inputs

• token

  • Control: Fully controlled by the caller.

  • Constraints: Must be whitelisted.

  • Impact: Address of the token to lock.

• receipt

  • Control: Fully controlled by the caller.

  • Constraints: None.

  • Impact: String to be used for the Lock event.

• amount

  • Control: Fully controlled by the caller.

  • Constraints: Must be less than or equal to maxAmount and greater than or equal to minAmount.

  • Impact: Amount to lock.

Branches and code coverage

Intended branches

• Transfer the token to this bridge.

  Test coverage

Negative behavior

• Revert if the token is not whitelisted.

  Negative test