safe-global / safe-smart-account / 12691880443

94%

push

github

[Certora Audit] G-02. `OwnerManager.changeThreshold()` event update (#889)

This pull request includes a change which allows 1 SLOAD to be saved by
emitting an existing memory variable instead of reading from storage.

*
[`contracts/base/OwnerManager.sol`](diffhunk://#diff-795fb06769401bfbcb82d6bc9fdebab82L113-R113):
Modified the `emit` statement in the `setThreshold` function to use the
`_threshold` parameter instead of `threshold`, ensuring the value from
memory is emitted.

324 of 366 branches covered (88.52%)

Branch coverage included in aggregate %.

1 of 1 new or added line in 1 file covered. (100.0%)

495 of 507 relevant lines covered (97.63%)

101.17 hits per line