What is on line 7164? The code you show is a different line
Also, the message suggests ifdefing out the verification constructs which yosys doesn't support, have you tried that? Sorry, that might be a different issue and looks like it is unrelated
Linen is a search-engine friendly community platform. We offer integrations with existing Slack/Discord communities and make those conversations Google-searchable.
