[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