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