Function: stake(uint256 amount)

This function stakes a token.

Inputs

• amount

  • Control: Fully controlled by the caller.

  • Constraints: None.

  • Impact: Amount that will be staked.

Branches and code coverage

Intended branches

• Transfer the token from the user.

  Test coverage

• Mint the token.

  Test coverage

Negative behavior

• Contract is not paused.

  Negative test