Function: stakeWithPool(address _poolAddress, uint256 _stakeAmount)

Stake into certain bonded pool.

Inputs

• _poolAddress

  • Control: Full.

  • Constraints: Must be in the bondedPools list.

  • Impact: The pool to stake into.

• _stakeAmount

  • Control: Full.

  • Constraints: >= minStakeAmount.

  • Impact: The amount to stake.

Branches and code coverage (including function calls)

Intended branches

• Staked amount increases.

  Test coverage

Negative behavior

• Cannot stake into nonexistent pool (not in bondedPools).

  Negative test

• Cannot stake < minStakeAmount.

  Negative test