data/full_repos/permissive/143278/ivltests/param_binv.v
data/verilator_xmls/b7cd2780-7cc5-472b-af36-ca533ace2347.xml
module test;

parameter A0 = ~(4'b1010);

initial
  begin
   if(A0 !== 4'b0101)
      $display("FAILED - Bit vector inversion in a param declaration.");
   else
      $display("PASSED");
  end

endmodule
module test;


parameter A0 = ~(4'b1010);

initial
  begin
   if(A0 !== 4'b0101)
      $display("FAILED - Bit vector inversion in a param declaration.");
   else
      $display("PASSED");
  end

endmodule