)]}'
{
  "id": "924b3b528caf2f36169b42ac3010f2de96148674",
  "repo": "3p/lowrisc/opentitan",
  "revision": "d26ed84f4b7ab6f24e833fee27f7bf5db6cf2c8e",
  "path": "hw/formal/fpv.tcl"
}