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