C# Wrong Result: Multi-level Multisets #4011
Labels
during 4: bad execution of correct program
A bug in the Dafny compiler that causes a correct Dafny program to execute incorrectly
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
lang: c#
Dafny's C# transpiler and its runtime
part: code-generation
Support for transpiling Dafny to another language. If relevant, add a `lang:` tag
priority: next
Will consider working on this after in progress work is done
Dafny version
4.1.0
Code to produce this issue
Command to run and resulting output
What happened?
The above program verifies and compiles successfully to all backends, but the C# backend will print
false
while all others will printtrue
(wheretrue
would be the expected case).What type of operating system are you experiencing the problem on?
Linux, Mac
The text was updated successfully, but these errors were encountered: