Merge pull request #1765 from YosysHQ/claire/btor_info
authorClaire Wolf <clifford@clifford.at>
Thu, 2 Apr 2020 13:38:27 +0000 (15:38 +0200)
committerGitHub <noreply@github.com>
Thu, 2 Apr 2020 13:38:27 +0000 (15:38 +0200)
commit104c004e6daf566c248343f27060fbc4427a3597
treef4836aaff12341f07d3fe0257e19849b2daf1e25
parent8b7610c48bcd0ae7ec30274e7580edbeb6720bea
parent29e2b2dc05716607b136370432ba602c4f8c4822
Merge pull request #1765 from YosysHQ/claire/btor_info

Add info-file and cover features to write_btor