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

..

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-19 14:35:08 +02:00