A program with dynamic frames that verifies but gives an execution error

Nov 11, 2015 at 5:32 PM
You can find the program here
http://rise4fun.com/Dafny/4whY

Please, some help?
Paqui
Coordinator
Nov 12, 2015 at 4:10 AM
Thanks for the bug report. It was a problem in the compiler, which had generated .Equals instead of ==. I checked in a fix (in the sources).

Rustan
Marked as answer by rustanleino on 11/11/2015 at 9:10 PM