| /* | |
| * Based on pr#859. | |
| * This test makes sure the @* input search can handle null | |
| * statements within case alternatives. | |
| */ | |
| module test(output [15:0] probe_data,input[3:0] probe_sel); | |
| reg [15:0] probe_data; | |
| wire [3:0] probe_sel; | |
| always @* | |
| case(probe_sel) | |
| 4'h0 :; | |
| default : probe_data = 16'b0; | |
| endcase // case(probe_sel) | |
| initial #1 $display("PASSED"); | |
| endmodule // test |