Formal verification: Remove rules overlapping with rules in OwnerReach.spec

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: Remove rules overlapping with rules in OwnerReach.spec #645

Closed mmv08 closed 1 year ago

mmv08 commented 1 year ago

OwnerReach.spec thoroughly verifies the correctness of owners-linked list implementation. There were some overlapping with a more naive implementation in the Safe.spec. This PR removes them in favour of OwnerReach.spec