safe-global / safe-smart-account / 13391030587

94%

push

github

`v1.5.0` Audit (#912)

This pull request includes documentation updates related to the audit
results for version 1.5.0. The changes provide details about the audit
process, including the auditor, notes on the audit, and the final audit
report file.

Documentation updates:

*
[`docs/audit_1_5_0.md`](diffhunk://#diff-16a7a881e6541b331ef2f90bd3c2616bcR1-R15):
Added a new section titled "Audit Results" which includes information
about the auditor (Certora), notes on the audit, and a link to the final
audit report for version 1.5.0.

325 of 366 branches covered (88.8%)

Branch coverage included in aggregate %.

499 of 511 relevant lines covered (97.65%)

100.87 hits per line