Formal verification: No message can be signed through the core contract - Githubissues

safe-global / safe-smart-account

Safe allows secure management of blockchain assets.

https://safe.global

GNU Lesser General Public License v3.0

1.88k stars 927 forks source link

Formal verification: No message can be signed through the core contract #583

Closed mmv08 closed 1 year ago

mmv08 commented 1 year ago

This PR:

Adds a rule that checks that no message can be signed through the core contract

github-actions[bot] commented 1 year ago

Pull Request Test Coverage Report for Build 5156275448

0 of 0 changed or added relevant lines in 0 files are covered.
No unchanged relevant lines lost coverage.
Overall coverage increased (+1.4%) to 94.2%

Totals
Change from base Build 5134646122:	1.4%
Covered Lines:	315
Relevant Lines:	330

💛 - Coveralls

github-actions[bot] commented 1 year ago

Pull Request Test Coverage Report for Build 5291970305

0 of 0 changed or added relevant lines in 0 files are covered.
No unchanged relevant lines lost coverage.
Overall First build on certora/signed-messages at 94.2%

Totals
Change from base Build 5291950380:	94.2%
Covered Lines:	315
Relevant Lines:	330

💛 - Coveralls