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