)]}'
{
  "id": "3681570da5b563f890906a31bbf613e73f8dbf10",
  "repo": "clang",
  "revision": "324f918438715b4a0d024af5930628c1674f4fcd",
  "path": "lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp"
}