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