data/full_repos/permissive/143278/ivltests/signed5.v
data/verilator_xmls/3dc0bee9-65ab-4456-85c6-a79f084c08c1.xml
module main;

   reg [3:0] a;

   initial begin
      a = 4'd12;


      if ($signed(a) !== 4'b1100) begin
	 $display("FAILED -- $signed(%b) === %b", a, $signed(a));
	 $finish;
      end

      if ($signed(a) == 4) begin
	 $display("FAILED -- $signed(%b) == 4", a);
	 $finish;
      end


      if ($signed(a) >= 0) begin
	 $display("FAILED -- $signed(%b) > 0", a);
	 $finish;
      end

      $display("PASSED");
   end

endmodule
module main;


   reg [3:0] a;

   initial begin
      a = 4'd12;


      if ($signed(a) !== 4'b1100) begin
	 $display("FAILED -- $signed(%b) === %b", a, $signed(a));
	 $finish;
      end

      if ($signed(a) == 4) begin
	 $display("FAILED -- $signed(%b) == 4", a);
	 $finish;
      end


      if ($signed(a) >= 0) begin
	 $display("FAILED -- $signed(%b) > 0", a);
	 $finish;
      end

      $display("PASSED");
   end

endmodule