data/full_repos/permissive/143278/ivltests/pr2428890.v
[Errno 2] No such file or directory: 'preprocess.output'
data/verilator_xmls/a2f4c5d6-633e-4299-8f10-58983ab8b55f.xml
module lower;
  parameter one = 0;
  parameter two = 0;
  parameter three = 0;
  parameter local1 = one - two;



  parameter local2 = local1+1-three;



  initial begin

    if (2 < local2-1) $display("FAILED");
    else $display("PASSED");
  end
endmodule
module lower;

  parameter one = 0;
  parameter two = 0;
  parameter three = 0;
  parameter local1 = one - two;



  parameter local2 = local1+1-three;



  initial begin

    if (2 < local2-1) $display("FAILED");
    else $display("PASSED");
  end
endmodule