)]}'
{
  "id": "a83d0f441a4bde5969d32b15e6fc09915c7c44e3",
  "repo": "SwiftShader.git",
  "revision": "90d72a29c0cb1f624c0a7fd46eb70f50bcc069fc",
  "path": "third_party/llvm-10.0/llvm/lib/Support/Z3Solver.cpp"
}