1 read_verilog -formal <<EOT
7 wire [1023:0] _RUNME0 = "select -assert-count 2 t:foo";
8 wire [1023:0] _RUNME1 = "select -assert-count 1 t:winnie";
12 wire [1023:0] _DELETE = "delete c:bar";
16 script -select w:_RUNME*
20 select -assert-count 1 t:foo