Files
staking-reward-streamer/certora/certora.conf
2024-09-25 09:39:14 +02:00

15 lines
365 B
Plaintext

{
"files": ["src/RewardsStreamerMP.sol"],
"msg": "Verifying RewardsStreamerMP.sol",
"rule_sanity": "basic",
"verify": "RewardsStreamerMP:certora/specs/RewardsStreamerMP.spec",
"wait_for_results": "all",
"optimistic_loop": true,
"loop_iter": "3",
"packages": [
"forge-std=lib/forge-std/src",
"@openzeppelin=lib/openzeppelin-contracts"
]
}