Merge pull request #1567 from YosysHQ/eddie/sat_init_warning
authorClaire Wolf <clifford@clifford.at>
Tue, 28 Jan 2020 16:40:28 +0000 (17:40 +0100)
committerGitHub <noreply@github.com>
Tue, 28 Jan 2020 16:40:28 +0000 (17:40 +0100)
commit4ddaa70fd6363096bf0cb1bc5e7cb8fa8ed21ad2
tree1ee2ffb6abec353f6a04a878c4ef60449576669e
parent086c133ea58179b1b1a14bff972355c68f926e8d
parent4a805108776f563bcd7550d1331a73a50512fbe2
Merge pull request #1567 from YosysHQ/eddie/sat_init_warning

sat: suppress 'Warning: ignoring initial value on non-register: ...' when init[i] = 1'bx