3 Commits

Author	SHA1	Message	Date
r4bbit	70b092ab00	chore(StakeManagerProcessAccount.spec): add specs for processAccount ... This primarily adds a rule that ensures that, when an account's `balance` changes, `_processAccount()` must have been called as well. There's very few exceptions where an account's `balance` can change without the need of `_processAccount()` but those functions have been deliberately excluded from the rule.	2024-03-18 11:44:51 +01:00
Ricardo Guilherme Schmidt	03bc6559ae	fix: StakeManager migration fixes and certora rules	2024-02-20 09:08:00 +01:00
Nurit Dor	14248a285b	chore: certora setup for stakemanager and vault	2024-02-20 09:04:23 +01:00