From: Jannis Harder Date: Fri, 20 May 2022 15:40:40 +0000 (+0200) Subject: Merge pull request #3324 from jix/confusing-select-errors X-Git-Tag: divfloor-in-write_smt2-old-test~8 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=795c44515946ac048d286da769b4270f54d7ac30;p=yosys.git Merge pull request #3324 from jix/confusing-select-errors select: Fix -assert-none and -assert-any error output and docs --- 795c44515946ac048d286da769b4270f54d7ac30