data/full_repos/permissive/114642806/dev/milestone2/sensor.v
data/verilator_xmls/e6d989af-7cfa-4739-98a7-616decde73ee.xml
module sensor(GPIO_0, LEDR);
input [35:0] GPIO_0;
output [0:0] LEDR;

assign LEDR[0] = GPIO_0 [35];
endmodule
module sensor(GPIO_0, LEDR);

input [35:0] GPIO_0;
output [0:0] LEDR;

assign LEDR[0] = GPIO_0 [35];
endmodule