Skip to content

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

Merged
jix merged 1 commit intoYosysHQ:mainfrom georgerennie:george/btor_undriven_wiresNov 11, 2024

Commits

Commits on Oct 8, 2024