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 is not defined!" 1 select -list @foo