staking/certora
r4bbit 33e2ff048b
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-17 13:54:01 +02:00
..
confs feat(StakeManager): implement multiplier points estimation 2024-09-10 08:51:35 +02:00
harness fix: StakeManager migration fixes and certora rules 2024-02-20 09:08:00 +01:00
helpers feat(StakeManager): implement multiplier points estimation 2024-09-10 08:51:35 +02:00
specs refactor(certora): introduce shared.spec to reuse helper functions 2024-09-17 13:54:01 +02:00