logos-co
/
staking
mirror of https://github.com/logos-co/staking.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
staking/certora/specs
History
r4bbit 40c5be49bc refactor(certora): introduce shared.spec to reuse helper functions 
We have a couple of helper functions redefined in multiple spec files.
This commit introduces a `shared.spec` that provides such functions.

The file is then imported in other spec files, so we can make use of the
functions there.

Closes #87
 		2024-09-19 14:35:08 +02:00
..
StakeManager.spec refactor(certora): introduce shared.spec to reuse helper functions 2024-09-19 14:35:08 +02:00
StakeManagerProcessAccount.spec refactor(certora): introduce shared.spec to reuse helper functions 2024-09-19 14:35:08 +02:00
StakeManagerStartMigration.spec refactor(certora): introduce shared.spec to reuse helper functions 2024-09-19 14:35:08 +02:00
StakeVault.spec refactor(certora): introduce shared.spec to reuse helper functions 2024-09-19 14:35:08 +02:00
shared.spec refactor(certora): introduce shared.spec to reuse helper functions 2024-09-19 14:35:08 +02:00