Assessment reports>WOOFi Swap>Threat Model>pause

Function: pause()

Allows the owner to pause the contract.

Branches and code coverage

Intended branches

  • Assumes that the contract is not paused in the first place.

  • Pause the contract.

Negative behavior

  • Should not be callable by anyone other than the owner.

Zellic © 2024Back to top ↑