)]}'
{
  "id": "945a5a99cab5b498b1e9a5e7c11d81b9ed499882",
  "repo": "efm/org.eclipse.efm-symbex",
  "revision": "ba0bfc68aaeb6119999e96773d3c7b89ddc4bcbb",
  "path": "org.eclipse.efm.symbex/src/solver/api/SolverDef.cpp"
}