)]}'
{
  "commit": "cb679b2a098dc3642be4c4ee14b843bd3d4ab8a7",
  "tree": "fc1981ead8b677b79ea4216608148753feb29ca5",
  "parents": [
    "6ee1494d6ec270a5832b0ce8e2e5f16cca16935d"
  ],
  "author": {
    "name": "Akim Demaille",
    "email": "akim.demaille@gmail.com",
    "time": "Sun Jul 31 09:13:48 2022 +0200"
  },
  "committer": {
    "name": "Akim Demaille",
    "email": "akim.demaille@gmail.com",
    "time": "Sun Jul 31 09:35:05 2022 +0200"
  },
  "message": "address unused variables\n\nReported by recent versions of clang.\n\n* src/counterexample.c (search_state_prepend): Use complexity_cost.\n* src/print.c: Remove useless variable.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "2195b6efe70a0a79537e72093c0ddfb7c305b57c",
      "old_mode": 33188,
      "old_path": "src/counterexample.c",
      "new_id": "6ce72c9acd4b1f909f0a5f0c40864d5ab739aabb",
      "new_mode": 33188,
      "new_path": "src/counterexample.c"
    },
    {
      "type": "modify",
      "old_id": "6e75e3d9179d3a06de8f368d0a551242cd980666",
      "old_mode": 33188,
      "old_path": "src/print.c",
      "new_id": "b7e2ebedfbb67bedc7b8fd3d84cbb6504a27d0ec",
      "new_mode": 33188,
      "new_path": "src/print.c"
    }
  ]
}