From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 27 Aug 2019 22:18:14 +0000 (+0200)
Subject: Merge pull request #1325 from YosysHQ/eddie/sat_init
X-Git-Tag: working-ls180~1095
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=70c0cddb1eac1165cb78f1f4eb1d149792dcc95a;p=yosys.git

Merge pull request #1325 from YosysHQ/eddie/sat_init

In sat: 'x' in init attr should be ignored
---

70c0cddb1eac1165cb78f1f4eb1d149792dcc95a