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