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

[Sorawee Porncharoenwase]

A lot more bugs:

- https://github.com/dafny-lang/dafny/issues/1359 and
https://github.com/dafny-lang/dafny/issues/1359#issuecomment-902594485
- https://github.com/dafny-lang/dafny/issues/1360
- https://github.com/dafny-lang/dafny/issues/1361 and
https://github.com/dafny-lang/dafny/issues/1361#issuecomment-902842190
- https://github.com/dafny-lang/dafny/issues/1362

On Thu, Aug 19, 2021 at 6:35 PM Sorawee Porncharoenwase <
sorawee.pwase at gmail.com> wrote:

> 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/20210820/551481fc/attachment.html>