mirror of
https://github.com/vacp2p/rln-contract.git
synced 2025-01-23 21:09:37 +00:00
9 lines
160 B
Plaintext
9 lines
160 B
Plaintext
{
|
|
"files": ["src/Rln.sol"],
|
|
"msg": "Verifying Rln.sol",
|
|
"rule_sanity": "basic",
|
|
"verify": "Rln:certora/specs/Rln.spec",
|
|
"wait_for_results": "all",
|
|
}
|
|
|