)]}'
{
  "id": "e383c080ef604bbc2418eae6124d75b91246b80a",
  "repo": "yosys-symbiflow-plugins",
  "revision": "a34fb4832ffa42c738d9ff993004e24c5e8fd06a",
  "path": "systemverilog-plugin/tests/formal/formal.tcl"
}