Here's another one: https://github.com/dafny-lang/dafny/issues/1325On Tue, Jul 20, 2021 at 11:02 AM Eric Eide <eeide@cs.utah.edu> wrote:Sorawee Porncharoenwase <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/1297
Thank you! We are eager to keep track of these.
--
-------------------------------------------------------------------------------
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