Alex Usher

icon location founder, dialin-ai

Results 2 issues of Alex Usher

C# Wrong Result: Multi-level Multisets

1 comment

### Dafny version 4.1.0 ### Code to produce this issue ```dafny method Main() { var a: multiset := multiset{false, true}; var b: multiset := multiset{a[true := 0]}; print b ==...

kind: bug
part: code-generation
lang: c#
priority: next
during 4: bad execution of correct program

Java Compilation Crash: Datatype Update inside For Loop

### Dafny version 4.1.0 ### Code to produce this issue ```dafny datatype D0 = DC1(cf1: int, cf2: int) method Main() { for i := 1 to 2 { print DC1(1,...

kind: bug
part: code-generation
lang: java
crash
priority: next
during 2: compilation of correct program