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