yosys/tests/select/unset.ys

11 lines
217 B
Plaintext

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