[xsmith-dev] Early Dafny Results (Re: XSmith questions)

[Sorawee Porncharoenwase]

One more bug :)

https://github.com/dafny-lang/dafny/issues/1358

On Thu, Aug 19, 2021 at 6:33 PM Eric Eide <eeide at cs.utah.edu> wrote:

> Sorawee Porncharoenwase <sorawee.pwase at gmail.com> writes:
>
> > Two more bugs:
>
> Thank you for keeping us up to date!  We are very excited that you are
> having
> such success fuzzing Dafny!
>
> --
>
> -------------------------------------------------------------------------------
> Eric Eide <eeide at cs.utah.edu>   .        University of Utah School of
> Computing
> https://www.cs.utah.edu/~eeide/ . +1 801-585-5512 .   Salt Lake City,
> Utah, USA
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </listarchives/xsmith-dev/attachments/20210819/3e2f8102/attachment.html>