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

[Eric Eide]

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

> Two more bugs:

Thank you for keeping us up to date!  We are very excited that you are having
such success fuzzing Dafny!

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