issues
search
safe-global
/
safe-smart-account
Safe allows secure management of blockchain assets.
https://safe.global
GNU Lesser General Public License v3.0
1.84k
stars
907
forks
source link
Formal verification: Add an invariant for the singleton address
#565
Closed
mmv08
closed
1 year ago
mmv08
commented
1 year ago
This PR:
Adds a rule that verifies that the singleton address storage at the storage slot 0 or eip-1967 storage slot
github-actions[bot]
commented
1 year ago
Pull Request Test Coverage Report for
Build 5133624671
0
of
0
changed or added relevant lines in
0
files are covered.
No unchanged relevant lines lost coverage.
Overall coverage decreased (
-1.4%
) to
92.8%
Totals
Change from base
Build 5120082968
:
-1.4%
Covered Lines:
308
Relevant Lines:
330
💛 -
Coveralls
This PR: