)]}'
{
  "id": "b4e6586666474659b9ace69f0ee02be5061382c1",
  "repo": "prjxray",
  "revision": "d5a6726e3019fa60e368dbf2275aee3a472d4be6",
  "path": "fuzzers/050-intpips/top.v"
}