-----Original Message-----
From: csmith-bugs-bounces@flux.utah.edu
[mailto:csmith-bugs-bounces@flux.utah.edu] On Behalf Of John Regehr
Sent: Tuesday, June 21, 2011 8:17 AM
To: csmith-bugs@flux.utah.edu
Subject: [csmith-bugs] array bug not fixed?
In the program with the header below, multi-dimensional integer arrays
are still initialized to having all the same values.
John
/*
* This is a RANDOMLY GENERATED PROGRAM.
*
* Generator: csmith 2.1.0
* Git version: 94e6f00
* Options: --force-non-uniform-arrays
* Seed: 3684887680
*/