yosys/tests/select/unset.ys

11 lines
217 B
Plaintext
Raw Permalink Normal View History

2020-04-14 12:58:51 -05:00
read_verilog <<EOT
module top(input i, output o);
assign o = i;
endmodule
EOT
select -set foo w:*
select -assert-any @foo
select -unset foo
logger -expect error "Selection '\\foo' does not exist!" 1
select -unset foo