| read_verilog -formal <<EOT | |
| module top; | |
| foo bar(); | |
| foo asdf(); | |
| winnie the_pooh(); | |
| wire [1023:0] _RUNME0 = "select -assert-count 2 t:foo"; | |
| wire [1023:0] _RUNME1 = "select -assert-count 1 t:winnie"; | |
| endmodule | |
| module other; | |
| wire [1023:0] _DELETE = "cd; delete c:bar"; | |
| endmodule | |
| EOT | |
| script -scriptwire w:_RUNME* | |
| select w:_DELETE | |
| script -scriptwire | |
| select -assert-count 1 t:foo |