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