mirror of
https://github.com/vacp2p/staking-reward-streamer.git
synced 2026-01-09 13:08:03 -05:00
e251ec5c8f
This renames `RewardsStreamerMP` to `StakeManager`. The original name only exists because the project has started with different versions of the contract. Since the contract is no longer just dealing with MPs but actually distributes rewards, it makes sense to make this the official stake manager of the protocol. **BREAKING CHANGE:** - `RewardsStreamerMP` is now `StakeManager` - `StakingManager__*` error selectors are now `StakeManager__*` selectors
24 lines
892 B
Plaintext
24 lines
892 B
Plaintext
{
|
|
"files": [
|
|
"src/StakeManager.sol",
|
|
"certora/helpers/ERC20A.sol"
|
|
],
|
|
"link" : [
|
|
"StakeManager:STAKING_TOKEN=ERC20A"
|
|
],
|
|
"msg": "Verifying StakeManager.sol",
|
|
"rule_sanity": "basic",
|
|
"verify": "StakeManager:certora/specs/StakeManager.spec",
|
|
"optimistic_loop": true,
|
|
"loop_iter": "3",
|
|
"prover_args": ["-backendStrategy singleRace -smt_useLIA false -smt_useNIA true -depth 0 -s [z3:def{randomSeed=1},z3:def{randomSeed=2},z3:def{randomSeed=3},z3:def{randomSeed=4},z3:def{randomSeed=5},z3:def{randomSeed=6},z3:def{randomSeed=7},z3:def{randomSeed=8},z3:def{randomSeed=9},z3:def{randomSeed=10}]"],
|
|
"exclude_rule": [
|
|
"vaultMPLessEqualVaultMaxMP"
|
|
],
|
|
"packages": [
|
|
"forge-std=lib/forge-std/src",
|
|
"@openzeppelin/contracts=lib/openzeppelin-contracts/contracts",
|
|
"@openzeppelin/contracts-upgradeable=lib/openzeppelin-contracts-upgradeable/contracts"
|
|
]
|
|
}
|