{
"files": ["contracts/StakeManager.sol"],
"msg": "Verifying StakeManager.sol",
"rule_sanity": "basic",
"verify": "StakeManager:certora/specs/StakeManager.spec",
"wait_for_results": "all",
"packages": [
"@openzeppelin=lib/openzeppelin-contracts"
]
}