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