Describe the desired feature or improvement
Since a lot of MultiSigs work in a relatively similar way (e.g., using signatures, some threshold of votes/signatures is required, only approved signers can execute, etc.) we could probably build a set of general properties to test MultiSigs.
For example:
- If votes < threshold, calls can't be executed
- Signatures cannot be reused
- nonce is strictly monotonously increasing
- nonce can only be used once
Describe the desired feature or improvement
Since a lot of MultiSigs work in a relatively similar way (e.g., using signatures, some threshold of votes/signatures is required, only approved signers can execute, etc.) we could probably build a set of general properties to test MultiSigs.
For example: