Re: [csmith-dev] Using safe math headers in csmith

[John Regehr <regehr@cs.utah.edu>]

Hi Karine,

Well, I just tried to compile a program using -DUSE_MATH_MACROS_NOTMP 
and it did not compile, so something must have gone wrong here. I assume 
the same thing happened when you tried this?

I'll try to look into it soon.

John


On 2/24/20 2:28 AM, Even Mendoza, Karine wrote:
> Hi,
>
> I would like to know if the version of csmith using the header 
> safe_math_macros.h or safe_math_macros_notmp.c is working.
>
> Can I use these headers instead of safe_math.h and expect the same 
> output for the generated programs?
>
> Thanks much,
>
> Karine