Merge pull request #1428 from YosysHQ/clifford/fixbtor
authorClifford Wolf <clifford@clifford.at>
Wed, 2 Oct 2019 11:48:09 +0000 (13:48 +0200)
committerGitHub <noreply@github.com>
Wed, 2 Oct 2019 11:48:09 +0000 (13:48 +0200)
commit6028f5df1a7f86e73028c6a0c2b63ab16a1335d6
tree84e0a75011eb44e782772c64b64ef7b470257f89
parentda347b9f7e8ce9738598931283ba98f8c98924cb
parenta84a2d74c779b8023c0bbfc02fa4576d8c4cecca
Merge pull request #1428 from YosysHQ/clifford/fixbtor

Fix btor back-end to use "state" instead of "input" for undef init bits