Function: updateMetavestTransferability(address _grant, bool _isTransferable)

This function is used to update the transferability of the allocation.

Inputs

• _grant

  • Control: Arbitrary.

  • Constraints: Should be a valid allocation address.

  • Impact: Address of the allocation.

• _isTransferable

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Boolean value to set the transferability of the allocation.

Branches and code coverage

Intended branches

• Delete the amendment from the functionToGranteeToAmendmentPending mapping.

  Test coverage

• Update the transferability of the allocation.

  Test coverage

Negative behavior

• Revert if the caller is not the authority.

  Negative test

• Revert if the condition check fails.

  Negative test

• Revert if the consent check fails.

  Negative test

Function call analysis

• BaseAllocation(_grant).updateTransferability(_isTransferable)

  • What is controllable? _grant and _isTransferable.

  • If the return value is controllable, how is it used and how can it go wrong? N/A.

  • What happens if it reverts, reenters or does other unusual control flow? N/A.