be more verbose for select -assert-any and -assert-none
be more verbose for select -assert-any and -assert-none

swallat/yosys,SymbiFlow/yosys,azonenberg/yosys,YosysHQ/yosys,azonenberg/yosys,swallat/yosys,antmicro/yosys,swallat/yosys,swallat/yosys,cliffordwolf/yosys,antmicro/yosys,YosysHQ/yosys,azonenberg/yosys,swallat/yosys,SymbiFlow/yosys,antmicro/yosys,cliffordwolf/yosys,YosysHQ/yosys,YosysHQ/yosys,antmicro/yosys,SymbiFlow/yosys,cliffordwolf/yosys,SymbiFlow/yosys,azonenberg/yosys,SymbiFlow/yosys,cliffordwolf/yosys,azonenberg/yosys,cliffordwolf/yosys,cliffordwolf/yosys,antmicro/yosys,YosysHQ/yosys,antmicro/yosys,YosysHQ/yosys,cliffordwolf/yosys,antmicro/yosys,swallat/yosys,YosysHQ/yosys,antmicro/yosys,swallat/yosys,SymbiFlow/yosys,azonenberg/yosys,cliffordwolf/yosys,azonenberg/yosys,SymbiFlow/yosys,azonenberg/yosys,YosysHQ/yosys,swallat/yosys,azonenberg/yosys,SymbiFlow/yosys,cliffordwolf/yosys,swallat/yosys