Vacuous.conf

{
    "files": [
        "Vacuous.sol"
    ],
    "verify": "Vacuous:Vacuous.spec",
    "wait_for_results": "all",
    "msg": "Vacuous rules without sanity check"
}