chore(certora): add accountMPGreaterEqualsAccountBalance
invariant
#11
Job | Run time |
---|---|
3s | |
3s |
accountMPGreaterEqualsAccountBalance
invariant
#11
Job | Run time |
---|---|
3s | |
3s |