Assessment reports>Wasabi Perps>Threat Model>recordLoss

Function: recordLoss(uint256 _amountLost)

This function is called by the pool associated with the vault to record a loss of assets if a liquidation does not yield sufficient funds.

Inputs

  • _amountLost

    • Control: None (only associated vault can call this function).

    • Constraints: None.

    • Impact: Amount of lost assets.

Branches and code coverage

Intended branches

  • Increases the recorded totalAssetValue by the provided _interestAmount.

Negative behavior

  • Reverts if the caller is not the pool associated with the vault.

Zellic © 2024Back to top ↑