aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/smtCheckerTestsJSON/simple.json
blob: b82d93b8c84afc6f3b1c29f62a05e92772e16fc0 (plain) (blame)
1
2
3
4
5
6
7
8
9
{
    "auxiliaryInput":
    {
        "smtlib2responses":
        {
            "0xa0c072acdbe5181dd56cbad8960cb5bb0b9e97fd598cfd895467bd73bbcca028": "sat\n((|EVALEXPR_0| 0))\n"
        }
    }
}