)]}'
{
  "commit": "b02792d01025f434420406b4a9dc8da1e3da5949",
  "tree": "e83fc6e87e2b59e6beb8ccd1de72032e9de37626",
  "parents": [
    "7ac20f12050f2a4fb169358c1956995e87325cce",
    "cb5d661136e8db1c875ad1fffde16830e266151a"
  ],
  "author": {
    "name": "Kamil Rakoczy",
    "email": "krakoczy@antmicro.com",
    "time": "Wed Mar 02 08:31:56 2022 +0100"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Wed Mar 02 08:31:56 2022 +0100"
  },
  "message": "Merge pull request #260 from thirtythreeforty/sva-error\n\nEmit error when encountering assert/assume properties",
  "tree_diff": []
}