)]}'
{
  "id": "24250a4601853450b37b08163b17c6db935a3b67",
  "repo": "third_party/Surelog",
  "revision": "a50fc0da15e88d7b685f92dc843d3d71b716c8a4",
  "path": "src/Testcases/UtdSV/cpx_dp6.v"
}