Function: claimFixedPremium()

This function is to change claim token to bearer token and transfer to the user premium from variable deposits.

Branches and code coverage

Intended branches

• Send sendAmount to msg.sender.

  Test coverage

Negative behavior

• Reverts if the isStarted() is not set.

  Negative test

• Reverts if the claimBal is smaller than one.

  Negative test

• Reverts if the claimBal is false.

  Negative test

Function call analysis

• Math.mulDiv(this.fixedETHDepositToken[msg.sender], this.variableSideCapacity, this.fixedSideCapacity)

  • What is controllable? None.

  • If the return value is controllable, how is it used and how can it go wrong? None.

  • What happens if it reverts, reenters or does other unusual control flow? N/A.