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

[Sorawee Porncharoenwase]

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 at 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 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/20210725/b04ee9b7/attachment.html>