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

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

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@cs.utah.edu> wrote:

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