)]}'
{
  "id": "e58ae137c0a1e8bf943b2ec0dc150d026ba8930c",
  "repo": "third_party/Surelog",
  "revision": "76425fe9c1b685310008913d97503847d2f7f72e",
  "path": "src/Testcases/YosysTests/simple/scripts/wreduce.ys"
}