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