data/full_repos/permissive/42434302/ivltests/constfunc4.v
1: b"%Error: data/full_repos/permissive/42434302/ivltests/constfunc4.v:5: Can't find definition of task/function: 'abs'\n  LAbs = abs(x);\n         ^~~\n%Error: data/full_repos/permissive/42434302/ivltests/constfunc4.v:9: Can't find definition of task/function: 'abs'\n  RAbs = abs(x);\n         ^~~\n%Error: Exiting due to 2 error(s)\n"
function real RAbs(input real x);
  RAbs = abs(x);
endfunction
function real RAbs(input real x);

  RAbs = abs(x);
endfunction