Function: returnFromPool(address _poolAddress, address _receiver, uint256 _amount)

This is the function to return tokens from a pool to a receiver.

Inputs

• _poolAddress

  • Control: Fully controlled.

  • Constraints: No constraints.

  • Impact: The pool from which tokens should be returned.

• _receiver

  • Control: Fully controlled.

  • Constraints: No constraints.

  • Impact: The account to which tokens should be returned.

• _amount

  • Control: Fully controlled.

  • Constraints: No constraints.

  • Impact: The amount of tokens to be returned.

Branches and code coverage (including function calls)

Intended branches

• Function should be called only from the stability pool or a valid trove manager.

  Test coverage

Negative behavior

• Revert if caller is neither the stability pool nor a valid trove manager.

  Test coverage