)]}'
{
  "id": "18f56860f9604b1c5480d828d04315ca23c682c1",
  "repo": "rust",
  "revision": "6ea369cfee9420f6fe3f89e4bff7b01ac0ef920d",
  "path": "src/tools/miri/tests/genmc/pass/litmus/cii.rs"
}