[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-dev] compcert support

Brian, thanks a lot for the pointer, this looks great. Let us know if we can help somehow.

of conditional expressions that will be fixed in the next CompCert release
- but it was encountered in the safe_math.h functions rather than the
random code!

Funny-- those safe math functions have managed to find quite a few compiler bugs.