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

Re: [xsmith-bugs] Formal parameters created by lambdas not used for creating references

Danila Fedorin <danila.fedorin@gmail.com> writes:

> First of all, thank you for all your work on Xsmith. It's an incredible tool!

You are very welcome!

> I've run into an issue while trying to create a fuzzer for a small,
> Haskell-like language...

This email is just a quick note to say that we have received your bug report.

In addition, I have whitelisted your email address for the xsmith-bugs mailing
list, so that any future reports from you will not need to be moderated.
(On-demand whitelisting keeps the spam down!)

Thank you for your report!


Eric Eide <eeide@cs.utah.edu>   .        University of Utah School of Computing
https://www.cs.utah.edu/~eeide/ . +1 801-585-5512 .   Salt Lake City, Utah, USA