SVIncCompil/Testcases/YosysTests/simple/extract_counter_down/top.v

module top    (
out,
clk,
reset
);
    output [7:0] out;
    input clk, reset;
    reg [7:0] out;

    always @(posedge clk, posedge reset)
		if (reset) begin
			out <= 8'b11111111;
		end else
`ifndef BUG
			out <= out - 1;
`else
			out <= out + 1'bZ;
`endif


endmodule