)]}'
{
  "id": "4ce5dbb96141a0d2871c097278c724321dfb907e",
  "repo": "3p/lowrisc/opentitan",
  "revision": "b02ea11fd3a8845b9ff5ab2d892ae85b8eba7774",
  "path": "util/dvsim/FormalCfg.py"
}