SVIncCompil/Testcases/YosysTests/misc/scripts/select_set.ys - third_party/Surelog - Git at Google

 read_verilog ../top.v
 proc
 select -add top
 tee -o result.log select -set top top
 tee -o result.log select @top
 tee -o result.log select -list
	read_verilog ../top.v
	proc
	select -add top
	tee -o result.log select -set top top
	tee -o result.log select @top
	tee -o result.log select -list