{
    "files": [
        "VulnerableBank.sol"
    ],
    "verify": "VulnerableBank:VulnerableBank.spec",
    "wait_for_results": "all",
    "rule_sanity": "basic",
    "msg": "VulnerableBank Reentrancy Verification",
    "optimistic_loop": true,
    "loop_iter": 3
}
