[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

To: Danila Fedorin <danila.fedorin@gmail.com>, Xsmith Bugs Mailing List <xsmith-bugs@flux.utah.edu>
Subject: Re: [xsmith-bugs] Formal parameters created by lambdas not used for creating references
From: Eric Eide <eeide@cs.utah.edu>
Date: Sun, 31 Jan 2021 15:47:18 -0700
In-reply-to: <CA+0rMqkmEqZsEk3RHS45KD2s+NJQdj3v6ypsv8_saCMO1EHQpw@mail.gmail.com> (Danila Fedorin's message of "Sun, 31 Jan 2021 13:43:03 -0800")
List-archive: </listarchives/xsmith-bugs>
List-help: <mailto:xsmith-bugs-request@flux.utah.edu?subject=help>
List-id: Xsmith Bugs Mailing List <xsmith-bugs.flux.utah.edu>
List-post: <mailto:xsmith-bugs@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/xsmith-bugs>, <mailto:xsmith-bugs-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/options/xsmith-bugs>, <mailto:xsmith-bugs-request@flux.utah.edu?subject=unsubscribe>
References: <CA+0rMqkmEqZsEk3RHS45KD2s+NJQdj3v6ypsv8_saCMO1EHQpw@mail.gmail.com>
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (darwin)

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.

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

References:
- [xsmith-bugs] Formal parameters created by lambdas not used for creating references
  - From: Danila Fedorin <danila.fedorin@gmail.com>

Prev by Date: [xsmith-bugs] Formal parameters created by lambdas not used for creating references
Next by Date: Re: [xsmith-bugs] Formal parameters created by lambdas not used for creating references
Previous by thread: [xsmith-bugs] Formal parameters created by lambdas not used for creating references
Next by thread: Re: [xsmith-bugs] Formal parameters created by lambdas not used for creating references
Index(es):
- Date
- Thread