data/full_repos/permissive/162696624/Traffic Light.v
 line:32: before: "["
1: b'%Error: Cannot find file containing module: data/full_repos/permissive/162696624/Traffic\n        ... Looked in:\n             data/full_repos/permissive/162696624,data/full_repos/permissive/162696624/data/full_repos/permissive/162696624/Traffic\n             data/full_repos/permissive/162696624,data/full_repos/permissive/162696624/data/full_repos/permissive/162696624/Traffic.v\n             data/full_repos/permissive/162696624,data/full_repos/permissive/162696624/data/full_repos/permissive/162696624/Traffic.sv\n             data/full_repos/permissive/162696624/Traffic\n             data/full_repos/permissive/162696624/Traffic.v\n             data/full_repos/permissive/162696624/Traffic.sv\n             obj_dir/data/full_repos/permissive/162696624/Traffic\n             obj_dir/data/full_repos/permissive/162696624/Traffic.v\n             obj_dir/data/full_repos/permissive/162696624/Traffic.sv\n%Error: Cannot find file containing module: Light.v\n%Error: Exiting due to 2 error(s)\n'
module Moore_blink (AT,BT,finished,Traffic,AB[1],AB[0],CLK,RST);
input finished,AT,BT,CLK,RST,Traffic;

output  [1:0]AB;
reg [1:0] state;
parameter S0 = 2'b10, S1 = 2'b00, S2 = 2'b11;
always @ (posedge CLK or negedge RST)
if (~RST) state = S0; 
else
case (state)
S0: if (~AT&~BT&finished) state = S1;
S1: if (~AT&~BT|~Traffic) state = S2; else if (Traffic) state=S0;
S2: if (~AT&~BT|~Traffic) state = S1; else if(Traffic) state=S0;
endcase

assign #1 AB = state;        
endmodule
module Moore_blink (AT,BT,finished,Traffic,AB[1],AB[0],CLK,RST);

input finished,AT,BT,CLK,RST,Traffic;

output  [1:0]AB;
reg [1:0] state;
parameter S0 = 2'b10, S1 = 2'b00, S2 = 2'b11;
always @ (posedge CLK or negedge RST)
if (~RST) state = S0; 
else
case (state)
S0: if (~AT&~BT&finished) state = S1;
S1: if (~AT&~BT|~Traffic) state = S2; else if (Traffic) state=S0;
S2: if (~AT&~BT|~Traffic) state = S1; else if(Traffic) state=S0;
endcase

assign #1 AB = state;        
endmodule