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

[Sorawee Porncharoenwase <sorawee.pwase@gmail.com>]

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

On Sat, Jul 24, 2021 at 11:08 PM Sorawee Porncharoenwase <sorawee.pwase@gmail.com> wrote:

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

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

Sorawee Porncharoenwase <sorawee.pwase@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@cs.utah.edu>   .        University of Utah School of Computing
https://www.cs.utah.edu/~eeide/ . +1 801-585-5512 .   Salt Lake City, Utah, USA