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

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



This is cool. I hope someone is tweeting about it :)

John


On 7/25/21 12:08 AM, Sorawee Porncharoenwase wrote:
Here's another one: https://github.com/dafny-lang/dafny/issues/1325 <https://github.com/dafny-lang/dafny/issues/1325>

On Tue, Jul 20, 2021 at 11:02 AM Eric Eide <eeide@cs.utah.edu <mailto:eeide@cs.utah.edu>> wrote:

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

     > By the way, here are the results so far:
     > - https://github.com/dafny-lang/dafny/issues/1291
    <https://github.com/dafny-lang/dafny/issues/1291>
     > - https://github.com/dafny-lang/dafny/issues/1297
    <https://github.com/dafny-lang/dafny/issues/1297>

    Thank you!  We are eager to keep track of these.

-- ------------------------------------------------------------------------------- Eric Eide <eeide@cs.utah.edu <mailto:eeide@cs.utah.edu>>   . University of Utah School of Computing
    https://www.cs.utah.edu/~eeide/ <https://www.cs.utah.edu/~eeide/> .
    +1 801-585-5512 .   Salt Lake City, Utah, USA