[Certora Audit] G-02. OwnerManager.changeThreshold() event update
#2236
| Job | Run time |
|---|---|
| 3s | |
| 3s |
OwnerManager.changeThreshold() event update
#2236
| Job | Run time |
|---|---|
| 3s | |
| 3s |