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