logos-co/staking
1
0
Fork 0
mirror of https://github.com/logos-co/staking.git synced 2025-01-11 03:06:24 +00:00
Code Issues Packages Projects Releases Wiki Activity

chore(certora/confs): lint files

Browse Source
This commit is contained in:
Ricardo Guilherme Schmidt 2024-11-13 18:29:11 -03:00
parent 5bc7b564e8
commit 520e4f8aec
4 changed files with 20 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
certora/confs/StakeManager.conf
View File

@ -1,10 +1,10 @@
{ {
"files": "files": [
["contracts/StakeManager.sol", "contracts/StakeManager.sol",
"certora/helpers/ExpiredStakeStorageA.sol", "certora/helpers/ExpiredStakeStorageA.sol",
"certora/helpers/ERC20A.sol" "certora/helpers/ERC20A.sol"
], ],
"link" : [ "link": [
"StakeManager:REWARD_TOKEN=ERC20A", "StakeManager:REWARD_TOKEN=ERC20A",
"StakeManager:expiredStakeStorage=ExpiredStakeStorageA" "StakeManager:expiredStakeStorage=ExpiredStakeStorageA"
], ],

12
certora/confs/StakeManagerProcess.conf
View File

@ -1,10 +1,10 @@
{ {
"files": "files": [
["contracts/StakeManager.sol", "contracts/StakeManager.sol",
"certora/helpers/ERC20A.sol", "certora/helpers/ExpiredStakeStorageA.sol",
"certora/helpers/ExpiredStakeStorageA.sol" "certora/helpers/ERC20A.sol"
], ],
"link" : [ "link": [
"StakeManager:REWARD_TOKEN=ERC20A", "StakeManager:REWARD_TOKEN=ERC20A",
"StakeManager:expiredStakeStorage=ExpiredStakeStorageA" "StakeManager:expiredStakeStorage=ExpiredStakeStorageA"
], ],

16
certora/confs/StakeManagerStartMigration.conf
View File

@ -1,13 +1,13 @@
{ {
"files": "files": [
[ "contracts/StakeManager.sol", "contracts/StakeManager.sol",
"certora/harness/StakeManagerNew.sol", "certora/harness/StakeManagerNew.sol",
"certora/helpers/ExpiredStakeStorageA.sol", "certora/helpers/ExpiredStakeStorageA.sol",
"certora/helpers/ERC20A.sol" "certora/helpers/ERC20A.sol"
], ],
"link" : [ "link": [
"StakeManager:REWARD_TOKEN=ERC20A", "StakeManager:REWARD_TOKEN=ERC20A",
"StakeManager:expiredStakeStorage=ExpiredStakeStorageA", "StakeManager:expiredStakeStorage=ExpiredStakeStorageA"
], ],
"msg": "Verifying StakeManager.sol", "msg": "Verifying StakeManager.sol",
"rule_sanity": "basic", "rule_sanity": "basic",

2
certora/confs/StakeVault.conf
View File

@ -5,7 +5,7 @@
"certora/helpers/ExpiredStakeStorageA.sol", "certora/helpers/ExpiredStakeStorageA.sol",
"certora/helpers/ERC20A.sol" "certora/helpers/ERC20A.sol"
], ],
"link" : [ "link": [
"StakeVault:STAKING_TOKEN=ERC20A", "StakeVault:STAKING_TOKEN=ERC20A",
"StakeManager:REWARD_TOKEN=ERC20A", "StakeManager:REWARD_TOKEN=ERC20A",
"StakeManager:expiredStakeStorage=ExpiredStakeStorageA", "StakeManager:expiredStakeStorage=ExpiredStakeStorageA",