)]}'
{
  "id": "2fade8e81d895ac7b3bf4f138580bb8229a1c1aa",
  "repo": "hw/kelvin",
  "revision": "ca75d613f9f2bfe0d0e002c50a2be471cd0b07da",
  "path": "tests/cocotb/wfi_slot_2.c"
}