From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 2 Oct 2019 11:48:09 +0000 (+0200)
Subject: Merge pull request #1428 from YosysHQ/clifford/fixbtor
X-Git-Tag: working-ls180~1025
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6028f5df1a7f86e73028c6a0c2b63ab16a1335d6;p=yosys.git

Merge pull request #1428 from YosysHQ/clifford/fixbtor

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

6028f5df1a7f86e73028c6a0c2b63ab16a1335d6