module StateMachineCircuitTester(display1, display0, presets, button,
                                 blank1, blank2, blank3, blank4, blank5, blank6);

input button;
input [3:0] presets;
output [6:0] display1;
output [6:0] display0;
output [6:0] blank1;
output [6:0] blank2;
output [6:0] blank3;
output [6:0] blank4;
output [6:0] blank5;
output [6:0] blank6;
reg [6:0] display1;
reg [6:0] display0;
wire [3:0] circuitState;

AssignDemo Inst(.Clk(~button), .Set(presets), .State(circuitState));

always@(button or presets)
begin
   case (circuitState)
    0: begin
          display0 <= 7'b1000000;
          display1 <= 7'b1111111;
       end
    1: begin
          display0 <= 7'b1111001;
          display1 <= 7'b1111111;
       end
    2: begin
          display0 <= 7'b0100100;
          display1 <= 7'b1111111;
       end
    3: begin
          display0 <= 7'b0110000;
          display1 <= 7'b1111111;
       end
    4: begin
          display0 <= 7'b0011001;
          display1 <= 7'b1111111;
       end
    5: begin
          display0 <= 7'b0010010;
          display1 <= 7'b1111111;
       end
    6: begin
          display0 <= 7'b0000010;
          display1 <= 7'b1111111;
       end
    7: begin
          display0 <= 7'b1111000;
          display1 <= 7'b1111111;
       end
    8: begin
          display0 <= 7'b0000000;
          display1 <= 7'b1111111;
       end
    9: begin
          display0 <= 7'b0011000;
          display1 <= 7'b1111111;
       end
   10: begin
          display0 <= 7'b1000000;
          display1 <= 7'b1111001;
       end
   11:
   12:
   13:
   14:
   15:
   endcase
end

endmodule