Function: removeMetavestMilestone(address _grant, uint256 _milestoneIndex)

This function is used to remove a milestone of the allocation.

Inputs

• _grant

  • Control: Arbitrary.

  • Constraints: Should be a valid allocation address.

  • Impact: Address of the allocation.

• _milestoneIndex

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Index of the milestone.

Branches and code coverage

Intended branches

• Delete the amendment from the functionToGranteeToAmendmentPending mapping.

  Test coverage

• Remove the milestone from the milestones array 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).removeMilestone(_milestoneIndex)

  • What is controllable? _grant and _milestoneIndex.

  • 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.