Assessment reports>Palmy Finance>Threat Model>voteUntil

Function: voteUntil(uint256[] _weights, uint256 _voteEndTimestamp)

Votes the locked weight of the locker ID according to the user vote weights until _VoteEndTimestamp.

Inputs

  • _weights

    • Control: Completely controlled by the caller.

    • Constraints: tokens.length == _weights.length.

    • Impact: The vote weights.

  • _voteEndTimestamp

    • Control: Completely controlled by the caller.

    • Constraints: N/A.

    • Impact: The vote weights of locker ID.

Branches and code coverage (including function calls)

Intended branches

  • Vote is successful with valid weights.

Negative behavior

  • Reverts if tokens.length != _weights.length.

  • Reverts if _voteEndTimestamp exceeds block.timestamp + maxVoteDuration.

Zellic © 2025Back to top ↑