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