data/full_repos/permissive/149070951/tests/05-ir-sensor-test/ir.v
data/verilator_xmls/8875383c-b137-4913-904f-ac3f02b7caec.xml
module leds(input wire D13,
            input wire D12,
            output wire LED0,
            output wire LED1);

assign {LED0, LED1} = {D13, D12};

endmodule
module leds(input wire D13,
            input wire D12,
            output wire LED0,
            output wire LED1);


assign {LED0, LED1} = {D13, D12};

endmodule