Function: stake(uint256 amount)

This is the stake amount of token in contract.

Inputs

• amount

  • Control: Fully controlled by the caller.

  • Constraints: Must be greater than zero.

  • Impact: Amount of stake.

Branches and code coverage

Intended branches

• Check if amount is greater than zero.

  Test coverage

• Receive amount of token from the caller.

  Test coverage

• Add balanceOf and totalSupply as much as amount.

  Test coverage

Negative behavior

• Amount is less than zero.

  Negative test