Re: [creduce-dev] How to avoid read/write outside array boundaries

[John Regehr]

I agree, making these transformations avoid gratuitously stupid output 
is a good idea, if it can be done with modest effort.

You have a challenging environment!

I was about to say something similar.  We appreciate all of the 
feedback, Kees.

John