diff options
author | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-06-13 12:28:41 +0100 |
---|---|---|
committer | Nadesh Ramanathan <nadeshramanathan88@gmail.com> | 2020-06-13 12:28:41 +0100 |
commit | 339ca8ac28d585a3407f1b07be4b0d9fdbc465f7 (patch) | |
tree | 9d36b70379e63d2898926f1d6481c9ad48004044 | |
parent | c6f390beecfbd8d749d06e8d9b86a7754a2239c5 (diff) | |
download | vericert-kvx-339ca8ac28d585a3407f1b07be4b0d9fdbc465f7.tar.gz vericert-kvx-339ca8ac28d585a3407f1b07be4b0d9fdbc465f7.zip |
Writing to an array
-rw-r--r-- | test/array-write.c | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/array-write.c b/test/array-write.c new file mode 100644 index 0000000..7cb37f2 --- /dev/null +++ b/test/array-write.c @@ -0,0 +1,12 @@ +int main() { + int x[2] = {5, 10}; + int y[2]; + for(int i=0; i<2;i++){ + y[i] += x[i] * (i+1); + } + + int sum = 0; + for(int j=0; j <2; j++) + sum += y[j]; + return sum; +} |