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

 read_verilog ../top.v
 proc; pmux2shiftx -norange; opt -full
 select -assert-count 1 t:$pmux
 select -assert-count 3 t:$eq
	read_verilog ../top.v
	proc; pmux2shiftx -norange; opt -full
	select -assert-count 1 t:$pmux
	select -assert-count 3 t:$eq