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 invariant 'safeIsSetup'
#592
Closed
akshay-ap
closed
1 year ago
akshay-ap
commented
1 year ago
PR changes:
Add invariant
invariant safeIsSetup() getThreshold() > 0;
github-actions[bot]
commented
1 year ago
Pull Request Test Coverage Report for
Build 5315281122
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 5292680041
:
-1.4%
Covered Lines:
308
Relevant Lines:
330
💛 -
Coveralls
PR changes:
invariant safeIsSetup() getThreshold() > 0;