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

Certora: signature verification is timing out #681

Closed mmv08 closed 11 months ago

mmv08 commented 11 months ago

Description

In the latest commit on main (https://github.com/safe-global/safe-contracts/commit/45ed06afccb2de1dee5083912f71c58beb843099) and a few previous ones, the signature verification rule timed out.

Steps to reproduce

Run the signature verification specification