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: Verify that guard can only be updated through setGuard
#567
Closed
mmv08
closed
1 year ago
mmv08
commented
1 year ago
This PR:
Adds a rule that checks the correctness of guard update
github-actions[bot]
commented
1 year ago
Pull Request Test Coverage Report for
Build 5005613323
0
of
0
changed or added relevant lines in
0
files are covered.
No unchanged relevant lines lost coverage.
Overall coverage remained the same at
97.071%
Totals
Change from base
Build 4991446336
:
0.0%
Covered Lines:
308
Relevant Lines:
316
💛 -
Coveralls
This PR: