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

[Sorawee Porncharoenwase]

Here's another one: https://github.com/dafny-lang/dafny/issues/1325

On Tue, Jul 20, 2021 at 11:02 AM Eric Eide <eeide at cs.utah.edu> wrote:

> Sorawee Porncharoenwase <sorawee.pwase at gmail.com> writes:
>
> > By the way, here are the results so far:
> > - https://github.com/dafny-lang/dafny/issues/1291
> > - https://github.com/dafny-lang/dafny/issues/1297
>
> Thank you!  We are eager to keep track of these.
>
> --
>
> -------------------------------------------------------------------------------
> 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/20210724/889523c6/attachment.html>