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

[Sorawee Porncharoenwase]

Yeah, I think that could definitely be the case.

Some of these bugs depend on the trick of setting multiplicity to 0, which
I think is uncommon.

On Fri, Aug 20, 2021 at 11:58 AM Eric Eide <eeide at cs.utah.edu> wrote:

> Sorawee Porncharoenwase <sorawee.pwase at gmail.com> writes:
>
> > A lot more bugs: [...]
>
> Lots of bugs related to multisets.  I don't know Dafny well --- maybe
> multisets
> are not heavily used?
>
> --
>
> -------------------------------------------------------------------------------
> 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/2b498ffe/attachment.html>