write_btor: don't emit undriven bits multiple times

YosysHQ / yosys

Yosys Open SYnthesis Suite

https://yosyshq.net/yosys/

ISC License

3.5k stars 895 forks source link

write_btor: don't emit undriven bits multiple times #4641

Closed georgerennie closed 1 week ago

georgerennie commented 1 month ago

Fixes #4640

georgerennie commented 1 month ago

~~I wonder why the macos tests are failing - doesn't seem clear to me. I wouldn't expect any tests to fail as there is no test coverage of the btor backend...~~ was a spurious failure