)]}'
{
  "id": "af634b475ee527c52ca6a0add50952d41e984c2c",
  "repo": "prjxray",
  "revision": "3e0a64343c2efefb1bbd95e6b8ef5fa8fe323fd2",
  "path": "fuzzers/050-intpips/picorv32.v"
}
