Merge pull request #1770 from YosysHQ/claire/btor_symbols
authorClaire Wolf <clifford@clifford.at>
Thu, 2 Apr 2020 13:38:47 +0000 (15:38 +0200)
committerGitHub <noreply@github.com>
Thu, 2 Apr 2020 13:38:47 +0000 (15:38 +0200)
commitd1fc4321f0bd1da7d74baf1c371304ec56da08cf
treee592faf181d12d810198a082e4bb345c5a130834
parent104c004e6daf566c248343f27060fbc4427a3597
parentbf018b184d1f2b4f9ff0ccecb7670630bbed626e
Merge pull request #1770 from YosysHQ/claire/btor_symbols

Improve write_btor symbol handling