src/Testcases/YosysTests/simple/muxcover/top.v

module top (
input [7:0] S,
input [255:0] D,
output M256
);
`ifndef BUG
assign M256 = D[S];
`else
assign M256 = S[D];
`endif

endmodule