)]}'
{
  "id": "a6979b263992209d2b76ac0e324be8e85e819806",
  "repo": "3p/lowrisc/opentitan",
  "revision": "1dc43db50b5f54cc03b30432e6c1e0b3616b3147",
  "path": "hw/formal/lec_sv2v.do"
}