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