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

[Eric Eide <eeide@cs.utah.edu>]

Sorawee Porncharoenwase <sorawee.pwase@gmail.com> writes:

> Two more bugs:
>
> - https://github.com/dafny-lang/dafny/issues/1372
> - https://github.com/dafny-lang/dafny/issues/1373

Thanks!

I've noticed that these bugs are not being resolved very quickly.  As I look
now, you have 16 open issues and zero closed.  (One open bug is labeled with
"resolution"?)

Is this slowing down you?  After a while, it becomes hard to find new bugs if
old ones are not resolved.  (Because the fuzzer hits the same bugs over an
over.)

Eric.

-- 
-------------------------------------------------------------------------------
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