Merge pull request #1325 from YosysHQ/eddie/sat_init
authorClifford Wolf <clifford@clifford.at>
Tue, 27 Aug 2019 22:18:14 +0000 (00:18 +0200)
committerGitHub <noreply@github.com>
Tue, 27 Aug 2019 22:18:14 +0000 (00:18 +0200)
commit70c0cddb1eac1165cb78f1f4eb1d149792dcc95a
tree0ff420f1b100c4069fc9f6dc1ed1e1409afd4b12
parentd361f5ab795f5b823a594f1fee75f93a78995481
parent28133432bea4a3fa01cd2f5e82a52a853cfccb84
Merge pull request #1325 from YosysHQ/eddie/sat_init

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