Function: _update(address from, address to, uint256 amount)

This function is used to update user assets after a transfer. It is used in distributing the shares to the users based on the current period.

Inputs

• from

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Address that tokens are transferred from.

• to

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Address that tokens are transferred to.

• amount

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Amount of tokens transferred.

Branches and code coverage

Intended branches

• Update the indexed user assets for the sender and receiver.

  Test coverage