)]}'
{
  "id": "7e01ce8bd020eff4bc45bf37eb42d371e80035a7",
  "repo": "3p/lowrisc/opentitan",
  "revision": "e3e7610e2c87746c25b3c32dc968b7f4e1de2c37",
  "path": "util/dvsim/FormalCfg.py"
}