Function: frozenBalance(byte[32] _tokenHash, uint256 _chainId, uint128 _deltaBalance)

The function is triggered only from the executeWithdrawAction function of Ledger contrast.

Inputs

• _tokenHash

  • Control: Full control by operator.

  • Constraints: There is a check that the token is allowed in the executeWithdrawAction function.

  • Impact: The token hash that will be withdrawn.

• _chainId

  • Control: Full control by operator.

  • Constraints: There is a check that the vault balance in _chainId is enough in the executeWithdrawAction function.

  • Impact: The destination chain ID, where the withdraw will be performed and tokens will be transferred to the receiver.

• _deltaBalance

  • Control: Full control by operator.

  • Constraints: There is a check that the vault balance is enough in the executeWithdrawAction function.

  • Impact: The amount of tokens for withdraw — the balance of the vault will be decreased by this value.

Branches and code coverage

Intended branches

• tokenBalanceOnchain is decreased by _deltaBalance.

  Test coverage

• Include function calls.

  Test coverage

• End sentences with periods.

  Test coverage

Negative behavior

• tokenBalanceOnchain is less than _deltaBalance.

  Negative test