Function: addStakeToModeler(uint256 amount)

This allows the addition of stake to a modeler.

Inputs

• amount

  • Control: Fully controlled by the caller.

  • Constraints: None.

  • Impact: The amount that the modeler is staking.

Branches and code coverage

Intended branches

• Assure that the modeler is registered.

  Test coverage

• Perform the transfer of the amount from the caller to the contract.

  Test coverage

• Increase the currentStake of the modeler by the amount.

  Test coverage

Negative behavior

• Should not be callable when the contract is paused.

  Negative test