Function: kickModeler(address modeler)

This allows a validator to kick a modeler.

Inputs

• modeler

  • Control: Fully controlled by the caller.

  • Constraints: Checked that the modeler is registered.

  • Impact: The modeler to be kicked.

Branches and code coverage

Intended branches

• Assure that the modeler is registered. Currently not performed.

  Test coverage

• Currently assume that the modeler's stake is transferred back to them. Currently not performed.

  Test coverage

• Assure that the modeler has not already opted out. Currently not performed.

  Test coverage

• Assure that the rest of the Modeler's data is reset. Currently not performed.

  Test coverage

Negative behavior

• Should not be callable by anyone other than a validator.

  Negative test

• Should not allow calling this while the contract is paused.

  Negative test