3 months of waiting...
sarn
sarn at theartofmachinery.com
Sat Feb 8 22:40:31 UTC 2020
On Saturday, 8 February 2020 at 17:27:00 UTC, MoonlightSentinel
wrote:
> On Saturday, 8 February 2020 at 17:21:04 UTC, Jonathan Marler
> wrote:
>> for 32-bit floats it doesn't take too long to do an exhaustive
>> test (maybe 30 minutes or so). I did this with my port of the
>> "ryu" float to string implementation
>> (https://github.com/dragon-lang/mar/blob/master/src/mar/ryu.d).
>> That being said, an exhaustive 64-bit test may not finish
>> until the inevitable heat death of the universe :)
>
> Maybe some structured tests could help, e.g. by using libfuzzer
> to instrument the new and old code. It's obviously not be an
> exhaustive tests but could result in a better coverage than
> random sampling.
Another option is KLEE
(https://theartofmachinery.com/2019/05/28/d_and_klee.html).
Unfortunately the original KLEE doesn't support floating point or
threads, but you could use the (unmaintained?) floating point
fork to generate a pretty good test suite based on an existing
libc snprintf or a betterC version of D floating point code.
More information about the Digitalmars-d
mailing list