Function: addPool(uint64 chainId, address pool, uint64 maxWeight, uint64 minWeight)

This function is used to add a pool to allow users to vote.

Inputs

  • chainId

    • Control: Arbitrary.

    • Constraints: None.

    • Impact: Chain ID.

  • pool

    • Control: Arbitrary.

    • Constraints: None.

    • Impact: Address of the pool.

  • maxWeight

    • Control: Arbitrary.

    • Constraints: None.

    • Impact: Value of the maximum weight.

  • minWeight

    • Control: Arbitrary.

    • Constraints: None.

    • Impact: Value of the minimum weight.

Branches and code coverage

Intended branches

  • Add the pool.

  • Update the pool's weight configuration.

Negative behavior

  • Revert if the caller is not the owner or owner helper.

  • Revert if the pool is already active.

  • Revert if the pool is already added and removed.

Zellic © 2025Back to top ↑