Runtime Error: index out of bounds

May 14, 2014 at 7:24 AM
The following code verifies but results in a runtime error: http://rise4fun.com/Dafny/TsDu