logos-co
/
staking
mirror of https://github.com/logos-co/staking.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

feat(certora): Add StakeMath.conf

This commit is contained in:
Ricardo Guilherme Schmidt 2024-11-25 12:24:29 -03:00
parent cb81a7609c
commit 4ce5060347
No known key found for this signature in database
GPG Key ID: 54B4454CC123AD17
1 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
certora/confs/StakeMath.conf Normal file
View File

@ -0,0 +1,22 @@
{
"files": [
"contracts/StakeManager.sol",
"certora/helpers/ExpiredStakeStorageA.sol",
"certora/helpers/ERC20A.sol"
],
"link": [
"StakeManager:REWARD_TOKEN=ERC20A",
"StakeManager:EXPIRED_STAKE_STORAGE=ExpiredStakeStorageA"
],
"msg": "StakeManager:StakeMath",
"rule_sanity": "basic",
"verify": "StakeManager:certora/specs/StakeMath.spec",
"optimistic_loop": true,
"loop_iter": "3",
"packages": [
"forge-std=lib/forge-std/src",
"@openzeppelin=lib/openzeppelin-contracts"
]
}