On Jan 1, 2021, at 6:41 PM, Alexandre Oliva <ol...@adacore.com> wrote: > > On Jan 1, 2021, Mike Stump <mikest...@comcast.net> wrote: > >> 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? > > Err, are we talking about the same testcase? > There aren't any comments in this one.
Oh, It's possible the comments were stripped from the bug report or initial email. Never mind then about the comment part.