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 theoption-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 relevantheaders 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