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
