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