)]}'
{
  "id": "0ab26dce419addff19f96c242a61d887d30e9c18",
  "repo": "rust",
  "revision": "e8a00a7621606f8c4a34b679cefaaa6aecf2442e",
  "path": "src/tools/miri/tests/genmc/pass/litmus/default.rs"
}