search

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

fix inListReachable_preserve for setup #619

Closed jhoenicke closed 1 year ago

jhoenicke commented 1 year ago

This fixes one of the failing invariants by proving that setup() is not callable because threshold is always set.

mmv08 commented 1 year ago

Thanks!