data/full_repos/permissive/143278/ivltests/constadd.v
data/verilator_xmls/2a8f2ec8-c93c-4696-87b7-cc63437d66e1.xml
module main ();

reg ['d4 + 'b110 : 0] val1;
reg [10'h1+ 'd9 : 0 ] val2 ;

initial
  begin
     val1 = 11'h1 + 'd4;
     val2 = 11'h2 + 6;
     if((val1 === 11'h5) && (val2 === 11'h8))
        $display("PASSED");
     else
        $display("FAILED");
  end

endmodule
module main ();


reg ['d4 + 'b110 : 0] val1;
reg [10'h1+ 'd9 : 0 ] val2 ;

initial
  begin
     val1 = 11'h1 + 'd4;
     val2 = 11'h2 + 6;
     if((val1 === 11'h5) && (val2 === 11'h8))
        $display("PASSED");
     else
        $display("FAILED");
  end

endmodule