mirror of
https://github.com/logos-co/staking.git
synced 2025-01-09 18:25:56 +00:00
5dec595a20
This commit introduces the internal accounting logic for accrueing multiplier points, that will later be used to determine how many experience points an account is eligible to. The majority of the work here was done by @3esmit.
23 lines
561 B
Plaintext
23 lines
561 B
Plaintext
{
|
|
"files":
|
|
[ "contracts/StakeManager.sol",
|
|
"certora/harness/StakeManagerNew.sol",
|
|
"certora/helpers/StakeRewardEstimateA.sol",
|
|
"certora/helpers/ERC20A.sol"
|
|
],
|
|
"link" : [
|
|
"StakeManager:stakedToken=ERC20A",
|
|
"StakeManager:stakeRewardEstimate=StakeRewardEstimateA",
|
|
],
|
|
"msg": "Verifying StakeManager.sol",
|
|
"rule_sanity": "basic",
|
|
"verify": "StakeManager:certora/specs/StakeManagerStartMigration.spec",
|
|
"optimistic_loop": true,
|
|
"loop_iter": "3",
|
|
"packages": [
|
|
"@openzeppelin=lib/openzeppelin-contracts"
|
|
]
|
|
}
|
|
|
|
|