From: Claire Wolf Date: Tue, 28 Jan 2020 16:40:28 +0000 (+0100) Subject: Merge pull request #1567 from YosysHQ/eddie/sat_init_warning X-Git-Tag: working-ls180~845 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4ddaa70fd6363096bf0cb1bc5e7cb8fa8ed21ad2;p=yosys.git Merge pull request #1567 from YosysHQ/eddie/sat_init_warning sat: suppress 'Warning: ignoring initial value on non-register: ...' when init[i] = 1'bx --- 4ddaa70fd6363096bf0cb1bc5e7cb8fa8ed21ad2