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

Re: [csmith-dev] Floating-point support in csmith

On 2015-11-13 14:53, Eric Eide wrote:

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.

I think John did.

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.

My confession - same here. I guess that my paranoid-mode just got turned on automatically when I sensed something that we might end up with copying/extracting code from Boost library :)

- Yang