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
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
..
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