Runtime Error: index out of bounds

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