)]}'
{
  "id": "67e9625e6da4b408da5fda6fb25fc462e2d9f40c",
  "repo": "third_party/Surelog",
  "revision": "e2529f92cedbbcb87ff4328ff53705669050198d",
  "path": "src/Testcases/YosysTestSuite/various/muxcover.ys"
}