First of all, I apologize for my limited knowledge about csmith. I'm interested to know level of support for floating-point in current csmith. Here are some of the facts I observed (again, I'm sorry as I'm new to csmith and might not know a lot of facts):
- Floating-point support was introduced in version 2.2.0 according to the release note . Floating point support must be turned on passing --float command-line option. This note acknowledges work of Dr. Alastair Donaldson for the initial implementation.
- According to Dr. Donaldson's 2015 paper : " Like Csmith, CLsmith does not generate test floating point programs. We view this as an exciting open challenge: floating point imprecision is tolerated in the accelerator programming domain, but the fuzzing methods we study demand precise results. "