)]}'
{
  "id": "0f63fa64abd4fe9fd075c506be744f5ad098b215",
  "repo": "third_party/vtr-verilog-to-routing",
  "revision": "637c3c953181efdb71652479d2a566ef7ff7f4e0",
  "path": "abc/src/sat/bmc/bmcFault.c"
}