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

[Sorawee Porncharoenwase]

More bugs!

- https://github.com/dafny-lang/dafny/issues/1372#issuecomment-903359423
- https://github.com/dafny-lang/dafny/issues/1374

On Sun, Aug 22, 2021 at 12:56 PM John Regehr <regehr at cs.utah.edu> wrote:

> I'm just sort of lurking here, but I've really been enjoying this
> thread. Great work everyone!!!
>
> > The latter one is not discovered by fuzzing itself. I was writing a type
> > constraint to be put in the fuzzer, and thinking what will happen if we
> > violate the constraint, so I tried it out manually and discovered the
> issue.
>
> In my experience this happens a lot :)
>
> John
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </listarchives/xsmith-dev/attachments/20210822/6c0428ef/attachment.html>