{
"files": ["src/Rln.sol"],
"msg": "Verifying Rln.sol",
"rule_sanity": "basic",
"verify": "Rln:certora/specs/Rln.spec",
"wait_for_results": "all",
}