Function: repurchaseTokens(uint256 _amount)

This function is used to repurchase the tokens from the grantee by authority.

Inputs

• _amount

  • Control: Arbitrary.

  • Constraints: Nonzero and less than repurchasable tokens.

  • Impact: Amount of tokens to repurchase.

Branches and code coverage

Intended branches

• Calculate the repurchase amount using the provided _amount.

  Test coverage

• Transfer the payment token repurchase amount from the authority to the contract.

  Test coverage

• Transfer allocated tokens from the contract to the authority.

  Test coverage

• Update tokensRepurchased.

  Test coverage

Negative behavior

• Revert if the caller is not the authority.

  Negative test

• Revert if this function is reentered.

  Negative test

• Revert if this allocation is not terminated.

  Negative test

• Revert if the amount is zero.

  Negative test

• Revert if the amount is more than the repurchasable tokens.

  Negative test