[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [csmith-dev] Floating-point support in csmith
Xuejun Yang <xuyang@microsoft.com> writes:
> I remember randprog used to had dependency on boost, and either Eric or John
> cut the dependency. Maybe it's not as unpleasant as Yang thought?
At one time, we used a Boost library to parsing command-line options. John
(maybe with help from you/Yang?) removed that dependency by rewriting the
option-parsing code.
This was long enough ago that I've forgotten what, if anything, we lost when we
rolled our own option-parsing code.
Anyway, I have to admit that I haven't looked to see how much code is contained
in the Boost libraries used by the code that uses intervals to represent
floats. So I don't know if it would be easy/make sense to copy the relevant
headers into the Csmith source tree or not.
Eric.
--
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu> . University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX