On Jan 1, 2021, at 3:37 PM, Alexandre Oliva <ol...@adacore.com> wrote:
>
> On Dec 29, 2020, Mike Stump <mikest...@comcast.net> wrote:
>
>> a[i-1] = i;
>
> 'fraid that won't pass:
>
> for (int i = 0; i < n; i++) {
> assert (a[i] == i);
> }Ok, how about your version with the comment updated?
