[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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


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

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


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