yosys/passes/cmds
Jannis Harder fc65ea47df select: Fix -assert-none and -assert-any error output and docs
Both of these options consider a selection containing only empty modules
as non-empty. This wasn't mentioned in the documentation nor did the
error message when using `select -assert-none` list those empty modules,
which produced a very confusing error message complaining about a
non-empty selection followed by an empty listing of the selection.

This fixes the documentation and changes the `-assert-none` and
`-assert-any` assertion error messages to also output fully selected
modules (this includes selected empty modules).

It doesn't change the messages for `-assert-count` etc. as they don't
count modules.
2022-05-19 14:07:34 +02:00
..
Makefile.inc Merge pull request #2019 from boqwxp/glift 2022-02-11 15:51:24 +01:00
add.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
autoname.cc Merge pull request #2817 from YosysHQ/claire/fixemails 2021-06-09 13:22:52 +02:00
blackbox.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
bugpoint.cc bugpoint: avoid infinite loop between -connections and -wires. 2021-12-15 08:17:02 +00:00
check.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
chformal.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
chtype.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
clean_zerowidth.cc Add $bmux and $demux cells. 2022-01-28 23:34:41 +01:00
connect.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
connwrappers.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
copy.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
cover.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
delete.cc rtlil: Make Process handling more uniform with Cell and Wire. 2021-07-12 00:47:34 +02:00
design.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
edgetypes.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
exec.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
glift.cc glift: Use ID() rather than string literals. 2020-07-01 19:51:48 +00:00
logcmd.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
logger.cc logger: Add -check-expected subcommand. 2021-08-12 17:41:39 +02:00
ltp.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
plugin.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
portlist.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
printattrs.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
qwp.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
rename.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
scatter.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
scc.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
scratchpad.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
select.cc select: Fix -assert-none and -assert-any error output and docs 2022-05-19 14:07:34 +02:00
setattr.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
setundef.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
show.cc show: Fix width labels. 2022-04-04 22:48:09 +02:00
splice.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
splitnets.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
sta.cc sta: very crude static timing analysis pass 2021-11-25 17:20:27 +01:00
stat.cc Add $bmux and $demux cells. 2022-01-28 23:34:41 +01:00
tee.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
torder.cc Add v2 memory cells. 2021-08-11 13:34:10 +02:00
trace.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
write_file.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00