data/full_repos/permissive/143278/ivltests/vams_abs1.v
1: b"%Error: data/full_repos/permissive/143278/ivltests/vams_abs1.v:29: Can't find definition of task/function: 'abs'\n      if (abs(0) !== 0) begin\n          ^~~\n%Error: data/full_repos/permissive/143278/ivltests/vams_abs1.v:34: Can't find definition of task/function: 'abs'\n      if (abs(1) !== 1) begin\n          ^~~\n%Error: data/full_repos/permissive/143278/ivltests/vams_abs1.v:39: Can't find definition of task/function: 'abs'\n      if (abs(-1) !== 1) begin\n          ^~~\n%Error: data/full_repos/permissive/143278/ivltests/vams_abs1.v:44: Can't find definition of task/function: 'abs'\n      if (abs(a) !== 1) begin\n          ^~~\n%Error: data/full_repos/permissive/143278/ivltests/vams_abs1.v:49: Can't find definition of task/function: 'abs'\n      if (abs(b) !== 1) begin\n          ^~~\n%Error: Exiting due to 5 error(s)\n"
module main;

   reg signed [7:0] a, b;

   initial begin
      a = 1;
      b = -1;

      if (abs(0) !== 0) begin
	 $display("FAILED");
	 $finish;
      end

      if (abs(1) !== 1) begin
	 $display("FAILED");
	 $finish;
      end

      if (abs(-1) !== 1) begin
	 $display("FAILED");
	 $finish;
      end

      if (abs(a) !== 1) begin
	 $display("FAILED");
	 $finish;
      end

      if (abs(b) !== 1) begin
	 $display("FAILED");
	 $finish;
      end

      $display("PASSED");
   end

endmodule
module main;


   reg signed [7:0] a, b;

   initial begin
      a = 1;
      b = -1;

      if (abs(0) !== 0) begin
	 $display("FAILED");
	 $finish;
      end

      if (abs(1) !== 1) begin
	 $display("FAILED");
	 $finish;
      end

      if (abs(-1) !== 1) begin
	 $display("FAILED");
	 $finish;
      end

      if (abs(a) !== 1) begin
	 $display("FAILED");
	 $finish;
      end

      if (abs(b) !== 1) begin
	 $display("FAILED");
	 $finish;
      end

      $display("PASSED");
   end

endmodule