)]}'
{
  "id": "64a8ece52e6753cf5cba9a56f85e39e250c8beb3",
  "repo": "third_party/Surelog",
  "revision": "76425fe9c1b685310008913d97503847d2f7f72e",
  "path": "src/Testcases/YosysTests/simple/fsm/top.v"
}
