[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [csmith-dev] Floating-point support in csmith
- 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.
Yes, please check with Ally, he and his people have been doing this. I
think basically all of us are interested but it's been a matter of
making time to work on it.
- I conducted a run of csmith 2.2.0 with --float argument on Ubuntu
10.04 (gcc 4.4.3). Number of crash-programs is significantly more now.
Running csmith without --float found 3 crash-bugs, while running with
--float found more than 300 crash-bugs within the (almost) same runtime.
Nice. There are a few things going on here. As Yang observes, there's
some number <300 of bugs that are getting triggered multiple times. To
find the true set of bugs you can start to report them, one at a time.
Another thing that is going on is that GCC has built up a huge
resistance to Csmith. We've beaten it up for years now. We have not
beaten on its FP code so of course there's more low-hanging fruit.
I am interested to know current support-level for floating points, any
limitations and any future works you plan regarding float-point support.
I'll also appreciate any source which explains current support level of
floating-point in csmith.
Hopefully Ally will chime in. You should the source code too, there's
not that much that deals with FP, as far as I know.