Standard Library fails to build to target:lib (doo) #4964
Labels
during 2: compilation of correct program
Dafny rejects a valid program during compilation
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
priority: now
Will work on this now
Dafny version
4.4
Code to produce this issue
Command to run and resulting output
What happened?
Got the below error. Same code builds with
target:go
.What type of operating system are you experiencing the problem on?
Mac
The text was updated successfully, but these errors were encountered: