dafny-lang/dafny Issues
`dafny run` crashes on `print @"\";`
Updated 1Support for Rust tests
UpdatedError transpiling set into Rust
Closed 2Havocs allow null arrays
Updated 3Better path error reporting
UpdatedBusy z3 process leaked
UpdatedMissing downcasts
Closed