)]}'
{
  "id": "eb671fe2596dbf233d92e53a1a518e25caf34eaa",
  "repo": "SwiftShader.git",
  "revision": "8802b4ec130bc6f23f34ca0cda4690f3e5408aa3",
  "path": "third_party/llvm-16.0/llvm/lib/Support/Z3Solver.cpp"
}