)]}'
{
  "commit": "cd44826d5026316d9b44ae33c1fcf0d8faf550c4",
  "tree": "2b393a693d327e7efcaa95fae734a5b2ff2e1979",
  "parents": [
    "89834b98f7715b131193f8283f09d665b9290eff"
  ],
  "author": {
    "name": "Clifford Wolf",
    "email": "clifford@clifford.at",
    "time": "Thu Nov 14 11:57:38 2019 +0100"
  },
  "committer": {
    "name": "Clifford Wolf",
    "email": "clifford@clifford.at",
    "time": "Thu Nov 14 11:57:38 2019 +0100"
  },
  "message": "Use cell name for btor bad state props when it is a public name\n\nSigned-off-by: Clifford Wolf \u003cclifford@clifford.at\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "2babd454c3d1d4d0013a3685d0cbbafe6149507f",
      "old_mode": 33188,
      "old_path": "backends/btor/btor.cc",
      "new_id": "c1da4b1272bb97e0aa051e9d8dbd9e43f9bcd040",
      "new_mode": 33188,
      "new_path": "backends/btor/btor.cc"
    }
  ]
}