Re: [csmith-dev] floats

[Yang Chen <chenyang@cs.utah.edu>]

On 2014-09-29 18:14, Eric Eide wrote:
> John Regehr <regehr@cs.utah.edu> writes:
>
> > Hi Yang, if you have time and energy, want to add doubles in addition 
> > to
> > floats?  I doubt that this requires much work.
>
> Surely, it doubles the work?  Har har har.

Well, we will see if it doubles or not :)

John, Yes, I will add doubles. I am pretty busy this week, probably I 
can do that next week.

- Yang