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. -- Alexandre Oliva, happy hacker https://FSFLA.org/blogs/lxo/ Free Software Activist GNU Toolchain Engineer Vim, Vi, Voltei pro Emacs -- GNUlius Caesar