Function: setNextRandSlot(address _modeler, uint256 _futureRandSlot)

This allows the validator to set a future rand slot for a modeler.

Inputs

• _modeler

  • Control: Fully controlled by the caller.

  • Constraints: None.

  • Impact: The modeler for which the rand slot is set.

• _futureRandSlot

  • Control: Fully controlled by the caller.

  • Constraints: None.

  • Impact: The future rand slot for the modeler.

Branches and code coverage

Intended branches

• Assure that the futureRandSlots mapping is unique for the validator and modeler. Currently not performed.

  Test coverage

• Assure that the modeler does not already have a futureRandSlot set. Currently not performed.

  Test coverage

• Should set the futureRandSlots mapping for the validator and modeler to the _futureRandSlot.

  Test coverage

Negative behavior

• Should not be callable by anyone other than the validator. Currently not performed.

  Negative test