SVIncCompil/Testcases/YosysTests/regression/scripts/issue_01128.ys - third_party/Surelog - Git at Google

 read_verilog ../top.v
 insbuf
 # select just the $_BUF_ from w1 to w2 as @buf
 select -set buf w:w1 %coe1 w:w1 %d
 # set the keep attribute for the $_BUF_ from w1 to w2
 setattr -set keep 1 @buf
 opt_clean
 select -assert-count 1 t:$_BUF_
	read_verilog ../top.v
	insbuf
	# select just the $_BUF_ from w1 to w2 as @buf
	select -set buf w:w1 %coe1 w:w1 %d
	# set the keep attribute for the $_BUF_ from w1 to w2
	setattr -set keep 1 @buf
	opt_clean
	select -assert-count 1 t:$_BUF_