write_btor: Include `$assert` and `$assume` cells in -ywmap output - Githubissues

YosysHQ / yosys

Yosys Open SYnthesis Suite

https://yosyshq.net/yosys/

ISC License

3.3k stars 860 forks source link

write_btor: Include `$assert` and `$assume` cells in -ywmap output #4320

Open KrystalDelusion opened 3 months ago

KrystalDelusion commented 3 months ago

For YosysHQ/sby#266