Fix bug when setting Verific runtime string flags.

YosysHQ / yosys

Yosys Open SYnthesis Suite

https://yosyshq.net/yosys/

ISC License

3.5k stars 895 forks source link

Fix bug when setting Verific runtime string flags. #4734

Closed mikesinouye closed 1 week ago

mikesinouye commented 1 week ago

What are the reasons/motivation for this change? The setting of Verific runtime string flags does not work within Yosys as it encapsulates the value in quotes.

Explain how this is achieved. Temp string s that is preexisting is correctly passed into Verific RuntimeFlags call.

If applicable, please suggest to reviewers how they can test the change. Attempting to change the value of a Verific string RuntimeFlag will fail before this change.

mikesinouye commented 1 week ago

Hey @povik, if you get a moment can you review this PR?

mikesinouye commented 1 week ago

Thanks Martin

povik commented 1 week ago

Sure Mike, I am not the maintainer of the Verific integration but here it's clear enough